Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Uwe Glässer
2010 – today
- 2013
[j9]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)- [c50]Hamed Yaghoubi Shahir, Uwe Glässer, Narek Nalbandyan, Hans Wehn: Maritime situation analysis. ISI 2013: 230-232
- 2012
- [c49]Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer: Refactoring Abstract State Machine Models. ABZ 2012: 345-348
- [c48]Mohammad A. Tayebi, Uwe Glässer: Investigating Organized Crime Groups: A Social Network Analysis Perspective. ASONAM 2012: 565-572
- [c47]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
- [c46]Vladimir Avram, Uwe Glässer, Hamed Yaghoubi Shahir: Anomaly detection in spatiotemporal data in the maritime domain. ISI 2012: 147-149
- 2011
- [j8]Roozbeh Farahbod, Uwe Glässer: The CoreASM modeling framework. Softw., Pract. Exper. 41(2): 167-178 (2011)
- [c45]Mohammad A. Tayebi, Laurens Bakker, Uwe Glässer, Vahid Dabbaghian: Locating Central Actors in Co-offending Networks. ASONAM 2011: 171-179
- [c44]Mohammad A. Tayebi, Uwe Glässer: Organized Crime Structures in Co-offending Networks. DASC 2011: 846-853
- [c43]Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni: Engineering Situation Analysis Decision Support Systems. EISIC 2011: 10-18
- [c42]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
- [c41]Hamed Yaghoubi Shahir, Uwe Glässer, Piper J. Jackson, Hans Wehn: Test-case generation for marine safety and security scenarios. ISI 2011: 48-53
- [c40]Piper J. Jackson, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn: An extensible decision engine for Marine Safety and Security. ISI 2011: 54-59
- [c39]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
- [c38]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
- [c37]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
- [c36]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]
- [e4]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Eds.): 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
- [e3]Christopher C. Yang, Daniel Zeng, Ke Wang, Antonio Sanfilippo, Herbert H. Tsang, Min-Yuh Day, Uwe Glässer, Patricia L. Brantingham, Hsinchun Chen (Eds.): 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
2000 – 2009
- 2009
- [c35]Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma: CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis 2009: 147-169
- [e2]Jean-Raymond Abrial, Uwe Glässer (Eds.): 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
- 2008
- [c34]Roozbeh Farahbod, Uwe Glässer: Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. ABZ 2008: 343
- [c33]
- [c32]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
- [c31]
- [c30]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
- [j7]Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Fundam. Inform. 77(1-2): 71-103 (2007)
- [c29]Jean-Raymond Abrial, Uwe Glässer: 06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
- [c28]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
- [c27]Uwe Glässer, Sarah Rastkar, Mona Vajihollahi: Computational Modeling and Experimental Validation of Aviation Security Procedures. ISI 2006: 420-431
- [e1]Jean-Raymond Abrial, Uwe Glässer (Eds.): 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
- 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. Computer 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]
- 2001
- [j3]Egon Börger, Uwe Glässer: Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. J. UCS 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. UCS 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]
- [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
- 1997
- [j1]
- [c10]
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:18 CEST by the dblp team