Uwe Glässer

	2011
56		Mohammad A. Tayebi, Laurens Bakker, Uwe Glässer, Vahid Dabbaghian: Locating Central Actors in Co-offending Networks. ASONAM 2011: 171-179
55		Mohammad A. Tayebi, Uwe Glässer: Organized Crime Structures in Co-offending Networks. DASC 2011: 846-853
54		Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni: Engineering Situation Analysis Decision Support Systems. EISIC 2011: 10-18
53		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
52		Mohammad A. Tayebi, Mohsen Jamali, Martin Ester, Uwe Glässer, Richard Frank: CrimeWalker: a recommendation model for suspect investigation. RecSys 2011: 173-180
51		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
50		Roozbeh Farahbod, Uwe Glässer: The CoreASM modeling framework. Softw., Pract. Exper. 41(2): 167-178 (2011)
	2010
49		Christopher C. Yang, Daniel Zeng, Ke Wang, Antonio Sanfilippo, Herbert H. Tsang, Min-Yuh Day, Uwe Glässer, Patricia L. Brantingham, Hsinchun Chen: IEEE International Conference on Intelligence and Security Informatics, ISI 2010, Vancouver, BC, Canada, May 23-26, 2010, Proceedings IEEE 2010
48		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
47		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
46		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
45		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
44		Uwe Glässer, Mona Vajihollahi: Identity Management Architecture. Security Informatics 2010: 97-116
	2009
43		Jean-Raymond Abrial, Uwe Glässer: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday Springer 2009
42		Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma: CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis 2009: 147-169
	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, Piper 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		Patricia 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] [43]
2	Peter Altenbernd	[13]
3	Ali Khalili Araghi	[46] [47]
4	Vladimir Avram	[53] [54]
5	Laurens Bakker	[56]
6	Christoph Beierle	[8]
7	András A. Benczúr	[22]
8	Mehrdad Bidjan-Irani	[1]
9	Carsten Böke	[13]
10	Egon Börger	[6] [7] [8] [17]
11	Patricia L. Brantingham	[31] [49] [51]
12	Giuseppe Del Castillo	[9] [13] [15]
13	Hsinchun Chen	[49]
14	Vahid Dabbaghian	[56]
15	Min-Yuh Day	[49]
16	C. Ditze	[13]
17	Igor Durdanovic	[8] [9]
18	Edwin Erpenbach	[13]
19	Robert Eschbach	[16] [18]
20	Martin Ester	[51] [52]
21	Roozbeh Farahbod	[25] [27] [29] [30] [34] [38] [41] [42] [50] [53] [54]
22	Richard Frank	[51] [52]
23	Marc Frappier	[48]
24	Vincenzo Gervasi	[30] [34] [42]
25	Reinhard Gotzhein	[14] [16] [18] [21]
26	Qian-Ping Gu	[26]
27	Adel Guitouni	[53] [54]
28	Yuri Gurevich	[19] [23]
29	G. Hannesen	[5]
30	Wolfram Hardt	[13]
31	Piper J. Jackson	[38] [46] [47]
32	Mohsen Jamali	[52]
33	M. Kärcher	[4] [5]
34	Rene Karges	[10]
35	Sarfraz Khurshid	[48]
36	B. Kinney	[31]
37	Bernd Kleinjohann	[13]
38	Régine Laleau (Regine Laleau)	[48]
39	Georg Lehrenfeld	[4] [5] [13]
40	Martin von Löwis	[18]
41	Tamás Lukovszki	[22]
42	George Ma	[42]
43	Wolfgang Müller	[7]
44	Andrew J. Park	[45]
45	Andreas Prinz	[14] [16] [18] [21] [28]
46	Franz Josef Rammig (Franz-Josef Rammig, Franz J. Rammig)	[1] [13]
47	Sarah Rastkar	[32] [37]
48	Steve Reeves	[48]
49	Elvinia Riccobene	[8]
50	Carsten Rust	[13]
51	Antonio Sanfilippo	[49]
52	Peter H. Schmitt	[12]
53	Hamed Yaghoubi Shahir	[46] [47]
54	K. Singh	[31]
55	Friedhelm Stappert	[13]
56	Joachim Stroop	[13]
57	Mengting Sun	[45]
58	Jürgen Tacken	[13]
59	Mohammad A. Tayebi	[51] [52] [55] [56]
60	Herbert H. Tsang	[45] [49]
61	Mona Vajihollahi	[24] [25] [27] [29] [31] [32] [37] [38] [39] [40] [44]
62	Margus Veanes	[19] [20] [23]
63	Ke Wang	[49]
64	Hans Wehn	[47]
65	Christopher C. Yang	[49]
66	Daniel Dajun Zeng (Daniel Zeng)	[49]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page