Knowledge Based Tools for Testability Checking. - Mehrdad Bidjan-Irani; Uwe Glässer; Franz J. Rammig (Fehlertolerierende Rechensysteme, 1987)

Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe. - Uwe Glässer (Fehlertolerierende Rechensysteme, 1989)

Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern. - Uwe Glässer (Transputer-Anwender-Treffen, 1989)

A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments. - Uwe Glässer; G. Hannesen; M. Kärcher; Georg Lehrenfeld (ACPC, 1991)

Dynamische Partitionierung Asynchroner Prozeßnetzwerke am Beispiel Paralleler Logischer Programmierung. - Uwe Glässer; M. Kärcher; Georg Lehrenfeld (Transputer-Anwender-Treffen, 1991)

A distributed implementation of flat concurrent prolog on message passing multiprocessor systems. - Uwe Glässer (Teubner, 1993)

The semantics of behavioral VHDL '93 descriptions. - Wolfgang Müller 003; Egon Börger; Uwe Glässer (EURO-DAC, 1994)

A Formal Specification of the PVM Architecture. - Egon Börger; Uwe Glässer (IFIP Congress (1), 1994)

An Evolving Algebra Abstract Machine. - Giuseppe Del Castillo; Igor Durdanovic; Uwe Glässer (CSL, 1995)

Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. - Christoph Beierle; Egon Börger; Igor Durdanovic; Uwe Glässer; Elvinia Riccobene (Formal Methods for Industrial Applications, 1995)

Modelling of Concurrent and Embedded Systems. - Uwe Glässer (EUROCAST, 1997)

Abstract State Machine Semantics of SDL. - Uwe Glässer; Rene Karges (J. Univers. Comput. Sci., 1997)

Workshop: Abstract State Machines. - Uwe Glässer; Peter H. Schmitt (GI Jahrestagung, 1998)

Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. - 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; et al. (DIPES, 1998)

Computer-Aided Analysis and Validation of Heterogeneous System Specifications. - Giuseppe Del Castillo; Uwe Glässer (EUROCAST, 1999)

Towards a new formal SDL semantics - outline of an abstract state machines. - Uwe Glässer; Reinhard Gotzhein; Andreas Prinz 001 (SDL Forum, 1999)

On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. - Robert Eschbach; Uwe Glässer; Reinhard Gotzhein; Andreas Prinz 001 (Abstract State Machines, 2000)

Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. - Egon Börger; Uwe Glässer (J. Univers. Comput. Sci., 2001)

Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. - Robert Eschbach; Uwe Glässer; Reinhard Gotzhein; Martin von Löwis; Andreas Prinz 001 (J. Univers. Comput. Sci., 2001)

High-Level Executable Specification of the Universal Plug and Play Architecture. - Uwe Glässer; Yuri Gurevich; Margus Veanes (HICSS, 2002)

Universal Plug and Play Machine Models. - Uwe Glässer; Margus Veanes (DIPES, 2002)

Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. - András A. Benczúr; Uwe Glässer; Tamás Lukovszki (Abstract State Machines, 2003)

The formal semantics of SDL-2000: Status and perspectives. - Uwe Glässer; Reinhard Gotzhein; Andreas Prinz 001 (Comput. Networks, 2003)

Specification and Validation of the Business Process Execution Language for Web Services. - Roozbeh Farahbod; Uwe Glässer; Mona Vajihollahi (Abstract State Machines, 2004)

Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. - Uwe Glässer; Mona Vajihollahi (DIPES, 2004)

Abstract Communication Model for Distributed Systems. - Uwe Glässer; Yuri Gurevich; Margus Veanes (IEEE Trans. Software Eng., 2004)

Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. - Patricia L. Brantingham; Uwe Glässer; B. Kinney; Komal Singh; Mona Vajihollahi (Abstract State Machines, 2005)

ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. - Uwe Glässer; Andreas Prinz 001 (SDL Forum, 2005)

