Uwe Glässer Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc 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 Springer 2010
2008
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoozbeh Farahbod, Uwe Glässer: Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. ABZ 2008: 343
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Mona Vajihollahi: Computational Modeling of Criminal Activity. EuroISI 2008: 39-50
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Mona Vajihollahi: Identity management architecture. ISI 2008: 137-144
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoozbeh Farahbod, Uwe Glässer, P. J. Jackson, Mona Vajihollahi: High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. ISoLA 2008: 797-814
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Sarah Rastkar, Mona Vajihollahi: Modeling and Validation of Aviation Security. Intelligence and Security Informatics 2008: 337-355
2007
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Uwe Glässer: 06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Uwe Glässer: 06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Fundam. Inform. 77(1-2): 71-103 (2007)
2006
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Uwe Glässer: Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Sarah Rastkar, Mona Vajihollahi: Computational Modeling and Experimental Validation of Aviation Security Procedures. ISI 2006: 420-431
2005
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. L. Brantingham, Uwe Glässer, B. Kinney, K. Singh, Mona Vajihollahi: Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. Abstract State Machines 2005: 101-118
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Abstract State Machines 2005: 153-166
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoozbeh Farahbod, Uwe Glässer, Mona Vajihollahi: An Abstract Machine Architecture for Web Service Based Business Process Management. Business Process Management Workshops 2005: 144-157
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Andreas Prinz: ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. SDL Forum 2005: 162-173
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoozbeh Farahbod, Uwe Glässer, Mona Vajihollahi: A Formal Semantics for the Business Process Execution Language for Web Services. WSMDEIS 2005: 122-133
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe 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)
2004
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoozbeh Farahbod, Uwe Glässer, Mona Vajihollahi: Specification and Validation of the Business Process Execution Language for Web Services. Abstract State Machines 2004: 78-94
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Mona Vajihollahi: Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. DIPES 2004: 297-306
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Yuri Gurevich, Margus Veanes: Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. 30(7): 458-472 (2004)
2003
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrá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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Reinhard Gotzhein, Andreas Prinz: The formal semantics of SDL-2000: Status and perspectives. Computer Networks 42(3): 343-358 (2003)
2002
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Margus Veanes: Universal Plug and Play Machine Models. DIPES 2002: 21-30
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Yuri Gurevich, Margus Veanes: High-Level Executable Specification of the Universal Plug and Play Architecture. HICSS 2002: 283
2001
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEgon Börger, Uwe Glässer: Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. J. UCS 7(11): 914-916 (2001)
2000
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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
1999
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Del Castillo, Uwe Glässer: Computer-Aided Analysis and Validation of Heterogeneous System Specifications. EUROCAST 1999: 55-79
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Reinhard Gotzhein, Andreas Prinz: Towards a new formal SDL semantics - outline of an abstract state machines. SDL Forum 1999: 171-192
1998
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfram 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Peter H. Schmitt: Workshop: Abstract State Machines. GI Jahrestagung 1998: 381-382
1997
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer: Modelling of Concurrent and Embedded Systems. EUROCAST 1997: 108-122
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Rene Karges: Abstract State Machine Semantics of SDL. J. UCS 3(12): 1382-1414 (1997)
1995
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Del Castillo, Igor Durdanovic, Uwe Glässer: An Evolving Algebra Abstract Machine. CSL 1995: 191-214
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Müller, Egon Börger, Uwe Glässer: The semantics of behavioral VHDL '93 descriptions. EURO-DAC 1994: 500-505
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEgon Börger, Uwe Glässer: A Formal Specification of the PVM Architecture. IFIP Congress (1) 1994: 402-409
1991
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, G. Hannesen, M. Kärcher, Georg Lehrenfeld: A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments. ACPC 1991: 277-288
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, M. Kärcher, Georg Lehrenfeld: Dynamische Partitionierung Asynchroner Prozeßnetzwerke am Beispiel Paralleler Logischer Programmierung. Transputer-Anwender-Treffen 1991: 33-40
1989
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer: Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe. Fehlertolerierende Rechensysteme 1989: 334-342
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer: Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern. Transputer-Anwender-Treffen 1989: 34-42
1987
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig: Knowledge Based Tools for Testability Checking. Fehlertolerierende Rechensysteme 1987: 119-128

Coauthor Index

1Jean-Raymond Abrial [33] [35] [36]
2Peter Altenbernd [13]
3Christoph Beierle [8]
4András A. Benczúr [22]
5Mehrdad Bidjan-Irani [1]
6Carsten Böke [13]
7Egon Börger [6] [7] [8] [17]
8P. L. Brantingham [31]
9Giuseppe Del Castillo [9] [13] [15]
10C. Ditze [13]
11Igor Durdanovic [8] [9]
12Edwin Erpenbach [13]
13Robert Eschbach [16] [18]
14Roozbeh Farahbod [25] [27] [29] [30] [34] [38] [41]
15Marc Frappier [42]
16Vincenzo Gervasi [30] [34]
17Reinhard Gotzhein [14] [16] [18] [21]
18Qian-Ping Gu [26]
19Yuri Gurevich [19] [23]
20G. Hannesen [5]
21Wolfram Hardt [13]
22P. J. Jackson [38]
23M. Kärcher [4] [5]
24Rene Karges [10]
25Sarfraz Khurshid [42]
26B. Kinney [31]
27Bernd Kleinjohann [13]
28Régine Laleau (Regine Laleau) [42]
29Georg Lehrenfeld [4] [5] [13]
30Martin von Löwis [18]
31Tamás Lukovszki [22]
32Wolfgang Müller [7]
33Andreas Prinz [14] [16] [18] [21] [28]
34Franz-Josef Rammig (Franz J. Rammig) [1] [13]
35Sarah Rastkar [32] [37]
36Steve Reeves [42]
37Elvinia Riccobene [8]
38Carsten Rust [13]
39Peter H. Schmitt [12]
40K. Singh [31]
41Friedhelm Stappert [13]
42Joachim Stroop [13]
43Jürgen Tacken [13]
44Mona Vajihollahi [24] [25] [27] [29] [31] [32] [37] [38] [39] [40]
45Margus Veanes [19] [20] [23]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)