Uwe Glässer - RankMe

97 papers A* 2A 3B 5C 20Misc 1Journal 16Unranked 41

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	GIST: Gear Type Identification by Spatiotemporal Trajectory Transformation for Monitoring Fisheries. AAAI Amir Yaghoubi Shahir, Tilemachos Charalampous, Mahsa Keramati, Fatemeh Movafagh, Uwe Glässer, Hans Wehn
2023	C	`ed.`	Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings ABZ Uwe Glässer, José Creissac Campos, Dominique Méry, Philippe A. Palanque
2022	—	`conf`	Cubism: Co-balanced Mixup for Unsupervised Volcano-Seismic Knowledge Transfer. ECML/PKDD (5) Mahsa Keramati, Mohammad A. Tayebi, Zahra Zohrevand, Uwe Glässer, Juan Anzieta, Glyn Williams-Jones
2021	A	`conf`	Norma: A Hybrid Feature Alignment for Class-Aware Unsupervised Domain Adaptation. CIKM Mahsa Keramati, Zahra Zohrevand, Uwe Glässer
2021	—	`conf`	TripTracker: Unsupervised Learning of Fishing Vessel Routine Activity Patterns. IEEE BigData Amir Yaghoubi Shahir, Tilemachos Charalampous, Mohammad A. Tayebi, Uwe Glässer, Hans Wehn
2020	Misc	`conf`	Dynamic Attack Scoring Using Distributed Local Detectors. ICASSP Zahra Zohrevand, Uwe Glässer
2020	—	`conf`	Fishing Vessels Activity Detection from Longitudinal AIS Data. SIGSPATIAL/GIS Saeed Arasteh, Mohammad A. Tayebi, Zahra Zohrevand, Uwe Glässer, Amir Yaghoubi Shahir, Parvaneh Saeedi, Hans Wehn
2019	—	`conf`	Mining Vessel Trajectories for Illegal Fishing Detection. IEEE BigData Amir Yaghoubi Shahir, Mohammad A. Tayebi, Uwe Glässer, Tilemachos Charalampous, Zahra Zohrevand, Hans Wehn
2019	J	`jnl`	Should I Raise The Red Flag? A comprehensive survey of anomaly scoring methods toward mitigating false alarms. CoRR Zahra Zohrevand, Uwe Glässer
2018	C	`conf`	Spatial Patterns of Offender Groups. ISI Mohammad A. Tayebi, Hamed Yaghoubi Shahir, Uwe Glässer, Patricia L. Brantingham
2017	A	`conf`	Deep Learning Based Forecasting of Critical Infrastructure Data. CIKM Zahra Zohrevand, Uwe Glässer, Mohammad A. Tayebi, Hamed Yaghoubi Shahir, Mehdi Shirmaleki, Amir Yaghoubi Shahir
2017	—	`conf`	SINAS: Suspect Investigation Using Offenders' Activity Space. ECML/PKDD (3) Mohammad A. Tayebi, Uwe Glässer, Patricia L. Brantingham, Hamed Yaghoubi Shahir
2016	C	`conf`	Formal engineering frameworks in maritime domain awareness. MEMOCODE Amir Yaghoubi Shahir, Uwe Glässer, Hamed Yaghoubi Shahir, Mohammad A. Tayebi, Hans Wehn
2016	—	`conf`	Hidden Markov based anomaly detection for water supply systems. IEEE BigData Zahra Zohrevand, Uwe Glässer, Hamed Yaghoubi Shahir, Mohammad A. Tayebi, Robert Costanzo
2016	—	`book`	Social Network Analysis in Predictive Policing - Concepts, Models and Methods Mohammad A. Tayebi, Uwe Glässer
2015	J	`jnl`	An Analytic Framework for Maritime Situation Analysis. CoRR Hamed Yaghoubi Shahir, Uwe Glässer, Amir Yaghoubi Shahir, Hans Wehn
2015	—	`conf`	Contextual verification for false alarm reduction in maritime anomaly detection. IEEE BigData Aungon Nag Radon, Ke Wang, Uwe Glässer, Hans Wehn, Andrew Westwell-Roper
2015	C	`conf`	Learning where to inspect: Location learning for crime prediction. ISI Mohammad A. Tayebi, Uwe Glässer, Patricia L. Brantingham
2015	—	`conf`	Maritime situation analysis framework: Vessel interaction classification and anomaly detection. IEEE BigData Hamed Yaghoubi Shahir, Uwe Glässer, Amir Yaghoubi Shahir, Hans Wehn
2014	B	`conf`	CRIMETRACER: Activity space based crime location prediction. ASONAM Mohammad A. Tayebi, Martin Ester, Uwe Glässer, Patricia L. Brantingham
2014	C	`conf`	Distributed Situation Analysis - A Formal Semantic Framework. ABZ Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn
2014	J	`jnl`	Executable formal specifications of complex distributed systems with CoreASM. Sci. Comput. Program. Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
2014	—	`conf`	Maritime Situation Analysis: A Multi-vessel Interaction and Anomaly Detection Framework. JISIC Hamed Yaghoubi Shahir, Uwe Glässer, Narek Nalbandyan, Hans Wehn
2014	A*	`conf`	Spatially embedded co-offence prediction using supervised learning. KDD Mohammad A. Tayebi, Martin Ester, Uwe Glässer, Patricia L. Brantingham
2013	J	`jnl`	Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
2013	J	`jnl`	Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). Dagstuhl Reports Uwe Glässer, Stefan Hallerstede, Michael Leuschel, Elvinia Riccobene
2013	C	`conf`	Maritime situation analysis. ISI Hamed Yaghoubi Shahir, Uwe Glässer, Narek Nalbandyan, Hans Wehn
2012	J	`jnl`	An agent-based model and computational framework for counter-terrorism and public safety based on swarm intelligence. Secur. Informatics Andrew J. Park, Herbert H. Tsang, Mengting Sun, Uwe Glässer
2012	C	`conf`	Anomaly detection in spatiotemporal data in the maritime domain. ISI Vladimir Avram, Uwe Glässer, Hamed Yaghoubi Shahir
2012	J	`jnl`	Generating test cases for marine safety and security scenarios: a composition framework. Secur. Informatics Hamed Yaghoubi Shahir, Uwe Glässer, Roozbeh Farahbod, Piper J. Jackson, Hans Wehn
2012	—	`conf`	Intelligent decision support for emergency responses. ISCRAM Ali Khalili Araghi, Uwe Glässer, Hamed Yaghoubi Shahir, Brian D. Fisher, Piper J. Jackson
2012	B	`conf`	Investigating Organized Crime Groups: A Social Network Analysis Perspective. ASONAM Mohammad A. Tayebi, Uwe Glässer
2012	C	`conf`	Refactoring Abstract State Machine Models. ABZ Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer
2012	—	`conf`	Understanding the link between social and spatial distance in the crime world. SIGSPATIAL/GIS Mohammad A. Tayebi, Richard Frank, Uwe Glässer
2011	C	`conf`	A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems. ICFEM Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni
2011	C	`conf`	An extensible decision engine for Marine Safety and Security. ISI Piper J. Jackson, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn
2011	—	`ch.`	Co-offending Network Mining. Counterterrorism and Open Source Intelligence Patricia L. Brantingham, Martin Ester, Richard Frank, Uwe Glässer, Mohammad A. Tayebi
2011	A	`conf`	CrimeWalker: a recommendation model for suspect investigation. RecSys Mohammad A. Tayebi, Mohsen Jamali, Martin Ester, Uwe Glässer, Richard Frank
2011	—	`conf`	Engineering Situation Analysis Decision Support Systems. EISIC Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni
2011	B	`conf`	Locating Central Actors in Co-offending Networks. ASONAM Mohammad A. Tayebi, Laurens Bakker, Uwe Glässer, Vahid Dabbaghian
2011	C	`conf`	Organized Crime Structures in Co-offending Networks. DASC Mohammad A. Tayebi, Uwe Glässer
2011	C	`conf`	Test-case generation for marine safety and security scenarios. ISI Hamed Yaghoubi Shahir, Uwe Glässer, Piper J. Jackson, Hans Wehn
2011	J	`jnl`	The CoreASM modeling framework. Softw. Pract. Exp. Roozbeh Farahbod, Uwe Glässer
2010	—	`conf`	A Collaborative Decision Support Model for Marine Safety and Security Operations. DIPES/BICC Uwe Glässer, Piper J. Jackson, Ali Khalili Araghi, Hans Wehn, Hamed Yaghoubi Shahir
2010	—	`ed.`	Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings ABZ Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
2010	C	`conf`	GENIUS: A computational modeling framework for counter-terrorism planning and response. ISI Herbert H. Tsang, Andrew J. Park, Mengting Sun, Uwe Glässer
2010	C	`ed.`	IEEE International Conference on Intelligence and Security Informatics, ISI 2010, Vancouver, BC, Canada, May 23-26, 2010, Proceedings ISI Christopher C. Yang, Daniel Zeng, Ke Wang, Antonio Sanfilippo, Herbert H. Tsang, Min-Yuh Day, Uwe Glässer, Patricia L. Brantingham, Hsinchun Chen
2010	—	`ch.`	Identity Management Architecture. Security Informatics Uwe Glässer, Mona Vajihollahi
2010	C	`conf`	Intelligent decision support for Marine safety and Security Operations. ISI Uwe Glässer, Piper J. Jackson, Ali Khalili Araghi, Hamed Yaghoubi Shahir
2009	—	`conf`	CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma
2009	—	`ed.`	Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday Rigorous Methods for Software Construction and Analysis Jean-Raymond Abrial, Uwe Glässer
2008	—	`conf`	Computational Modeling of Criminal Activity. EuroISI Uwe Glässer, Mona Vajihollahi
2008	C	`conf`	Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. ABZ Roozbeh Farahbod, Uwe Glässer
2008	C	`conf`	High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. ISoLA Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi
2008	C	`conf`	Identity management architecture. ISI Uwe Glässer, Mona Vajihollahi
2008	C	`conf`	Integrating Abstract State Machines and Interpreted Systems for Situation Analysis decision support design. FUSION Roozbeh Farahbod, Uwe Glässer, Éloi Bossé, Adel Guitouni
2008	—	`ch.`	Modeling and Validation of Aviation Security. Intelligence and Security Informatics Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
2007	—	`conf`	06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis Jean-Raymond Abrial, Uwe Glässer
2007	—	`conf`	06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis Jean-Raymond Abrial, Uwe Glässer
2007	J	`jnl`	CoreASM: An Extensible ASM Execution Engine. Fundam. Informaticae Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
2006	J	`jnl`	An abstract machine architecture for web service based business process management. Int. J. Bus. Process. Integr. Manag. Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
2006	C	`conf`	Computational Modeling and Experimental Validation of Aviation Security Procedures. ISI Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
2006	—	`ed.`	Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006 Rigorous Methods for Software Construction and Analysis Jean-Raymond Abrial, Uwe Glässer
2005	—	`conf`	A Formal Semantics for the Business Process Execution Language for Web Services. WSMDEIS Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
2005	B	`conf`	A computational model for simulating spatial aspects of crime in urban environments. SMC Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi
2005	—	`conf`	ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. SDL Forum Uwe Glässer, Andreas Prinz
2005	—	`conf`	An Abstract Machine Architecture for Web Service Based Business Process Management. Business Process Management Workshops Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
2005	—	`conf`	CoreASM: An Extensible ASM Execution Engine. Abstract State Machines Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
2005	J	`jnl`	Formal description and analysis of a distributed location service for mobile ad hoc networks. Theor. Comput. Sci. Uwe Glässer, Qian-Ping Gu
2005	—	`conf`	Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. Abstract State Machines Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi
2004	J	`jnl`	Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. Uwe Glässer, Yuri Gurevich, Margus Veanes
2004	—	`conf`	Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. DIPES Uwe Glässer, Mona Vajihollahi
2004	—	`conf`	Specification and Validation of the Business Process Execution Language for Web Services. Abstract State Machines Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
2003	—	`conf`	Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. Abstract State Machines András A. Benczúr, Uwe Glässer, Tamás Lukovszki
2003	J	`jnl`	The formal semantics of SDL-2000: Status and perspectives. Comput. Networks Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
2002	—	`conf`	High-Level Executable Specification of the Universal Plug and Play Architecture. HICSS Uwe Glässer, Yuri Gurevich, Margus Veanes
2002	—	`conf`	Universal Plug and Play Machine Models. DIPES Uwe Glässer, Margus Veanes
2001	J	`jnl`	Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. J. Univers. Comput. Sci. Egon Börger, Uwe Glässer
2001	J	`jnl`	Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. J. Univers. Comput. Sci. Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz
2000	—	`conf`	On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. Abstract State Machines Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
1999	—	`conf`	Computer-Aided Analysis and Validation of Heterogeneous System Specifications. EUROCAST Giuseppe Del Castillo, Uwe Glässer
1999	—	`conf`	Towards a new formal SDL semantics - outline of an abstract state machines. SDL Forum Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
1998	—	`ed.`	Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings Workshop on Abstract State Machines Uwe Glässer, Peter H. Schmitt
1998	—	`conf`	Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. DIPES 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
1998	—	`conf`	Workshop: Abstract State Machines. GI Jahrestagung Uwe Glässer, Peter H. Schmitt
1997	J	`jnl`	Abstract State Machine Semantics of SDL. J. Univers. Comput. Sci. Uwe Glässer, Rene Karges
1997	—	`conf`	Modelling of Concurrent and Embedded Systems. EUROCAST Uwe Glässer
1995	B	`conf`	An Evolving Algebra Abstract Machine. CSL Giuseppe Del Castillo, Igor Durdanovic, Uwe Glässer
1995	—	`conf`	Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Formal Methods for Industrial Applications Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene
1994	—	`conf`	A Formal Specification of the PVM Architecture. IFIP Congress (1) Egon Börger, Uwe Glässer
1994	—	`conf`	The semantics of behavioral VHDL '93 descriptions. EURO-DAC Wolfgang Müller, Egon Börger, Uwe Glässer
1993	—	`—`	A distributed implementation of flat concurrent prolog on message passing multiprocessor systems. Uwe Glässer
1991	—	`conf`	A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments. ACPC Uwe Glässer, G. Hannesen, M. Kärcher, Georg Lehrenfeld
1991	—	`conf`	Dynamische Partitionierung Asynchroner Prozeßnetzwerke am Beispiel Paralleler Logischer Programmierung. Transputer-Anwender-Treffen Uwe Glässer, M. Kärcher, Georg Lehrenfeld
1989	—	`conf`	Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe. Fehlertolerierende Rechensysteme Uwe Glässer
1989	—	`conf`	Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern. Transputer-Anwender-Treffen Uwe Glässer
1987	—	`conf`	Knowledge Based Tools for Testability Checking. Fehlertolerierende Rechensysteme Mehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig