Uwe Glässer

Publication Activity (10 Years)

Years Active: 1987-2022
Publications (10 Years): 12

Top Venues

IEEE BigData

ISI

CoRR

Sci. Comput. Program.

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

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)
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)
Mahsa Keramati, Zahra Zohrevand, Uwe Glässer
Norma: A Hybrid Feature Alignment for Class-Aware Unsupervised Domain Adaptation. CIKM (2021)
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)
Zahra Zohrevand, Uwe Glässer
Dynamic Attack Scoring Using Distributed Local Detectors. ICASSP (2020)
Zahra Zohrevand, Uwe Glässer
Should I Raise The Red Flag? A comprehensive survey of anomaly scoring methods toward mitigating false alarms. CoRR (2019)
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)
Mohammad A. Tayebi, Hamed Yaghoubi Shahir, Uwe Glässer, Patricia L. Brantingham
Spatial Patterns of Offender Groups. ISI (2018)
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)
Mohammad A. Tayebi, Uwe Glässer, Patricia L. Brantingham, Hamed Yaghoubi Shahir
SINAS: Suspect Investigation Using Offenders' Activity Space. ECML/PKDD (3) (2017)
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)
Amir Yaghoubi Shahir, Uwe Glässer, Hamed Yaghoubi Shahir, Mohammad A. Tayebi, Hans Wehn
Formal engineering frameworks in maritime domain awareness. MEMOCODE (2016)
Hamed Yaghoubi Shahir, Uwe Glässer, Amir Yaghoubi Shahir, Hans Wehn
An Analytic Framework for Maritime Situation Analysis. CoRR (2015)
Hamed Yaghoubi Shahir, Uwe Glässer, Amir Yaghoubi Shahir, Hans Wehn
Maritime situation analysis framework: Vessel interaction classification and anomaly detection. IEEE BigData (2015)
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)
Mohammad A. Tayebi, Uwe Glässer, Patricia L. Brantingham
Learning where to inspect: Location learning for crime prediction. ISI (2015)
Mohammad A. Tayebi, Martin Ester, Uwe Glässer, Patricia L. Brantingham
Spatially embedded co-offence prediction using supervised learning. KDD (2014)
Mohammad A. Tayebi, Martin Ester, Uwe Glässer, Patricia L. Brantingham
CRIMETRACER: Activity space based crime location prediction. ASONAM (2014)
Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn
Distributed Situation Analysis - A Formal Semantic Framework. ABZ (2014)
Hamed Yaghoubi Shahir, Uwe Glässer, Narek Nalbandyan, Hans Wehn
Maritime Situation Analysis: A Multi-vessel Interaction and Anomaly Detection Framework. JISIC (2014)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
Executable formal specifications of complex distributed systems with CoreASM. Sci. Comput. Program. 79 (2014)
Hamed Yaghoubi Shahir, Uwe Glässer, Narek Nalbandyan, Hans Wehn
Maritime situation analysis. ISI (2013)
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) (2013)
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) (2013)
Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer
Refactoring Abstract State Machine Models. ABZ (2012)
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) (2012)
Ali Khalili Araghi, Uwe Glässer, Hamed Yaghoubi Shahir, Brian D. Fisher, Piper J. Jackson
Intelligent decision support for emergency responses. ISCRAM (2012)
Mohammad A. Tayebi, Uwe Glässer
Investigating Organized Crime Groups: A Social Network Analysis Perspective. ASONAM (2012)
Mohammad A. Tayebi, Richard Frank, Uwe Glässer
Understanding the link between social and spatial distance in the crime world. SIGSPATIAL/GIS (2012)
Vladimir Avram, Uwe Glässer, Hamed Yaghoubi Shahir
Anomaly detection in spatiotemporal data in the maritime domain. ISI (2012)
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) (2012)
Piper J. Jackson, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn
An extensible decision engine for Marine Safety and Security. ISI (2011)
Mohammad A. Tayebi, Laurens Bakker, Uwe Glässer, Vahid Dabbaghian
Locating Central Actors in Co-offending Networks. ASONAM (2011)
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)
Mohammad A. Tayebi, Uwe Glässer
Organized Crime Structures in Co-offending Networks. DASC (2011)
Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni
Engineering Situation Analysis Decision Support Systems. EISIC (2011)
Roozbeh Farahbod, Uwe Glässer
The CoreASM modeling framework. Softw. Pract. Exp. 41 (2) (2011)
Hamed Yaghoubi Shahir, Uwe Glässer, Piper J. Jackson, Hans Wehn
Test-case generation for marine safety and security scenarios. ISI (2011)
Mohammad A. Tayebi, Mohsen Jamali, Martin Ester, Uwe Glässer, Richard Frank
CrimeWalker: a recommendation model for suspect investigation. RecSys (2011)
Uwe Glässer, Piper J. Jackson, Ali Khalili Araghi, Hamed Yaghoubi Shahir
Intelligent decision support for Marine safety and Security Operations. ISI (2010)
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)
Herbert H. Tsang, Andrew J. Park, Mengting Sun, Uwe Glässer
GENIUS: A computational modeling framework for counter-terrorism planning and response. ISI (2010)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma
CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis (2009)
Roozbeh Farahbod, Uwe Glässer
Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. ABZ (2008)
Uwe Glässer, Mona Vajihollahi
Identity management architecture. ISI (2008)
Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi
High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. ISoLA (2008)
Roozbeh Farahbod, Uwe Glässer, Éloi Bossé, Adel Guitouni
Integrating Abstract State Machines and Interpreted Systems for Situation Analysis decision support design. FUSION (2008)
Uwe Glässer, Mona Vajihollahi
Computational Modeling of Criminal Activity. EuroISI (2008)
Jean-Raymond Abrial, Uwe Glässer
06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis (2007)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
CoreASM: An Extensible ASM Execution Engine. Fundam. Informaticae 77 (1-2) (2007)
Jean-Raymond Abrial, Uwe Glässer
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis (2007)
Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
Computational Modeling and Experimental Validation of Aviation Security Procedures. ISI (2006)
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) (2006)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
CoreASM: An Extensible ASM Execution Engine. Abstract State Machines (2005)
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)
Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
An Abstract Machine Architecture for Web Service Based Business Process Management. Business Process Management Workshops (2005)
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)
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) (2005)
Uwe Glässer, Andreas Prinz
ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. SDL Forum (2005)
Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
A Formal Semantics for the Business Process Execution Language for Web Services. WSMDEIS (2005)
Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
Specification and Validation of the Business Process Execution Language for Web Services. Abstract State Machines (2004)
Uwe Glässer, Yuri Gurevich, Margus Veanes
Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. 30 (7) (2004)
Uwe Glässer, Mona Vajihollahi
Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. DIPES (2004)
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)
Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
The formal semantics of SDL-2000: Status and perspectives. Comput. Networks 42 (3) (2003)
Uwe Glässer, Margus Veanes
Universal Plug and Play Machine Models. DIPES (2002)
Uwe Glässer, Yuri Gurevich, Margus Veanes
High-Level Executable Specification of the Universal Plug and Play Architecture. HICSS (2002)
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) (2001)
Egon Börger, Uwe Glässer
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. J. Univers. Comput. Sci. 7 (11) (2001)
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)
Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
Towards a new formal SDL semantics - outline of an abstract state machines. SDL Forum (1999)
Giuseppe Del Castillo, Uwe Glässer
Computer-Aided Analysis and Validation of Heterogeneous System Specifications. EUROCAST (1999)
Uwe Glässer, Peter H. Schmitt
Workshop: Abstract State Machines. GI Jahrestagung (1998)
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)
Uwe Glässer
Modelling of Concurrent and Embedded Systems. EUROCAST (1997)
Uwe Glässer, Rene Karges
Abstract State Machine Semantics of SDL. J. Univers. Comput. Sci. 3 (12) (1997)
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)
Giuseppe Del Castillo, Igor Durdanovic, Uwe Glässer
An Evolving Algebra Abstract Machine. CSL (1995)
Wolfgang Müller, Egon Börger, Uwe Glässer
The semantics of behavioral VHDL '93 descriptions. EURO-DAC (1994)
Egon Börger, Uwe Glässer
A Formal Specification of the PVM Architecture. IFIP Congress (1) (1994)
Uwe Glässer, M. Kärcher, Georg Lehrenfeld
Dynamische Partitionierung Asynchroner Prozeßnetzwerke am Beispiel Paralleler Logischer Programmierung. Transputer-Anwender-Treffen (1991)
Uwe Glässer, G. Hannesen, M. Kärcher, Georg Lehrenfeld
A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments. ACPC (1991)
Uwe Glässer
Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern. Transputer-Anwender-Treffen (1989)
Uwe Glässer
Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe. Fehlertolerierende Rechensysteme (1989)
Mehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig
Knowledge Based Tools for Testability Checking. Fehlertolerierende Rechensysteme (1987)

Uwe Glässer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Uwe Glässer