Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Uwe Glässer
@proceedings{DBLP:conf/zum/2023,
editor = {Uwe Gl{\"{a}}sser and
Jos{\'{e}} Creissac Campos and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
2023, Nancy, France, May 30 - June 2, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14010},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33163-3},
doi = {10.1007/978-3-031-33163-3},
isbn = {978-3-031-33162-6},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/KeramatiTZGAW22,
author = {Mahsa Keramati and
Mohammad A. Tayebi and
Zahra Zohrevand and
Uwe Gl{\"{a}}sser and
Juan Anzieta and
Glyn Williams{-}Jones},
editor = {Massih{-}Reza Amini and
St{\'{e}}phane Canu and
Asja Fischer and
Tias Guns and
Petra Kralj Novak and
Grigorios Tsoumakas},
title = {Cubism: Co-balanced Mixup for Unsupervised Volcano-Seismic Knowledge
Transfer},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2022, Grenoble, France, September 19-23, 2022, Proceedings,
Part {V}},
series = {Lecture Notes in Computer Science},
volume = {13717},
pages = {581--597},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26419-1\_35},
doi = {10.1007/978-3-031-26419-1\_35},
timestamp = {Mon, 20 Mar 2023 16:00:27 +0100},
biburl = {https://dblp.org/rec/conf/pkdd/KeramatiTZGAW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/ShahirCTGW21,
author = {Amir Yaghoubi Shahir and
Tilemachos Charalampous and
Mohammad A. Tayebi and
Uwe Gl{\"{a}}sser and
Hans Wehn},
editor = {Yixin Chen and
Heiko Ludwig and
Yicheng Tu and
Usama M. Fayyad and
Xingquan Zhu and
Xiaohua Hu and
Suren Byna and
Xiong Liu and
Jianping Zhang and
Shirui Pan and
Vagelis Papalexakis and
Jianwu Wang and
Alfredo Cuzzocrea and
Carlos Ordonez},
title = {TripTracker: Unsupervised Learning of Fishing Vessel Routine Activity
Patterns},
booktitle = {2021 {IEEE} International Conference on Big Data (Big Data), Orlando,
FL, USA, December 15-18, 2021},
pages = {1928--1939},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/BigData52589.2021.9671492},
doi = {10.1109/BIGDATA52589.2021.9671492},
timestamp = {Fri, 13 Jan 2023 17:06:49 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/ShahirCTGW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/KeramatiZG21,
author = {Mahsa Keramati and
Zahra Zohrevand and
Uwe Gl{\"{a}}sser},
editor = {Gianluca Demartini and
Guido Zuccon and
J. Shane Culpepper and
Zi Huang and
Hanghang Tong},
title = {Norma: {A} Hybrid Feature Alignment for Class-Aware Unsupervised Domain
Adaptation},
booktitle = {{CIKM} '21: The 30th {ACM} International Conference on Information
and Knowledge Management, Virtual Event, Queensland, Australia, November
1 - 5, 2021},
pages = {833--843},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3459637.3482458},
doi = {10.1145/3459637.3482458},
timestamp = {Tue, 16 Aug 2022 23:04:38 +0200},
biburl = {https://dblp.org/rec/conf/cikm/KeramatiZG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/ArastehTZGSSW20,
author = {Saeed Arasteh and
Mohammad A. Tayebi and
Zahra Zohrevand and
Uwe Gl{\"{a}}sser and
Amir Yaghoubi Shahir and
Parvaneh Saeedi and
Hans Wehn},
editor = {Chang{-}Tien Lu and
Fusheng Wang and
Goce Trajcevski and
Yan Huang and
Shawn D. Newsam and
Li Xiong},
title = {Fishing Vessels Activity Detection from Longitudinal {AIS} Data},
booktitle = {{SIGSPATIAL} '20: 28th International Conference on Advances in Geographic
Information Systems, Seattle, WA, USA, November 3-6, 2020},
pages = {347--356},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3397536.3422267},
doi = {10.1145/3397536.3422267},
timestamp = {Wed, 04 May 2022 13:02:28 +0200},
biburl = {https://dblp.org/rec/conf/gis/ArastehTZGSSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/ZohrevandG20,
author = {Zahra Zohrevand and
Uwe Gl{\"{a}}sser},
title = {Dynamic Attack Scoring Using Distributed Local Detectors},
booktitle = {2020 {IEEE} International Conference on Acoustics, Speech and Signal
Processing, {ICASSP} 2020, Barcelona, Spain, May 4-8, 2020},
pages = {2892--2896},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICASSP40776.2020.9054264},
doi = {10.1109/ICASSP40776.2020.9054264},
timestamp = {Thu, 23 Jul 2020 16:19:28 +0200},
biburl = {https://dblp.org/rec/conf/icassp/ZohrevandG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/ShahirTGCZW19,
author = {Amir Yaghoubi Shahir and
Mohammad A. Tayebi and
Uwe Gl{\"{a}}sser and
Tilemachos Charalampous and
Zahra Zohrevand and
Hans Wehn},
editor = {Chaitanya K. Baru and
Jun Huan and
Latifur Khan and
Xiaohua Hu and
Ronay Ak and
Yuanyuan Tian and
Roger S. Barga and
Carlo Zaniolo and
Kisung Lee and
Yanfang (Fanny) Ye},
title = {Mining Vessel Trajectories for Illegal Fishing Detection},
booktitle = {2019 {IEEE} International Conference on Big Data {(IEEE} BigData),
Los Angeles, CA, USA, December 9-12, 2019},
pages = {1917--1927},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BigData47090.2019.9006545},
doi = {10.1109/BIGDATA47090.2019.9006545},
timestamp = {Tue, 18 Oct 2022 14:44:48 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/ShahirTGCZW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-06646,
author = {Zahra Zohrevand and
Uwe Gl{\"{a}}sser},
title = {Should {I} Raise The Red Flag? {A} comprehensive survey of anomaly
scoring methods toward mitigating false alarms},
journal = {CoRR},
volume = {abs/1904.06646},
year = {2019},
url = {http://arxiv.org/abs/1904.06646},
eprinttype = {arXiv},
eprint = {1904.06646},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-06646.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/TayebiSGB18,
author = {Mohammad A. Tayebi and
Hamed Yaghoubi Shahir and
Uwe Gl{\"{a}}sser and
Patricia L. Brantingham},
title = {Spatial Patterns of Offender Groups},
booktitle = {2018 {IEEE} International Conference on Intelligence and Security
Informatics, {ISI} 2018, Miami, FL, USA, November 9-11, 2018},
pages = {13--18},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ISI.2018.8587365},
doi = {10.1109/ISI.2018.8587365},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isi/TayebiSGB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/ZohrevandGTSSS17,
author = {Zahra Zohrevand and
Uwe Gl{\"{a}}sser and
Mohammad A. Tayebi and
Hamed Yaghoubi Shahir and
Mehdi Shirmaleki and
Amir Yaghoubi Shahir},
editor = {Ee{-}Peng Lim and
Marianne Winslett and
Mark Sanderson and
Ada Wai{-}Chee Fu and
Jimeng Sun and
J. Shane Culpepper and
Eric Lo and
Joyce C. Ho and
Debora Donato and
Rakesh Agrawal and
Yu Zheng and
Carlos Castillo and
Aixin Sun and
Vincent S. Tseng and
Chenliang Li},
title = {Deep Learning Based Forecasting of Critical Infrastructure Data},
booktitle = {Proceedings of the 2017 {ACM} on Conference on Information and Knowledge
Management, {CIKM} 2017, Singapore, November 06 - 10, 2017},
pages = {1129--1138},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132847.3133031},
doi = {10.1145/3132847.3133031},
timestamp = {Tue, 29 Aug 2023 16:24:43 +0200},
biburl = {https://dblp.org/rec/conf/cikm/ZohrevandGTSSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/TayebiGBS17,
author = {Mohammad A. Tayebi and
Uwe Gl{\"{a}}sser and
Patricia L. Brantingham and
Hamed Yaghoubi Shahir},
editor = {Yasemin Altun and
Kamalika Das and
Taneli Mielik{\"{a}}inen and
Donato Malerba and
Jerzy Stefanowski and
Jesse Read and
Marinka Zitnik and
Michelangelo Ceci and
Saso Dzeroski},
title = {{SINAS:} Suspect Investigation Using Offenders' Activity Space},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2017, Skopje, Macedonia, September 18-22, 2017, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {10536},
pages = {253--265},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71273-4\_21},
doi = {10.1007/978-3-319-71273-4\_21},
timestamp = {Sat, 19 Oct 2019 20:16:01 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/TayebiGBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lnsn/TayebiG16,
author = {Mohammad A. Tayebi and
Uwe Gl{\"{a}}sser},
title = {Social Network Analysis in Predictive Policing - Concepts, Models
and Methods},
series = {Lecture Notes in Social Networks},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41492-8},
doi = {10.1007/978-3-319-41492-8},
isbn = {978-3-319-41491-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lnsn/TayebiG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/ZohrevandGSTC16,
author = {Zahra Zohrevand and
Uwe Gl{\"{a}}sser and
Hamed Yaghoubi Shahir and
Mohammad A. Tayebi and
Robert Costanzo},
editor = {James Joshi and
George Karypis and
Ling Liu and
Xiaohua Hu and
Ronay Ak and
Yinglong Xia and
Weijia Xu and
Aki{-}Hiro Sato and
Sudarsan Rachuri and
Lyle H. Ungar and
Philip S. Yu and
Rama Govindaraju and
Toyotaro Suzumura},
title = {Hidden Markov based anomaly detection for water supply systems},
booktitle = {2016 {IEEE} International Conference on Big Data {(IEEE} BigData 2016),
Washington DC, USA, December 5-8, 2016},
pages = {1551--1560},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/BigData.2016.7840763},
doi = {10.1109/BIGDATA.2016.7840763},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/ZohrevandGSTC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ShahirGSTW16,
author = {Amir Yaghoubi Shahir and
Uwe Gl{\"{a}}sser and
Hamed Yaghoubi Shahir and
Mohammad A. Tayebi and
Hans Wehn},
title = {Formal engineering frameworks in maritime domain awareness},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {59--64},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797746},
doi = {10.1109/MEMCOD.2016.7797746},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/ShahirGSTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/RadonWGWW15,
author = {Aungon Nag Radon and
Ke Wang and
Uwe Gl{\"{a}}sser and
Hans Wehn and
Andrew Westwell{-}Roper},
title = {Contextual verification for false alarm reduction in maritime anomaly
detection},
booktitle = {2015 {IEEE} International Conference on Big Data {(IEEE} BigData 2015),
Santa Clara, CA, USA, October 29 - November 1, 2015},
pages = {1123--1133},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/BigData.2015.7363866},
doi = {10.1109/BIGDATA.2015.7363866},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/RadonWGWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/ShahirGSW15,
author = {Hamed Yaghoubi Shahir and
Uwe Gl{\"{a}}sser and
Amir Yaghoubi Shahir and
Hans Wehn},
title = {Maritime situation analysis framework: Vessel interaction classification
and anomaly detection},
booktitle = {2015 {IEEE} International Conference on Big Data {(IEEE} BigData 2015),
Santa Clara, CA, USA, October 29 - November 1, 2015},
pages = {1279--1289},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/BigData.2015.7363883},
doi = {10.1109/BIGDATA.2015.7363883},
timestamp = {Wed, 31 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/ShahirGSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/TayebiGB15,
author = {Mohammad A. Tayebi and
Uwe Gl{\"{a}}sser and
Patricia L. Brantingham},
title = {Learning where to inspect: Location learning for crime prediction},
booktitle = {2015 {IEEE} International Conference on Intelligence and Security
Informatics, {ISI} 2015, Baltimore, MD, USA, May 27-29, 2015},
pages = {25--30},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ISI.2015.7165934},
doi = {10.1109/ISI.2015.7165934},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isi/TayebiGB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ShahirGSW15,
author = {Hamed Yaghoubi Shahir and
Uwe Gl{\"{a}}sser and
Amir Yaghoubi Shahir and
Hans Wehn},
title = {An Analytic Framework for Maritime Situation Analysis},
journal = {CoRR},
volume = {abs/1508.00181},
year = {2015},
url = {http://arxiv.org/abs/1508.00181},
eprinttype = {arXiv},
eprint = {1508.00181},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ShahirGSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FarahbodGG14,
author = {Roozbeh Farahbod and
Vincenzo Gervasi and
Uwe Gl{\"{a}}sser},
title = {Executable formal specifications of complex distributed systems with
CoreASM},
journal = {Sci. Comput. Program.},
volume = {79},
pages = {23--38},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2012.02.001},
doi = {10.1016/J.SCICO.2012.02.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FarahbodGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/NalbandyanGSW14,
author = {Narek Nalbandyan and
Uwe Gl{\"{a}}sser and
Hamed Yaghoubi Shahir and
Hans Wehn},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Distributed Situation Analysis - {A} Formal Semantic Framework},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {158--173},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_14},
doi = {10.1007/978-3-662-43652-3\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/NalbandyanGSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asunam/TayebiEGB14,
author = {Mohammad A. Tayebi and
Martin Ester and
Uwe Gl{\"{a}}sser and
Patricia L. Brantingham},
editor = {Xindong Wu and
Martin Ester and
Guandong Xu},
title = {{CRIMETRACER:} Activity space based crime location prediction},
booktitle = {2014 {IEEE/ACM} International Conference on Advances in Social Networks
Analysis and Mining, {ASONAM} 2014, Beijing, China, August 17-20,
2014},
pages = {472--480},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ASONAM.2014.6921628},
doi = {10.1109/ASONAM.2014.6921628},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asunam/TayebiEGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/ShahirGNW14,
author = {Hamed Yaghoubi Shahir and
Uwe Gl{\"{a}}sser and
Narek Nalbandyan and
Hans Wehn},
title = {Maritime Situation Analysis: {A} Multi-vessel Interaction and Anomaly
Detection Framework},
booktitle = {{IEEE} Joint Intelligence and Security Informatics Conference, {JISIC}
2014, The Hague, The Netherlands, 24-26 September, 2014},
pages = {192--199},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/JISIC.2014.36},
doi = {10.1109/JISIC.2014.36},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isi/ShahirGNW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/TayebiEGB14,
author = {Mohammad A. Tayebi and
Martin Ester and
Uwe Gl{\"{a}}sser and
Patricia L. Brantingham},
editor = {Sofus A. Macskassy and
Claudia Perlich and
Jure Leskovec and
Wei Wang and
Rayid Ghani},
title = {Spatially embedded co-offence prediction using supervised learning},
booktitle = {The 20th {ACM} {SIGKDD} International Conference on Knowledge Discovery
and Data Mining, {KDD} '14, New York, NY, {USA} - August 24 - 27,
2014},
pages = {1789--1798},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2623330.2623353},
doi = {10.1145/2623330.2623353},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kdd/TayebiEGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FrappierGKLR13,
author = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Abstract State Machines, Alloy, {B} and {Z} Selected papers from {ABZ}
2010},
journal = {Sci. Comput. Program.},
volume = {78},
number = {3},
pages = {270--271},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2011.03.004},
doi = {10.1016/J.SCICO.2011.03.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FrappierGKLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/ShahirGNW13,
author = {Hamed Yaghoubi Shahir and
Uwe Gl{\"{a}}sser and
Narek Nalbandyan and
Hans Wehn},
editor = {Kristin Glass and
Richard Colbaugh and
Antonio Sanfilippo and
Anne Kao and
Michael Gabbay and
Courtney D. Corley and
Jiexun Li and
Latifur Khan and
Adam Wynne and
Lisa Coote and
Wenji Mao and
Daniel Zeng and
Ahmad Yaghoobi},
title = {Maritime situation analysis},
booktitle = {2013 {IEEE} International Conference on Intelligence and Security
Informatics, Seattle, WA, USA, June 4-7, 2013},
pages = {230--232},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ISI.2013.6578825},
doi = {10.1109/ISI.2013.6578825},
timestamp = {Mon, 15 May 2023 16:24:40 +0200},
biburl = {https://dblp.org/rec/conf/isi/ShahirGNW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GlasserHLR13,
author = {Uwe Gl{\"{a}}sser and
Stefan Hallerstede and
Michael Leuschel and
Elvinia Riccobene},
title = {Integration of Tools for Rigorous Software Construction and Analysis
(Dagstuhl Seminar 13372)},
journal = {Dagstuhl Reports},
volume = {3},
number = {9},
pages = {74--105},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.9.74},
doi = {10.4230/DAGREP.3.9.74},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GlasserHLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/secinf/ShahirGFJW12,
author = {Hamed Yaghoubi Shahir and
Uwe Gl{\"{a}}sser and
Roozbeh Farahbod and
Piper J. Jackson and
Hans Wehn},
title = {Generating test cases for marine safety and security scenarios: a
composition framework},
journal = {Secur. Informatics},
volume = {1},
number = {1},
pages = {4},
year = {2012},
url = {https://doi.org/10.1186/2190-8532-1-4},
doi = {10.1186/2190-8532-1-4},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/secinf/ShahirGFJW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/secinf/ParkTSG12,
author = {Andrew J. Park and
Herbert H. Tsang and
Mengting Sun and
Uwe Gl{\"{a}}sser},
title = {An agent-based model and computational framework for counter-terrorism
and public safety based on swarm intelligence},
journal = {Secur. Informatics},
volume = {1},
number = {1},
pages = {23},
year = {2012},
url = {https://doi.org/10.1186/2190-8532-1-23},
doi = {10.1186/2190-8532-1-23},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/secinf/ParkTSG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ShahirFG12,
author = {Hamed Yaghoubi Shahir and
Roozbeh Farahbod and
Uwe Gl{\"{a}}sser},
editor = {John Derrick and
John S. Fitzgerald and
Stefania Gnesi and
Sarfraz Khurshid and
Michael Leuschel and
Steve Reeves and
Elvinia Riccobene},
title = {Refactoring Abstract State Machine Models},
booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7316},
pages = {345--348},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30885-7\_28},
doi = {10.1007/978-3-642-30885-7\_28},
timestamp = {Sun, 02 Jun 2019 21:23:59 +0200},
biburl = {https://dblp.org/rec/conf/asm/ShahirFG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asunam/TayebiG12,
author = {Mohammad A. Tayebi and
Uwe Gl{\"{a}}sser},
title = {Investigating Organized Crime Groups: {A} Social Network Analysis
Perspective},
booktitle = {International Conference on Advances in Social Networks Analysis and
Mining, {ASONAM} 2012, Istanbul, Turkey, 26-29 August 2012},
pages = {565--572},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ASONAM.2012.96},
doi = {10.1109/ASONAM.2012.96},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asunam/TayebiG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/TayebiFG12,
author = {Mohammad A. Tayebi and
Richard Frank and
Uwe Gl{\"{a}}sser},
editor = {Isabel F. Cruz and
Craig A. Knoblock and
Peer Kr{\"{o}}ger and
Egemen Tanin and
Peter Widmayer},
title = {Understanding the link between social and spatial distance in the
crime world},
booktitle = {{SIGSPATIAL} 2012 International Conference on Advances in Geographic
Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo
Beach, CA, USA, November 7-9, 2012},
pages = {550--553},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2424321.2424412},
doi = {10.1145/2424321.2424412},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gis/TayebiFG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscram/AraghiGSFJ12,
author = {Ali Khalili Araghi and
Uwe Gl{\"{a}}sser and
Hamed Yaghoubi Shahir and
Brian D. Fisher and
Piper J. Jackson},
editor = {L{\'{e}}on J. M. Rothkrantz and
Jozef Ristvej and
Zeno Franco},
title = {Intelligent decision support for emergency responses},
booktitle = {9th Proceedings of the International Conference on Information Systems
for Crisis Response and Management, Vancouver, Canada, April 22-25,
2012},
publisher = {Simon Fraser University, Vancouver, Canada},
year = {2012},
url = {http://idl.iscram.org/files/khalili-araghi/2012/139\_Khalili-Araghi\_etal2012.pdf},
timestamp = {Thu, 10 Nov 2022 16:58:41 +0100},
biburl = {https://dblp.org/rec/conf/iscram/AraghiGSFJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/AvramGS12,
author = {Vladimir Avram and
Uwe Gl{\"{a}}sser and
Hamed Yaghoubi Shahir},
editor = {Daniel Zeng and
Lina Zhou and
Bojan Cukic and
G. Alan Wang and
Christopher C. Yang},
title = {Anomaly detection in spatiotemporal data in the maritime domain},
booktitle = {2012 {IEEE} International Conference on Intelligence and Security
Informatics, {ISI} 2012, Washington, DC, USA, June 11-14, 2012},
pages = {147--149},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ISI.2012.6284274},
doi = {10.1109/ISI.2012.6284274},
timestamp = {Mon, 15 May 2023 16:24:40 +0200},
biburl = {https://dblp.org/rec/conf/isi/AvramGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/FarahbodG11,
author = {Roozbeh Farahbod and
Uwe Gl{\"{a}}sser},
title = {The CoreASM modeling framework},
journal = {Softw. Pract. Exp.},
volume = {41},
number = {2},
pages = {167--178},
year = {2011},
url = {https://doi.org/10.1002/spe.1029},
doi = {10.1002/SPE.1029},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/FarahbodG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asunam/TayebiBGD11,
author = {Mohammad A. Tayebi and
Laurens Bakker and
Uwe Gl{\"{a}}sser and
Vahid Dabbaghian},
title = {Locating Central Actors in Co-offending Networks},
booktitle = {International Conference on Advances in Social Networks Analysis and
Mining, {ASONAM} 2011, Kaohsiung, Taiwan, 25-27 July 2011},
pages = {171--179},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASONAM.2011.120},
doi = {10.1109/ASONAM.2011.120},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asunam/TayebiBGD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/TayebiG11,
author = {Mohammad A. Tayebi and
Uwe Gl{\"{a}}sser},
title = {Organized Crime Structures in Co-offending Networks},
booktitle = {{IEEE} Ninth International Conference on Dependable, Autonomic and
Secure Computing, {DASC} 2011, 12-14 December 2011, Sydney, Australia},
pages = {846--853},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DASC.2011.144},
doi = {10.1109/DASC.2011.144},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasc/TayebiG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eisic/FarahbodAGG11,
author = {Roozbeh Farahbod and
Vladimir Avram and
Uwe Gl{\"{a}}sser and
Adel Guitouni},
title = {Engineering Situation Analysis Decision Support Systems},
booktitle = {European Intelligence and Security Informatics Conference, {EISIC}
2011, Athens, Greece, September 12-14, 2011},
pages = {10--18},
publisher = {{IEEE} Computer Soecity},
year = {2011},
url = {https://doi.org/10.1109/EISIC.2011.64},
doi = {10.1109/EISIC.2011.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eisic/FarahbodAGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FarahbodAGG11,
author = {Roozbeh Farahbod and
Vladimir Avram and
Uwe Gl{\"{a}}sser and
Adel Guitouni},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {A Formal Engineering Approach to High-Level Design of Situation Analysis
Decision Support Systems},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {211--226},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_16},
doi = {10.1007/978-3-642-24559-6\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FarahbodAGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/ShahirGJW11,
author = {Hamed Yaghoubi Shahir and
Uwe Gl{\"{a}}sser and
Piper J. Jackson and
Hans Wehn},
title = {Test-case generation for marine safety and security scenarios},
booktitle = {2011 {IEEE} International Conference on Intelligence and Security
Informatics, {ISI} 2011, Beijing, China, 10-12 July, 2011},
pages = {48--53},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISI.2011.5984049},
doi = {10.1109/ISI.2011.5984049},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isi/ShahirGJW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/JacksonGSW11,
author = {Piper J. Jackson and
Uwe Gl{\"{a}}sser and
Hamed Yaghoubi Shahir and
Hans Wehn},
title = {An extensible decision engine for Marine Safety and Security},
booktitle = {2011 {IEEE} International Conference on Intelligence and Security
Informatics, {ISI} 2011, Beijing, China, 10-12 July, 2011},
pages = {54--59},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISI.2011.5984050},
doi = {10.1109/ISI.2011.5984050},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isi/JacksonGSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recsys/TayebiJEGF11,
author = {Mohammad A. Tayebi and
Mohsen Jamali and
Martin Ester and
Uwe Gl{\"{a}}sser and
Richard Frank},
editor = {Bamshad Mobasher and
Robin D. Burke and
Dietmar Jannach and
Gediminas Adomavicius},
title = {CrimeWalker: a recommendation model for suspect investigation},
booktitle = {Proceedings of the 2011 {ACM} Conference on Recommender Systems, RecSys
2011, Chicago, IL, USA, October 23-27, 2011},
pages = {173--180},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2043932.2043965},
doi = {10.1145/2043932.2043965},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/recsys/TayebiJEGF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lnsn/BrantinghamEFGT11,
author = {Patricia L. Brantingham and
Martin Ester and
Richard Frank and
Uwe Gl{\"{a}}sser and
Mohammad A. Tayebi},
editor = {Uffe Kock Wiil},
title = {Co-offending Network Mining},
booktitle = {Counterterrorism and Open Source Intelligence},
series = {Lecture Notes in Social Networks},
volume = {2},
pages = {73--102},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-7091-0388-3\_6},
doi = {10.1007/978-3-7091-0388-3\_6},
timestamp = {Mon, 15 Jun 2020 16:48:08 +0200},
biburl = {https://dblp.org/rec/series/lnsn/BrantinghamEFGT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/GlasserJAWS10,
author = {Uwe Gl{\"{a}}sser and
Piper J. Jackson and
Ali Khalili Araghi and
Hans Wehn and
Hamed Yaghoubi Shahir},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {A Collaborative Decision Support Model for Marine Safety and Security
Operations},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {266--277},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_26},
doi = {10.1007/978-3-642-15234-4\_26},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/GlasserJAWS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/TsangPSG10,
author = {Herbert H. Tsang and
Andrew J. Park and
Mengting Sun and
Uwe Gl{\"{a}}sser},
editor = {Christopher C. Yang and
Daniel Zeng and
Ke Wang and
Antonio Sanfilippo and
Herbert H. Tsang and
Min{-}Yuh Day and
Uwe Gl{\"{a}}sser and
Patricia L. Brantingham and
Hsinchun Chen},
title = {{GENIUS:} {A} computational modeling framework for counter-terrorism
planning and response},
booktitle = {{IEEE} International Conference on Intelligence and Security Informatics,
{ISI} 2010, Vancouver, BC, Canada, May 23-26, 2010, Proceedings},
pages = {71--76},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ISI.2010.5484772},
doi = {10.1109/ISI.2010.5484772},
timestamp = {Mon, 15 May 2023 16:24:40 +0200},
biburl = {https://dblp.org/rec/conf/isi/TsangPSG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/GlasserJAS10,
author = {Uwe Gl{\"{a}}sser and
Piper J. Jackson and
Ali Khalili Araghi and
Hamed Yaghoubi Shahir},
editor = {Christopher C. Yang and
Daniel Zeng and
Ke Wang and
Antonio Sanfilippo and
Herbert H. Tsang and
Min{-}Yuh Day and
Uwe Gl{\"{a}}sser and
Patricia L. Brantingham and
Hsinchun Chen},
title = {Intelligent decision support for Marine safety and Security Operations},
booktitle = {{IEEE} International Conference on Intelligence and Security Informatics,
{ISI} 2010, Vancouver, BC, Canada, May 23-26, 2010, Proceedings},
pages = {101--107},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ISI.2010.5484769},
doi = {10.1109/ISI.2010.5484769},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isi/GlasserJAS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/anis/GlasserV10,
author = {Uwe Gl{\"{a}}sser and
Mona Vajihollahi},
editor = {Christopher C. Yang and
Michael Chau and
Jau{-}Hwang Wang and
Hsinchun Chen},
title = {Identity Management Architecture},
booktitle = {Security Informatics},
series = {Annals of Information Systems},
volume = {9},
pages = {97--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-4419-1325-8\_6},
doi = {10.1007/978-1-4419-1325-8\_6},
timestamp = {Tue, 16 May 2017 14:24:39 +0200},
biburl = {https://dblp.org/rec/series/anis/GlasserV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2010,
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1},
doi = {10.1007/978-3-642-11811-1},
isbn = {978-3-642-11810-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isi/2010,
editor = {Christopher C. Yang and
Daniel Zeng and
Ke Wang and
Antonio Sanfilippo and
Herbert H. Tsang and
Min{-}Yuh Day and
Uwe Gl{\"{a}}sser and
Patricia L. Brantingham and
Hsinchun Chen},
title = {{IEEE} International Conference on Intelligence and Security Informatics,
{ISI} 2010, Vancouver, BC, Canada, May 23-26, 2010, Proceedings},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5476380/proceeding},
isbn = {978-1-4244-6460-9},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isi/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FarahbodGGM09,
author = {Roozbeh Farahbod and
Vincenzo Gervasi and
Uwe Gl{\"{a}}sser and
George Ma},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {CoreASM Plug-In Architecture},
booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5115},
pages = {147--169},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11447-2\_10},
doi = {10.1007/978-3-642-11447-2\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FarahbodGGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2009borger,
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5115},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11447-2},
doi = {10.1007/978-3-642-11447-2},
isbn = {978-3-642-11446-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2009borger.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FarahbodG08,
author = {Roozbeh Farahbod and
Uwe Gl{\"{a}}sser},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {Dynamic Resource Configuration {\&} Management for Distributed
Information Fusion in Maritime Surveillance},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {343},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_31},
doi = {10.1007/978-3-540-87603-8\_31},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/FarahbodG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euroisi/GlasserV08,
author = {Uwe Gl{\"{a}}sser and
Mona Vajihollahi},
editor = {Daniel Ortiz Arroyo and
Henrik Legind Larsen and
Daniel Dajun Zeng and
David L. Hicks and
Gerhard Wagner},
title = {Computational Modeling of Criminal Activity},
booktitle = {Intelligence and Security Informatics, First European Conference,
EuroISI 2008, Esbjerg, Denmark, December 3-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5376},
pages = {39--50},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89900-6\_7},
doi = {10.1007/978-3-540-89900-6\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/euroisi/GlasserV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fusion/FarahbodGBG08,
author = {Roozbeh Farahbod and
Uwe Gl{\"{a}}sser and
{\'{E}}loi Boss{\'{e}} and
Adel Guitouni},
title = {Integrating Abstract State Machines and Interpreted Systems for Situation
Analysis decision support design},
booktitle = {11th International Conference on Information Fusion, {FUSION} 2008,
Cologne, Germany, June 30 - July 3, 2008},
pages = {1--8},
publisher = {{IEEE}},
year = {2008},
url = {https://ieeexplore.ieee.org/document/4632397/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fusion/FarahbodGBG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/GlasserV08,
author = {Uwe Gl{\"{a}}sser and
Mona Vajihollahi},
title = {Identity management architecture},
booktitle = {{IEEE} International Conference on Intelligence and Security Informatics,
{ISI} 2008, Taipei, Taiwan, June 17-20, 2008, Proceedings},
pages = {137--144},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ISI.2008.4565043},
doi = {10.1109/ISI.2008.4565043},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isi/GlasserV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FarahbodGJV08,
author = {Roozbeh Farahbod and
Uwe Gl{\"{a}}sser and
Piper J. Jackson and
Mona Vajihollahi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {High Level Analysis, Design and Validation of Distributed Mobile Systems
with CoreASM},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {797--814},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_57},
doi = {10.1007/978-3-540-88479-8\_57},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/FarahbodGJV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/GlasserRV08,
author = {Uwe Gl{\"{a}}sser and
Sarah Rastkar and
Mona Vajihollahi},
editor = {Hsinchun Chen and
Christopher C. Yang},
title = {Modeling and Validation of Aviation Security},
booktitle = {Intelligence and Security Informatics, Techniques and Applications},
series = {Studies in Computational Intelligence},
volume = {135},
pages = {337--355},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69209-6\_18},
doi = {10.1007/978-3-540-69209-6\_18},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/GlasserRV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FarahbodGG07,
author = {Roozbeh Farahbod and
Vincenzo Gervasi and
Uwe Gl{\"{a}}sser},
title = {CoreASM: An Extensible {ASM} Execution Engine},
journal = {Fundam. Informaticae},
volume = {77},
number = {1-2},
pages = {71--103},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi77-1-2-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FarahbodGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrialG07,
author = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {06191 Summary -- Rigorous Methods for Software Construction and Analysis},
booktitle = {Rigorous Methods for Software Construction and Analysis, 07.05. -
12.05.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06191},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/665},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbrialG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrialG07a,
author = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {06191 Abstracts Collection -- Rigorous Methods for Software Construction
and Analysis},
booktitle = {Rigorous Methods for Software Construction and Analysis, 07.05. -
12.05.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06191},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/666},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbrialG07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/FarahbodGV06,
author = {Roozbeh Farahbod and
Uwe Gl{\"{a}}sser and
Mona Vajihollahi},
title = {An abstract machine architecture for web service based business process
management},
journal = {Int. J. Bus. Process. Integr. Manag.},
volume = {1},
number = {4},
pages = {279--291},
year = {2006},
url = {https://doi.org/10.1504/IJBPIM.2006.012626},
doi = {10.1504/IJBPIM.2006.012626},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijbpim/FarahbodGV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/GlasserRV06,
author = {Uwe Gl{\"{a}}sser and
Sarah Rastkar and
Mona Vajihollahi},
editor = {Sharad Mehrotra and
Daniel Dajun Zeng and
Hsinchun Chen and
Bhavani Thuraisingham and
Fei{-}Yue Wang},
title = {Computational Modeling and Experimental Validation of Aviation Security
Procedures},
booktitle = {Intelligence and Security Informatics, {IEEE} International Conference
on Intelligence and Security Informatics, {ISI} 2006, San Diego, CA,
USA, May 23-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3975},
pages = {420--431},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11760146\_37},
doi = {10.1007/11760146\_37},
timestamp = {Wed, 29 Jun 2022 15:37:43 +0200},
biburl = {https://dblp.org/rec/conf/isi/GlasserRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6191,
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {Rigorous Methods for Software Construction and Analysis, 07.05. -
12.05.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06191},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/06191/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GlasserG05,
author = {Uwe Gl{\"{a}}sser and
Qian{-}Ping Gu},
title = {Formal description and analysis of a distributed location service
for mobile ad hoc networks},
journal = {Theor. Comput. Sci.},
volume = {336},
number = {2-3},
pages = {285--309},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.11.009},
doi = {10.1016/J.TCS.2004.11.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GlasserG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BrantinghamGKSV05,
author = {Patricia L. Brantingham and
Uwe Gl{\"{a}}sser and
B. Kinney and
Komal Singh and
Mona Vajihollahi},
title = {Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract
State Machines},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {101--118},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/brantingham.ps},
timestamp = {Tue, 09 Apr 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BrantinghamGKSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FarahbodGG05,
author = {Roozbeh Farahbod and
Vincenzo Gervasi and
Uwe Gl{\"{a}}sser},
title = {CoreASM: An Extensible {ASM} Execution Engine},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {153--166},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/CoreASM-ASM2005.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/FarahbodGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/FarahbodGV05,
author = {Roozbeh Farahbod and
Uwe Gl{\"{a}}sser and
Mona Vajihollahi},
editor = {Christoph Bussler and
Armin Haller},
title = {An Abstract Machine Architecture for Web Service Based Business Process
Management},
booktitle = {Business Process Management Workshops, {BPM} 2005 International Workshops,
BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005,
Revised Selected Papers},
volume = {3812},
pages = {144--157},
year = {2005},
url = {https://doi.org/10.1007/11678564\_13},
doi = {10.1007/11678564\_13},
timestamp = {Tue, 30 May 2017 16:36:53 +0200},
biburl = {https://dblp.org/rec/conf/bpm/FarahbodGV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/GlasserP05,
author = {Uwe Gl{\"{a}}sser and
Andreas Prinz},
editor = {Andreas Prinz and
Rick Reed and
Jeanne Reed},
title = {{ASM} and {SDL} Models of Geographic Routing in Mobile Ad Hoc Networks},
booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad,
Norway, June 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3530},
pages = {162--173},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11506843\_11},
doi = {10.1007/11506843\_11},
timestamp = {Wed, 25 Sep 2019 18:02:25 +0200},
biburl = {https://dblp.org/rec/conf/sdl/GlasserP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/BrantinghamGKSV05,
author = {Patricia L. Brantingham and
Uwe Gl{\"{a}}sser and
B. Kinney and
Komal Singh and
Mona Vajihollahi},
title = {A computational model for simulating spatial aspects of crime in urban
environments},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005},
pages = {3667--3674},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ICSMC.2005.1571717},
doi = {10.1109/ICSMC.2005.1571717},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/BrantinghamGKSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsmai/FarahbodGV05,
author = {Roozbeh Farahbod and
Uwe Gl{\"{a}}sser and
Mona Vajihollahi},
editor = {Savitri Bevinakoppa and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi},
title = {A Formal Semantics for the Business Process Execution Language for
Web Services},
booktitle = {Web Services and Model-Driven Enterprise Information Services, Proceedings
of the Joint Workshop on Web Services and Model-Driven Enterprise
Information Services, {WSMDEIS} 2005, In conjunction with {ICEIS}
2005, Miami, USA, May 2005},
pages = {122--133},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Mon, 27 Jun 2005 13:41:58 +0200},
biburl = {https://dblp.org/rec/conf/wsmai/FarahbodGV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GlasserGV04,
author = {Uwe Gl{\"{a}}sser and
Yuri Gurevich and
Margus Veanes},
title = {Abstract Communication Model for Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {30},
number = {7},
pages = {458--472},
year = {2004},
url = {https://doi.org/10.1109/TSE.2004.25},
doi = {10.1109/TSE.2004.25},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GlasserGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FarahbodGV04,
author = {Roozbeh Farahbod and
Uwe Gl{\"{a}}sser and
Mona Vajihollahi},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Specification and Validation of the Business Process Execution Language
for Web Services},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {78--94},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_7},
doi = {10.1007/978-3-540-24773-9\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/FarahbodGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/GlasserV04,
author = {Uwe Gl{\"{a}}sser and
Mona Vajihollahi},
editor = {Bernd Kleinjohann and
Guang R. Gao and
Hermann Kopetz and
Lisa Kleinjohann and
Achim Rettberg},
title = {Engineering Concurrent and Reactive Systems with Distributed Real-Time
Abstract State Machines},
booktitle = {Design Methods and Applications for Distributed Embedded Systems,
{IFIP} 18th World Computer Congress, {TC10} Working Conference on
Distributed and Parallel Embedded Systems {(DIPES} 2004), 22-27 August
2004, Toulouse, France},
series = {{IFIP}},
volume = {150},
pages = {297--306},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8149-9\_30},
doi = {10.1007/1-4020-8149-9\_30},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/GlasserV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/GlasserGP03,
author = {Uwe Gl{\"{a}}sser and
Reinhard Gotzhein and
Andreas Prinz},
title = {The formal semantics of {SDL-2000:} Status and perspectives},
journal = {Comput. Networks},
volume = {42},
number = {3},
pages = {343--358},
year = {2003},
url = {https://doi.org/10.1016/S1389-1286(03)00247-0},
doi = {10.1016/S1389-1286(03)00247-0},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/GlasserGP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BenczurGL03,
author = {Andr{\'{a}}s A. Bencz{\'{u}}r and
Uwe Gl{\"{a}}sser and
Tam{\'{a}}s Lukovszki},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Formal Description of a Distributed Location Service for Mobile Ad
Hoc Networks},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {204--217},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_11},
doi = {10.1007/3-540-36498-6\_11},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/BenczurGL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/GlasserGV02,
author = {Uwe Gl{\"{a}}sser and
Yuri Gurevich and
Margus Veanes},
title = {High-Level Executable Specification of the Universal Plug and Play
Architecture},
booktitle = {35th Hawaii International Conference on System Sciences {(HICSS-35}
2002), {CD-ROM} / Abstracts Proceedings, 7-10 January 2002, Big Island,
HI, {USA}},
pages = {283},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/HICSS.2002.994497},
doi = {10.1109/HICSS.2002.994497},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/GlasserGV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/GlasserV02,
author = {Uwe Gl{\"{a}}sser and
Margus Veanes},
editor = {Bernd Kleinjohann and
K. H. Kim and
Lisa Kleinjohann and
Achim Rettberg},
title = {Universal Plug and Play Machine Models},
booktitle = {Design and Analysis of Distributed Embedded Systems, {IFIP} 17\({}^{\mbox{th}}\)
World Computer Congress - {TC10} Stream on Distributed and Parallel
Embedded Systems {(DIPES} 2002), August 25-29, 2002, Montr{\'{e}}al,
Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {219},
pages = {21--30},
publisher = {Kluwer},
year = {2002},
timestamp = {Mon, 26 Aug 2002 08:29:48 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/GlasserV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerG01,
author = {Egon B{\"{o}}rger and
Uwe Gl{\"{a}}sser},
title = {Abstract State Machines 2001: New Developments and Applications -
{J.UCS} Special Issue},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {11},
pages = {914--916},
year = {2001},
url = {http://www.jucs.org/jucs\_7\_11/abstract\_state\_machines\_2001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BorgerG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/EschbachGGLP01,
author = {Robert Eschbach and
Uwe Gl{\"{a}}sser and
Reinhard Gotzhein and
Martin von L{\"{o}}wis and
Andreas Prinz},
title = {Formal Definition of {SDL-2000} - Compiling and Running {SDL} Specifications
as {ASM} Models},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {11},
pages = {1024--1049},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-11-1024},
doi = {10.3217/JUCS-007-11-1024},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/EschbachGGLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/EschbachGGP00,
author = {Robert Eschbach and
Uwe Gl{\"{a}}sser and
Reinhard Gotzhein and
Andreas Prinz},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {On the Formal Semantics of {SDL-2000:} {A} Compilation Approach Based
on an Abstract {SDL} Machine},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {242--265},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_14},
doi = {10.1007/3-540-44518-8\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/EschbachGGP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CastilloG99,
author = {Giuseppe Del Castillo and
Uwe Gl{\"{a}}sser},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Peter Kopacek},
title = {Computer-Aided Analysis and Validation of Heterogeneous System Specifications},
booktitle = {Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September
29 - October 2, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1798},
pages = {55--79},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720123\_7},
doi = {10.1007/10720123\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CastilloG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/GlasserGP99,
author = {Uwe Gl{\"{a}}sser and
Reinhard Gotzhein and
Andreas Prinz},
editor = {Rachida Dssouli and
Gregor von Bochmann and
Yair Lahav},
title = {Towards a new formal {SDL} semantics - outline of an abstract state
machines},
booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al,
Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings},
pages = {171--192},
publisher = {Elsevier},
year = {1999},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/sdl/GlasserGP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GlasserS98,
author = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
editor = {J{\"{u}}rgen Dassow and
Rudolf Kruse},
title = {Workshop: Abstract State Machines},
booktitle = {Informatik '98 - Informatik zwischen Bild und Sprache, 28. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik, Magdeburg, 21.-25. September
1998},
series = {Informatik Aktuell},
pages = {381--382},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-642-72283-7\_39},
doi = {10.1007/978-3-642-72283-7\_39},
timestamp = {Tue, 23 May 2017 01:10:32 +0200},
biburl = {https://dblp.org/rec/conf/gi/GlasserS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/HardtABCDEGKLRRSST98,
author = {Wolfram Hardt and
Peter Altenbernd and
Carsten B{\"{o}}ke and
Giuseppe Del Castillo and
C. Ditze and
Edwin Erpenbach and
Uwe Gl{\"{a}}sser and
Bernd Kleinjohann and
Georg Lehrenfeld and
Franz J. Rammig and
Carsten Rust and
Friedhelm Stappert and
Joachim Stroop and
J{\"{u}}rgen Tacken},
editor = {Franz J. Rammig},
title = {Paradise: Design Environment for Parallel {\&} Distributed, Embedded
Real-Time Systems},
booktitle = {Distributed and Parallel Embedded Systems, {IFIP} {WG10.3/WG10.5}
International Workshop on Distributed and Parallel Embedded Systems
{(DIPES} '98), October 5-6. 1998, Schlo{\ss} Eringerfeld, Germany},
series = {{IFIP} Conference Proceedings},
volume = {155},
pages = {181--190},
publisher = {Kluwer},
year = {1998},
timestamp = {Wed, 17 Dec 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-3/HardtABCDEGKLRRSST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/1998,
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
year = {1998},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GlasserK97,
author = {Uwe Gl{\"{a}}sser and
Rene Karges},
title = {Abstract State Machine Semantics of {SDL}},
journal = {J. Univers. Comput. Sci.},
volume = {3},
number = {12},
pages = {1382--1414},
year = {1997},
url = {https://doi.org/10.3217/jucs-003-12-1382},
doi = {10.3217/JUCS-003-12-1382},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GlasserK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Glasser97,
author = {Uwe Gl{\"{a}}sser},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az},
title = {Modelling of Concurrent and Embedded Systems},
booktitle = {Computer Aided Systems Theory - EUROCAST'97, {A} Selection of Papers
from the 6th International Workshop on Computer Aided Systems Theory,
Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1333},
pages = {108--122},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0025038},
doi = {10.1007/BFB0025038},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Glasser97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CastilloDG95,
author = {Giuseppe Del Castillo and
Igor Durdanovic and
Uwe Gl{\"{a}}sser},
editor = {Hans Kleine B{\"{u}}ning},
title = {An Evolving Algebra Abstract Machine},
booktitle = {Computer Science Logic, 9th International Workshop, {CSL} '95, Annual
Conference of the EACSL, Paderborn, Germany, September 22-29, 1995,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1092},
pages = {191--214},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61377-3\_39},
doi = {10.1007/3-540-61377-3\_39},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/CastilloDG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BeierleBDGR95,
author = {Christoph Beierle and
Egon B{\"{o}}rger and
Igor Durdanovic and
Uwe Gl{\"{a}}sser and
Elvinia Riccobene},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Refining Abstract Machine Specifications of the Steam Boiler Control
to Well Documented Executable Code},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {52--78},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027231},
doi = {10.1007/BFB0027231},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BeierleBDGR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/MullerBG94,
author = {Wolfgang M{\"{u}}ller and
Egon B{\"{o}}rger and
Uwe Gl{\"{a}}sser},
editor = {Jean Mermet},
title = {The semantics of behavioral {VHDL} '93 descriptions},
booktitle = {Proceedings EURO-DAC'94, European Design Automation Conference, Grenoble,
France, September 19-22, 1994},
pages = {500--505},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=198312},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/MullerBG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BorgerG94,
author = {Egon B{\"{o}}rger and
Uwe Gl{\"{a}}sser},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Formal Specification of the {PVM} Architecture},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {402--409},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BorgerG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Glasser93,
author = {Uwe Gl{\"{a}}sser},
title = {A distributed implementation of flat concurrent prolog on message
passing multiprocessor systems},
school = {University of Paderborn, Germany},
year = {1993},
url = {https://d-nb.info/930149254},
isbn = {978-3-8154-2051-5},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Glasser93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acpc/GlasserHKL91,
author = {Uwe Gl{\"{a}}sser and
G. Hannesen and
M. K{\"{a}}rcher and
Georg Lehrenfeld},
editor = {Hans P. Zima},
title = {A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer
Environments},
booktitle = {Parallel Computation, First International {ACPC} Conference, Salzburg,
Austria, September 30 - October 2, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {591},
pages = {277--288},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55437-8\_87},
doi = {10.1007/3-540-55437-8\_87},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/acpc/GlasserHKL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tat/GlasserKL91,
author = {Uwe Gl{\"{a}}sser and
M. K{\"{a}}rcher and
Georg Lehrenfeld},
editor = {Reinhard Grebe and
Martin Baumann},
title = {Dynamische Partitionierung Asynchroner Proze{\ss}netzwerke am Beispiel
Paralleler Logischer Programmierung},
booktitle = {Parallele Datenverarbeitung mit dem Transputer, 3. Transputer-Anwender-Treffen
{TAT} '91, Aachen, 17.-18. September 1991},
series = {Informatik Aktuell},
pages = {33--40},
publisher = {Springer},
year = {1991},
timestamp = {Thu, 26 Oct 2017 07:55:43 +0200},
biburl = {https://dblp.org/rec/conf/tat/GlasserKL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icftcs/Glasser89,
author = {Uwe Gl{\"{a}}sser},
editor = {Winfried G{\"{o}}rke and
Holger S{\"{o}}rensen},
title = {Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter
Schaltungsentw{\"{u}}rfe},
booktitle = {Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems,
Automatisierungssysteme, Methoden, Anwendungen / Automation Systems,
Methods, Applications; 4. Internationale GI/ITG/GMA-Fachtagung, Baden-Baden,
Deutschland, 20.-22. September 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {214},
pages = {334--342},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-75002-1\_27},
doi = {10.1007/978-3-642-75002-1\_27},
timestamp = {Sat, 23 Jun 2018 18:45:01 +0200},
biburl = {https://dblp.org/rec/conf/icftcs/Glasser89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tat/Glasser89,
author = {Uwe Gl{\"{a}}sser},
editor = {Reinhard Grebe},
title = {Ein verteilter Interpreter f{\"{u}}r Flat Concurrent Prolog auf
Transputern},
booktitle = {Parallele Datenverarbeitung mit dem Transputer, 1. Transputer-Anwender-Treffen
{TAT} '89, Aachen, 25.-26. September 1989},
series = {Informatik-Fachberichte},
volume = {237},
pages = {34--42},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-84142-2\_4},
doi = {10.1007/978-3-642-84142-2\_4},
timestamp = {Wed, 24 May 2017 08:29:29 +0200},
biburl = {https://dblp.org/rec/conf/tat/Glasser89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icftcs/Bidjan-IraniGR87,
author = {Mehrdad Bidjan{-}Irani and
Uwe Gl{\"{a}}sser and
Franz J. Rammig},
editor = {Fevzi Belli and
Winfried G{\"{o}}rke},
title = {Knowledge Based Tools for Testability Checking},
booktitle = {Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems,
3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, Deutschland,
9.-11. September 1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {147},
pages = {119--128},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-45628-2\_11},
doi = {10.1007/978-3-642-45628-2\_11},
timestamp = {Sat, 23 Jun 2018 18:44:44 +0200},
biburl = {https://dblp.org/rec/conf/icftcs/Bidjan-IraniGR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
