Uwe Glässer

2008
41	EE	Roozbeh Farahbod, Uwe Glässer: Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. ABZ 2008: 343
40	EE	Uwe Glässer, Mona Vajihollahi: Computational Modeling of Criminal Activity. EuroISI 2008: 39-50
39	EE	Uwe Glässer, Mona Vajihollahi: Identity management architecture. ISI 2008: 137-144
38	EE	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	EE	Uwe Glässer, Sarah Rastkar, Mona Vajihollahi: Modeling and Validation of Aviation Security. Intelligence and Security Informatics 2008: 337-355
2007
36	EE	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	EE	Jean-Raymond Abrial, Uwe Glässer: 06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
34	EE	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	EE	Uwe Glässer, Sarah Rastkar, Mona Vajihollahi: Computational Modeling and Experimental Validation of Aviation Security Procedures. ISI 2006: 420-431
2005
31	EE	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	EE	Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Abstract State Machines 2005: 153-166
29	EE	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	EE	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	EE	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	EE	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	EE	Uwe Glässer, Yuri Gurevich, Margus Veanes: Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. 30(7): 458-472 (2004)
2003
22	EE	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	EE	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	EE	Uwe Glässer, Yuri Gurevich, Margus Veanes: High-Level Executable Specification of the Universal Plug and Play Architecture. HICSS 2002: 283
2001
18	EE	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	EE	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	EE	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	EE	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	EE	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	Vincenzo Gervasi	[30] [34]
16	Reinhard Gotzhein	[14] [16] [18] [21]
17	Qian-Ping Gu	[26]
18	Yuri Gurevich	[19] [23]
19	G. Hannesen	[5]
20	Wolfram Hardt	[13]
21	P. J. Jackson	[38]
22	M. Kärcher	[4] [5]
23	Rene Karges	[10]
24	B. Kinney	[31]
25	Bernd Kleinjohann	[13]
26	Georg Lehrenfeld	[4] [5] [13]
27	Martin von Löwis	[18]
28	Tamás Lukovszki	[22]
29	Wolfgang Müller	[7]
30	Andreas Prinz	[14] [16] [18] [21] [28]
31	Franz-Josef Rammig (Franz J. Rammig)	[1] [13]
32	Sarah Rastkar	[32] [37]
33	Elvinia Riccobene	[8]
34	Carsten Rust	[13]
35	Peter H. Schmitt	[12]
36	K. Singh	[31]
37	Friedhelm Stappert	[13]
38	Joachim Stroop	[13]
39	Jürgen Tacken	[13]
40	Mona Vajihollahi	[24] [25] [27] [29] [31] [32] [37] [38] [39] [40]
41	Margus Veanes	[19] [20] [23]

Colors in the list of coauthors