A computational model for simulating spatial aspects of crime in urban environments. - Patricia L. Brantingham; Uwe Glässer; B. Kinney; Komal Singh; Mona Vajihollahi (SMC, 2005)

A Formal Semantics for the Business Process Execution Language for Web Services. - Roozbeh Farahbod; Uwe Glässer; Mona Vajihollahi (WSMDEIS, 2005)

Formal description and analysis of a distributed location service for mobile ad hoc networks. - Uwe Glässer; Qian-Ping Gu (Theor. Comput. Sci., 2005)

Computational Modeling and Experimental Validation of Aviation Security Procedures. - Uwe Glässer; Sarah Rastkar; Mona Vajihollahi (ISI, 2006)

An abstract machine architecture for web service based business process management. - Roozbeh Farahbod; Uwe Glässer; Mona Vajihollahi (Int. J. Bus. Process. Integr. Manag., 2006)

06191 Summary – Rigorous Methods for Software Construction and Analysis. - Jean-Raymond Abrial; Uwe Glässer (Rigorous Methods for Software Construction and Analysis, 2007)

06191 Abstracts Collection – Rigorous Methods for Software Construction and Analysis. - Jean-Raymond Abrial; Uwe Glässer (Rigorous Methods for Software Construction and Analysis, 2007)

CoreASM: An Extensible ASM Execution Engine. - Roozbeh Farahbod; Vincenzo Gervasi; Uwe Glässer (Fundam. Informaticae, 2007)

Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. - Roozbeh Farahbod; Uwe Glässer (ABZ, 2008)

Computational Modeling of Criminal Activity. - Uwe Glässer; Mona Vajihollahi (EuroISI, 2008)

Integrating Abstract State Machines and Interpreted Systems for Situation Analysis decision support design. - Roozbeh Farahbod; Uwe Glässer; Éloi Bossé; Adel Guitouni (FUSION, 2008)

Identity management architecture. - Uwe Glässer; Mona Vajihollahi (ISI, 2008)

High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. - Roozbeh Farahbod; Uwe Glässer; Piper J. Jackson; Mona Vajihollahi (ISoLA, 2008)

Modeling and Validation of Aviation Security. - Uwe Glässer; Sarah Rastkar; Mona Vajihollahi (Intelligence and Security Informatics, 2008)

CoreASM Plug-In Architecture. - Roozbeh Farahbod; Vincenzo Gervasi; Uwe Glässer; George Ma (Rigorous Methods for Software Construction and Analysis, 2009)

A Collaborative Decision Support Model for Marine Safety and Security Operations. - Uwe Glässer; Piper J. Jackson; Ali Khalili Araghi; Hans Wehn; Hamed Yaghoubi Shahir (DIPES/BICC, 2010)

Intelligent decision support for Marine safety and Security Operations. - Uwe Glässer; Piper J. Jackson; Ali Khalili Araghi; Hamed Yaghoubi Shahir (ISI, 2010)

GENIUS: A computational modeling framework for counter-terrorism planning and response. - Herbert H. Tsang; Andrew J. Park; Mengting Sun; Uwe Glässer (ISI, 2010)

Identity Management Architecture. - Uwe Glässer; Mona Vajihollahi (Security Informatics, 2010)

Locating Central Actors in Co-offending Networks. - Mohammad A. Tayebi; Laurens Bakker; Uwe Glässer; Vahid Dabbaghian (ASONAM, 2011)

Organized Crime Structures in Co-offending Networks. - Mohammad A. Tayebi; Uwe Glässer (DASC, 2011)

Engineering Situation Analysis Decision Support Systems. - Roozbeh Farahbod; Vladimir Avram; Uwe Glässer; Adel Guitouni (EISIC, 2011)

A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems. - Roozbeh Farahbod; Vladimir Avram; Uwe Glässer; Adel Guitouni (ICFEM, 2011)

An extensible decision engine for Marine Safety and Security. - Piper J. Jackson; Uwe Glässer; Hamed Yaghoubi Shahir; Hans Wehn (ISI, 2011)

Test-case generation for marine safety and security scenarios. - Hamed Yaghoubi Shahir; Uwe Glässer; Piper J. Jackson; Hans Wehn (ISI, 2011)

CrimeWalker: a recommendation model for suspect investigation. - Mohammad A. Tayebi; Mohsen Jamali; Martin Ester; Uwe Glässer; Richard Frank (RecSys, 2011)

The CoreASM modeling framework. - Roozbeh Farahbod; Uwe Glässer (Softw. Pract. Exp., 2011)

Co-offending Network Mining. - Patricia L. Brantingham; Martin Ester; Richard Frank; Uwe Glässer; Mohammad A. Tayebi (Counterterrorism and Open Source Intelligence, 2011)

Refactoring Abstract State Machine Models. - Hamed Yaghoubi Shahir; Roozbeh Farahbod; Uwe Glässer (ABZ, 2012)

Investigating Organized Crime Groups: A Social Network Analysis Perspective. - Mohammad A. Tayebi; Uwe Glässer (ASONAM, 2012)

Understanding the link between social and spatial distance in the crime world. - Mohammad A. Tayebi; Richard Frank; Uwe Glässer (SIGSPATIAL/GIS, 2012)

Intelligent decision support for emergency responses. - Ali Khalili Araghi; Uwe Glässer; Hamed Yaghoubi Shahir; Brian D. Fisher; Piper J. Jackson (ISCRAM, 2012)

Anomaly detection in spatiotemporal data in the maritime domain. - Vladimir Avram; Uwe Glässer; Hamed Yaghoubi Shahir (ISI, 2012)

An agent-based model and computational framework for counter-terrorism and public safety based on swarm intelligence. - Andrew J. Park; Herbert H. Tsang; Mengting Sun; Uwe Glässer (Secur. Informatics, 2012)

Generating test cases for marine safety and security scenarios: a composition framework. - Hamed Yaghoubi Shahir; Uwe Glässer; Roozbeh Farahbod; Piper J. Jackson; Hans Wehn (Secur. Informatics, 2012)

Maritime situation analysis. - Hamed Yaghoubi Shahir; Uwe Glässer; Narek Nalbandyan; Hans Wehn (ISI, 2013)

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). - Uwe Glässer; Stefan Hallerstede; Michael Leuschel; Elvinia Riccobene (Dagstuhl Reports, 2013)

Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. - Marc Frappier; Uwe Glässer; Sarfraz Khurshid; Régine Laleau; Steve Reeves (Sci. Comput. Program., 2013)

Distributed Situation Analysis - A Formal Semantic Framework. - Narek Nalbandyan; Uwe Glässer; Hamed Yaghoubi Shahir; Hans Wehn (ABZ, 2014)

CRIMETRACER: Activity space based crime location prediction. - Mohammad A. Tayebi; Martin Ester; Uwe Glässer; Patricia L. Brantingham (ASONAM, 2014)

Maritime Situation Analysis: A Multi-vessel Interaction and Anomaly Detection Framework. - Hamed Yaghoubi Shahir; Uwe Glässer; Narek Nalbandyan; Hans Wehn (JISIC, 2014)

Spatially embedded co-offence prediction using supervised learning. - Mohammad A. Tayebi; Martin Ester; Uwe Glässer; Patricia L. Brantingham (KDD, 2014)

Executable formal specifications of complex distributed systems with CoreASM. - Roozbeh Farahbod; Vincenzo Gervasi; Uwe Glässer (Sci. Comput. Program., 2014)

Contextual verification for false alarm reduction in maritime anomaly detection. - Aungon Nag Radon; Ke Wang; Uwe Glässer; Hans Wehn; Andrew Westwell-Roper (IEEE BigData, 2015)

