![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Uwe Glässer
Person information
- affiliation: Simon Fraser University, Burnaby, Canada
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [e6]Uwe Glässer, José Creissac Campos, Dominique Méry
, Philippe A. Palanque
:
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings. Lecture Notes in Computer Science 14010, Springer 2023, ISBN 978-3-031-33162-6 [contents] - 2022
- [c67]Mahsa Keramati, Mohammad A. Tayebi, Zahra Zohrevand, Uwe Glässer, Juan Anzieta, Glyn Williams-Jones:
Cubism: Co-balanced Mixup for Unsupervised Volcano-Seismic Knowledge Transfer. ECML/PKDD (5) 2022: 581-597 - 2021
- [c66]Amir Yaghoubi Shahir, Tilemachos Charalampous, Mohammad A. Tayebi, Uwe Glässer, Hans Wehn:
TripTracker: Unsupervised Learning of Fishing Vessel Routine Activity Patterns. IEEE BigData 2021: 1928-1939 - [c65]Mahsa Keramati, Zahra Zohrevand, Uwe Glässer:
Norma: A Hybrid Feature Alignment for Class-Aware Unsupervised Domain Adaptation. CIKM 2021: 833-843 - 2020
- [c64]Saeed Arasteh, Mohammad A. Tayebi, Zahra Zohrevand, Uwe Glässer, Amir Yaghoubi Shahir, Parvaneh Saeedi, Hans Wehn:
Fishing Vessels Activity Detection from Longitudinal AIS Data. SIGSPATIAL/GIS 2020: 347-356 - [c63]Zahra Zohrevand, Uwe Glässer:
Dynamic Attack Scoring Using Distributed Local Detectors. ICASSP 2020: 2892-2896
2010 – 2019
- 2019
- [c62]Amir Yaghoubi Shahir, Mohammad A. Tayebi, Uwe Glässer, Tilemachos Charalampous, Zahra Zohrevand, Hans Wehn:
Mining Vessel Trajectories for Illegal Fishing Detection. IEEE BigData 2019: 1917-1927 - [i5]Zahra Zohrevand, Uwe Glässer:
Should I Raise The Red Flag? A comprehensive survey of anomaly scoring methods toward mitigating false alarms. CoRR abs/1904.06646 (2019) - 2018
- [c61]Mohammad A. Tayebi, Hamed Yaghoubi Shahir, Uwe Glässer, Patricia L. Brantingham:
Spatial Patterns of Offender Groups. ISI 2018: 13-18 - 2017
- [c60]Zahra Zohrevand, Uwe Glässer, Mohammad A. Tayebi, Hamed Yaghoubi Shahir, Mehdi Shirmaleki, Amir Yaghoubi Shahir:
Deep Learning Based Forecasting of Critical Infrastructure Data. CIKM 2017: 1129-1138 - [c59]Mohammad A. Tayebi, Uwe Glässer, Patricia L. Brantingham, Hamed Yaghoubi Shahir:
SINAS: Suspect Investigation Using Offenders' Activity Space. ECML/PKDD (3) 2017: 253-265 - 2016
- [b2]Mohammad A. Tayebi, Uwe Glässer:
Social Network Analysis in Predictive Policing - Concepts, Models and Methods. Lecture Notes in Social Networks, Springer 2016, ISBN 978-3-319-41491-1, pp. 1-130 - [c58]Zahra Zohrevand, Uwe Glässer, Hamed Yaghoubi Shahir, Mohammad A. Tayebi, Robert Costanzo:
Hidden Markov based anomaly detection for water supply systems. IEEE BigData 2016: 1551-1560 - [c57]Amir Yaghoubi Shahir, Uwe Glässer, Hamed Yaghoubi Shahir, Mohammad A. Tayebi, Hans Wehn:
Formal engineering frameworks in maritime domain awareness. MEMOCODE 2016: 59-64 - 2015
- [c56]Aungon Nag Radon, Ke Wang, Uwe Glässer, Hans Wehn, Andrew Westwell-Roper:
Contextual verification for false alarm reduction in maritime anomaly detection. IEEE BigData 2015: 1123-1133 - [c55]Hamed Yaghoubi Shahir, Uwe Glässer, Amir Yaghoubi Shahir, Hans Wehn:
Maritime situation analysis framework: Vessel interaction classification and anomaly detection. IEEE BigData 2015: 1279-1289 - [c54]Mohammad A. Tayebi, Uwe Glässer, Patricia L. Brantingham:
Learning where to inspect: Location learning for crime prediction. ISI 2015: 25-30 - [i4]Hamed Yaghoubi Shahir, Uwe Glässer, Amir Yaghoubi Shahir, Hans Wehn:
An Analytic Framework for Maritime Situation Analysis. CoRR abs/1508.00181 (2015) - 2014
- [j13]Roozbeh Farahbod, Vincenzo Gervasi
, Uwe Glässer:
Executable formal specifications of complex distributed systems with CoreASM. Sci. Comput. Program. 79: 23-38 (2014) - [c53]Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn:
Distributed Situation Analysis - A Formal Semantic Framework. ABZ 2014: 158-173 - [c52]Mohammad A. Tayebi, Martin Ester, Uwe Glässer, Patricia L. Brantingham:
CRIMETRACER: Activity space based crime location prediction. ASONAM 2014: 472-480 - [c51]Hamed Yaghoubi Shahir, Uwe Glässer, Narek Nalbandyan, Hans Wehn:
Maritime Situation Analysis: A Multi-vessel Interaction and Anomaly Detection Framework. JISIC 2014: 192-199 - [c50]Mohammad A. Tayebi, Martin Ester, Uwe Glässer, Patricia L. Brantingham:
Spatially embedded co-offence prediction using supervised learning. KDD 2014: 1789-1798 - 2013
- [j12]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
:
Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. 78(3): 270-271 (2013) - [c49]Hamed Yaghoubi Shahir, Uwe Glässer, Narek Nalbandyan, Hans Wehn:
Maritime situation analysis. ISI 2013: 230-232 - [i3]Uwe Glässer, Stefan Hallerstede, Michael Leuschel, Elvinia Riccobene:
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). Dagstuhl Reports 3(9): 74-105 (2013) - 2012
- [j11]Hamed Yaghoubi Shahir, Uwe Glässer, Roozbeh Farahbod, Piper J. Jackson, Hans Wehn:
Generating test cases for marine safety and security scenarios: a composition framework. Secur. Informatics 1(1): 4 (2012) - [j10]Andrew J. Park, Herbert H. Tsang
, Mengting Sun, Uwe Glässer:
An agent-based model and computational framework for counter-terrorism and public safety based on swarm intelligence. Secur. Informatics 1(1): 23 (2012) - [c48]Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer:
Refactoring Abstract State Machine Models. ABZ 2012: 345-348 - [c47]Mohammad A. Tayebi, Uwe Glässer:
Investigating Organized Crime Groups: A Social Network Analysis Perspective. ASONAM 2012: 565-572 - [c46]Mohammad A. Tayebi, Richard Frank, Uwe Glässer:
Understanding the link between social and spatial distance in the crime world. SIGSPATIAL/GIS 2012: 550-553 - [c45]Ali Khalili Araghi, Uwe Glässer, Hamed Yaghoubi Shahir, Brian D. Fisher, Piper J. Jackson:
Intelligent decision support for emergency responses. ISCRAM 2012 - [c44]Vladimir Avram, Uwe Glässer, Hamed Yaghoubi Shahir:
Anomaly detection in spatiotemporal data in the maritime domain. ISI 2012: 147-149 - 2011
- [j9]Roozbeh Farahbod, Uwe Glässer:
The CoreASM modeling framework. Softw. Pract. Exp. 41(2): 167-178 (2011) - [c43]Mohammad A. Tayebi, Laurens Bakker, Uwe Glässer, Vahid Dabbaghian:
Locating Central Actors in Co-offending Networks. ASONAM 2011: 171-179 - [c42]Mohammad A. Tayebi, Uwe Glässer:
Organized Crime Structures in Co-offending Networks. DASC 2011: 846-853 - [c41]Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni
:
Engineering Situation Analysis Decision Support Systems. EISIC 2011: 10-18 - [c40]Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni
:
A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems. ICFEM 2011: 211-226 - [c39]Hamed Yaghoubi Shahir, Uwe Glässer, Piper J. Jackson
, Hans Wehn:
Test-case generation for marine safety and security scenarios. ISI 2011: 48-53 - [c38]Piper J. Jackson
, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn:
An extensible decision engine for Marine Safety and Security. ISI 2011: 54-59 - [c37]Mohammad A. Tayebi, Mohsen Jamali, Martin Ester, Uwe Glässer, Richard Frank:
CrimeWalker: a recommendation model for suspect investigation. RecSys 2011: 173-180 - [p3]Patricia L. Brantingham, Martin Ester, Richard Frank, Uwe Glässer, Mohammad A. Tayebi:
Co-offending Network Mining. Counterterrorism and Open Source Intelligence 2011: 73-102 - 2010
- [c36]Uwe Glässer, Piper J. Jackson, Ali Khalili Araghi, Hans Wehn, Hamed Yaghoubi Shahir:
A Collaborative Decision Support Model for Marine Safety and Security Operations. DIPES/BICC 2010: 266-277 - [c35]Herbert H. Tsang
, Andrew J. Park, Mengting Sun, Uwe Glässer:
GENIUS: A computational modeling framework for counter-terrorism planning and response. ISI 2010: 71-76 - [c34]Uwe Glässer, Piper J. Jackson
, Ali Khalili Araghi, Hamed Yaghoubi Shahir:
Intelligent decision support for Marine safety and Security Operations. ISI 2010: 101-107 - [p2]Uwe Glässer, Mona Vajihollahi:
Identity Management Architecture. Security Informatics 2010: 97-116 - [e5]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves:
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Lecture Notes in Computer Science 5977, Springer 2010, ISBN 978-3-642-11810-4 [contents] - [e4]Christopher C. Yang, Daniel Zeng, Ke Wang, Antonio Sanfilippo, Herbert H. Tsang, Min-Yuh Day, Uwe Glässer, Patricia L. Brantingham, Hsinchun Chen:
IEEE International Conference on Intelligence and Security Informatics, ISI 2010, Vancouver, BC, Canada, May 23-26, 2010, Proceedings. IEEE 2010, ISBN 978-1-4244-6460-9 [contents]
2000 – 2009
- 2009
- [c33]Roozbeh Farahbod, Vincenzo Gervasi
, Uwe Glässer, George Ma:
CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis 2009: 147-169 - [e3]Jean-Raymond Abrial, Uwe Glässer:
Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 5115, Springer 2009, ISBN 978-3-642-11446-5 [contents] - 2008
- [c32]Roozbeh Farahbod, Uwe Glässer:
Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. ABZ 2008: 343 - [c31]Uwe Glässer, Mona Vajihollahi:
Computational Modeling of Criminal Activity. EuroISI 2008: 39-50 - [c30]Roozbeh Farahbod, Uwe Glässer, Éloi Bossé, Adel Guitouni:
Integrating Abstract State Machines and Interpreted Systems for Situation Analysis decision support design. FUSION 2008: 1-8 - [c29]Uwe Glässer, Mona Vajihollahi:
Identity management architecture. ISI 2008: 137-144 - [c28]Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi:
High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. ISoLA 2008: 797-814 - [p1]Uwe Glässer, Sarah Rastkar, Mona Vajihollahi:
Modeling and Validation of Aviation Security. Intelligence and Security Informatics 2008: 337-355 - 2007
- [j8]Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer:
CoreASM: An Extensible ASM Execution Engine. Fundam. Informaticae 77(1-2): 71-103 (2007) - [i2]Jean-Raymond Abrial, Uwe Glässer:
06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007 - [i1]Jean-Raymond Abrial, Uwe Glässer:
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007 - 2006
- [j7]Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi:
An abstract machine architecture for web service based business process management. Int. J. Bus. Process. Integr. Manag. 1(4): 279-291 (2006) - [c27]Uwe Glässer, Sarah Rastkar, Mona Vajihollahi:
Computational Modeling and Experimental Validation of Aviation Security Procedures. ISI 2006: 420-431 - [e2]Jean-Raymond Abrial, Uwe Glässer:
Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006. Dagstuhl Seminar Proceedings 06191, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [j6]Uwe Glässer, Qian-Ping Gu:
Formal description and analysis of a distributed location service for mobile ad hoc networks. Theor. Comput. Sci. 336(2-3): 285-309 (2005) - [c26]Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi:
Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. Abstract State Machines 2005: 101-118 - [c25]Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer:
CoreASM: An Extensible ASM Execution Engine. Abstract State Machines 2005: 153-166 - [c24]Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi:
An Abstract Machine Architecture for Web Service Based Business Process Management. Business Process Management Workshops 2005: 144-157 - [c23]Uwe Glässer, Andreas Prinz:
ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. SDL Forum 2005: 162-173 - [c22]Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi:
A computational model for simulating spatial aspects of crime in urban environments. SMC 2005: 3667-3674 - [c21]Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi:
A Formal Semantics for the Business Process Execution Language for Web Services. WSMDEIS 2005: 122-133 - 2004
- [j5]Uwe Glässer, Yuri Gurevich, Margus Veanes:
Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. 30(7): 458-472 (2004) - [c20]Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi:
Specification and Validation of the Business Process Execution Language for Web Services. Abstract State Machines 2004: 78-94 - [c19]Uwe Glässer, Mona Vajihollahi:
Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. DIPES 2004: 297-306 - 2003
- [j4]Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
The formal semantics of SDL-2000: Status and perspectives. Comput. Networks 42(3): 343-358 (2003) - [c18]András A. Benczúr, Uwe Glässer, Tamás Lukovszki:
Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. Abstract State Machines 2003: 204-217 - 2002
- [c17]Uwe Glässer, Yuri Gurevich, Margus Veanes:
High-Level Executable Specification of the Universal Plug and Play Architecture. HICSS 2002: 283 - [c16]Uwe Glässer, Margus Veanes:
Universal Plug and Play Machine Models. DIPES 2002: 21-30 - 2001
- [j3]Egon Börger, Uwe Glässer:
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. J. Univers. Comput. Sci. 7(11): 914-916 (2001) - [j2]Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz:
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. J. Univers. Comput. Sci. 7(11): 1024-1049 (2001) - 2000
- [c15]Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. Abstract State Machines 2000: 242-265
1990 – 1999
- 1999
- [c14]Giuseppe Del Castillo
, Uwe Glässer:
Computer-Aided Analysis and Validation of Heterogeneous System Specifications. EUROCAST 1999: 55-79 - [c13]Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
Towards a new formal SDL semantics - outline of an abstract state machines. SDL Forum 1999: 171-192 - 1998
- [c12]Uwe Glässer, Peter H. Schmitt:
Workshop: Abstract State Machines. GI Jahrestagung 1998: 381-382 - [c11]Wolfram Hardt, Peter Altenbernd, Carsten Böke, Giuseppe Del Castillo, C. Ditze, Edwin Erpenbach, Uwe Glässer, Bernd Kleinjohann, Georg Lehrenfeld, Franz J. Rammig, Carsten Rust, Friedhelm Stappert, Joachim Stroop, Jürgen Tacken:
Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. DIPES 1998: 181-190 - [e1]Uwe Glässer, Peter H. Schmitt:
Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings. 1998 [contents] - 1997
- [j1]Uwe Glässer, Rene Karges:
Abstract State Machine Semantics of SDL. J. Univers. Comput. Sci. 3(12): 1382-1414 (1997) - [c10]Uwe Glässer:
Modelling of Concurrent and Embedded Systems. EUROCAST 1997: 108-122 - 1995
- [c9]Giuseppe Del Castillo
, Igor Durdanovic, Uwe Glässer:
An Evolving Algebra Abstract Machine. CSL 1995: 191-214 - [c8]Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene:
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Formal Methods for Industrial Applications 1995: 52-78 - 1994
- [c7]Wolfgang Müller, Egon Börger, Uwe Glässer:
The semantics of behavioral VHDL '93 descriptions. EURO-DAC 1994: 500-505 - [c6]Egon Börger, Uwe Glässer:
A Formal Specification of the PVM Architecture. IFIP Congress (1) 1994: 402-409 - 1993
- [b1]Uwe Glässer:
A distributed implementation of flat concurrent prolog on message passing multiprocessor systems. University of Paderborn, Germany, Teubner 1993, ISBN 978-3-8154-2051-5, pp. 1-116 - 1991
- [c5]Uwe Glässer, G. Hannesen, M. Kärcher, Georg Lehrenfeld:
A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments. ACPC 1991: 277-288 - [c4]Uwe Glässer, M. Kärcher, Georg Lehrenfeld:
Dynamische Partitionierung Asynchroner Prozeßnetzwerke am Beispiel Paralleler Logischer Programmierung. Transputer-Anwender-Treffen 1991: 33-40
1980 – 1989
- 1989
- [c3]Uwe Glässer:
Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe. Fehlertolerierende Rechensysteme 1989: 334-342 - [c2]Uwe Glässer:
Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern. Transputer-Anwender-Treffen 1989: 34-42 - 1987
- [c1]Mehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig:
Knowledge Based Tools for Testability Checking. Fehlertolerierende Rechensysteme 1987: 119-128
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint