Uwe Glässer

	2010
42		Marc 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
41		Roozbeh Farahbod, Uwe Glässer: Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. ABZ 2008: 343
40		Uwe Glässer, Mona Vajihollahi: Computational Modeling of Criminal Activity. EuroISI 2008: 39-50
39		Uwe Glässer, Mona Vajihollahi: Identity management architecture. ISI 2008: 137-144
38		Roozbeh 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
37		Uwe Glässer, Sarah Rastkar, Mona Vajihollahi: Modeling and Validation of Aviation Security. Intelligence and Security Informatics 2008: 337-355
	2007
36		Jean-Raymond Abrial, Uwe Glässer: 06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
35		Jean-Raymond Abrial, Uwe Glässer: 06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
34		Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Fundam. Inform. 77(1-2): 71-103 (2007)
	2006
33		Jean-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
32		Uwe Glässer, Sarah Rastkar, Mona Vajihollahi: Computational Modeling and Experimental Validation of Aviation Security Procedures. ISI 2006: 420-431
	2005
31		P. 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
30		Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Abstract State Machines 2005: 153-166
29		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
28		Uwe Glässer, Andreas Prinz: ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. SDL Forum 2005: 162-173
27		Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi: A Formal Semantics for the Business Process Execution Language for Web Services. WSMDEIS 2005: 122-133
26		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)
	2004
25		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
24		Uwe Glässer, Mona Vajihollahi: Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. DIPES 2004: 297-306
23		Uwe Glässer, Yuri Gurevich, Margus Veanes: Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. 30(7): 458-472 (2004)
	2003
22		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
21		Uwe Glässer, Reinhard Gotzhein, Andreas Prinz: The formal semantics of SDL-2000: Status and perspectives. Computer Networks 42(3): 343-358 (2003)
	2002
20		Uwe Glässer, Margus Veanes: Universal Plug and Play Machine Models. DIPES 2002: 21-30
19		Uwe Glässer, Yuri Gurevich, Margus Veanes: High-Level Executable Specification of the Universal Plug and Play Architecture. HICSS 2002: 283
	2001
18		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)
17		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)
	2000
16		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
	1999
15		Giuseppe Del Castillo, Uwe Glässer: Computer-Aided Analysis and Validation of Heterogeneous System Specifications. EUROCAST 1999: 55-79
14		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
13		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
12		Uwe Glässer, Peter H. Schmitt: Workshop: Abstract State Machines. GI Jahrestagung 1998: 381-382
	1997
11		Uwe Glässer: Modelling of Concurrent and Embedded Systems. EUROCAST 1997: 108-122
10		Uwe Glässer, Rene Karges: Abstract State Machine Semantics of SDL. J. UCS 3(12): 1382-1414 (1997)
	1995
9		Giuseppe Del Castillo, Igor Durdanovic, Uwe Glässer: An Evolving Algebra Abstract Machine. CSL 1995: 191-214
8		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
7		Wolfgang Müller, Egon Börger, Uwe Glässer: The semantics of behavioral VHDL '93 descriptions. EURO-DAC 1994: 500-505
6		Egon Börger, Uwe Glässer: A Formal Specification of the PVM Architecture. IFIP Congress (1) 1994: 402-409
	1991
5		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
4		Uwe Glässer, M. Kärcher, Georg Lehrenfeld: Dynamische Partitionierung Asynchroner Prozeßnetzwerke am Beispiel Paralleler Logischer Programmierung. Transputer-Anwender-Treffen 1991: 33-40
	1989
3		Uwe Glässer: Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe. Fehlertolerierende Rechensysteme 1989: 334-342
2		Uwe Glässer: Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern. Transputer-Anwender-Treffen 1989: 34-42
	1987
1		Mehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig: Knowledge Based Tools for Testability Checking. Fehlertolerierende Rechensysteme 1987: 119-128

Coauthor Index

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

Colors in the list of coauthors