Maritime situation analysis framework: Vessel interaction classification and anomaly detection. - Hamed Yaghoubi Shahir; Uwe Glässer; Amir Yaghoubi Shahir; Hans Wehn (IEEE BigData, 2015)

Learning where to inspect: Location learning for crime prediction. - Mohammad A. Tayebi; Uwe Glässer; Patricia L. Brantingham (ISI, 2015)

An Analytic Framework for Maritime Situation Analysis. - Hamed Yaghoubi Shahir; Uwe Glässer; Amir Yaghoubi Shahir; Hans Wehn (CoRR, 2015)

Hidden Markov based anomaly detection for water supply systems. - Zahra Zohrevand; Uwe Glässer; Hamed Yaghoubi Shahir; Mohammad A. Tayebi; Robert Costanzo (IEEE BigData, 2016)

Formal engineering frameworks in maritime domain awareness. - Amir Yaghoubi Shahir; Uwe Glässer; Hamed Yaghoubi Shahir; Mohammad A. Tayebi; Hans Wehn (MEMOCODE, 2016)

Social Network Analysis in Predictive Policing - Concepts, Models and Methods - Mohammad A. Tayebi; Uwe Glässer (Springer, 2016)

Deep Learning Based Forecasting of Critical Infrastructure Data. - Zahra Zohrevand; Uwe Glässer; Mohammad A. Tayebi; Hamed Yaghoubi Shahir; Mehdi Shirmaleki; Amir Yaghoubi Shahir (CIKM, 2017)

SINAS: Suspect Investigation Using Offenders' Activity Space. - Mohammad A. Tayebi; Uwe Glässer; Patricia L. Brantingham; Hamed Yaghoubi Shahir (ECML/PKDD (3), 2017)

Spatial Patterns of Offender Groups. - Mohammad A. Tayebi; Hamed Yaghoubi Shahir; Uwe Glässer; Patricia L. Brantingham (ISI, 2018)

Mining Vessel Trajectories for Illegal Fishing Detection. - Amir Yaghoubi Shahir; Mohammad A. Tayebi; Uwe Glässer; Tilemachos Charalampous; Zahra Zohrevand; Hans Wehn (IEEE BigData, 2019)

Should I Raise The Red Flag? A comprehensive survey of anomaly scoring methods toward mitigating false alarms. - Zahra Zohrevand; Uwe Glässer (CoRR, 2019)

Fishing Vessels Activity Detection from Longitudinal AIS Data. - Saeed Arasteh; Mohammad A. Tayebi; Zahra Zohrevand; Uwe Glässer; Amir Yaghoubi Shahir; Parvaneh Saeedi; Hans Wehn (SIGSPATIAL/GIS, 2020)

Dynamic Attack Scoring Using Distributed Local Detectors. - Zahra Zohrevand; Uwe Glässer (ICASSP, 2020)

TripTracker: Unsupervised Learning of Fishing Vessel Routine Activity Patterns. - Amir Yaghoubi Shahir; Tilemachos Charalampous; Mohammad A. Tayebi; Uwe Glässer; Hans Wehn (IEEE BigData, 2021)

Norma: A Hybrid Feature Alignment for Class-Aware Unsupervised Domain Adaptation. - Mahsa Keramati; Zahra Zohrevand; Uwe Glässer (CIKM, 2021)

Cubism: Co-balanced Mixup for Unsupervised Volcano-Seismic Knowledge Transfer. - Mahsa Keramati; Mohammad A. Tayebi; Zahra Zohrevand; Uwe Glässer; Juan Anzieta; Glyn Williams-Jones (ECML/PKDD (5), 2022)

GIST: Gear Type Identification by Spatiotemporal Trajectory Transformation for Monitoring Fisheries. - Amir Yaghoubi Shahir; Tilemachos Charalampous; Mahsa Keramati; Fatemeh Movafagh; Uwe Glässer; Hans Wehn (AAAI, 2025)