| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roozbeh Farahbod, Uwe Glässer |
The CoreASM modeling framework.  |
Softw., Pract. Exper.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia L. Brantingham, Martin Ester, Richard Frank, Uwe Glässer, Mohammad A. Tayebi |
Co-offending Network Mining. |
Counterterrorism and Open Source Intelligence |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad A. Tayebi, Uwe Glässer |
Organized Crime Structures in Co-offending Networks. |
DASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad A. Tayebi, Mohsen Jamali, Martin Ester, Uwe Glässer, Richard Frank |
CrimeWalker: a recommendation model for suspect investigation. |
RecSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad A. Tayebi, Laurens Bakker, Uwe Glässer, Vahid Dabbaghian |
Locating Central Actors in Co-offending Networks. |
ASONAM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni |
Engineering Situation Analysis Decision Support Systems. |
EISIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer, Mona Vajihollahi |
Identity Management Architecture. |
Security Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert H. Tsang, Andrew J. Park, Mengting Sun, Uwe Glässer |
GENIUS: A computational modeling framework for counter-terrorism planning and response. |
ISI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ISI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer, Piper J. Jackson, Ali Khalili Araghi, Hamed Yaghoubi Shahir |
Intelligent decision support for Marine safety and Security Operations. |
ISI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ABZ |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma |
CoreASM Plug-In Architecture. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer, Sarah Rastkar, Mona Vajihollahi |
Modeling and Validation of Aviation Security. |
Intelligence and Security Informatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer, Mona Vajihollahi |
Identity management architecture. |
ISI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi |
High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer, Mona Vajihollahi |
Computational Modeling of Criminal Activity. |
EuroISI |
2008 |
DBLP DOI BibTeX RDF |
Computational Criminology, Modeling Social Systems, Discrete Event Simulation, Abstract State Machines |
| 1 | Roozbeh Farahbod, Uwe Glässer |
Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer |
CoreASM: An Extensible ASM Execution Engine. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jean-Raymond Abrial, Uwe Glässer |
06191 Summary -- Rigorous Methods for Software Construction and Analysis. |
Rigorous Methods for Software Construction and Analysis |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jean-Raymond Abrial, Uwe Glässer |
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. |
Rigorous Methods for Software Construction and Analysis |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jean-Raymond Abrial, Uwe Glässer (eds.) |
Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006 |
Rigorous Methods for Software Construction and Analysis |
2006 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer, Sarah Rastkar, Mona Vajihollahi |
Computational Modeling and Experimental Validation of Aviation Security Procedures. |
ISI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer, Qian-Ping Gu |
Formal description and analysis of a distributed location service for mobile ad hoc networks. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi |
A Formal Semantics for the Business Process Execution Language for Web Services. |
WSMDEIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi |
An Abstract Machine Architecture for Web Service Based Business Process Management. |
Business Process Management Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer |
CoreASM: An Extensible ASM Execution Engine. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer, Andreas Prinz |
ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer, Yuri Gurevich, Margus Veanes |
Abstract Communication Model for Distributed Systems. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer, Mona Vajihollahi |
Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. |
DIPES |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi |
Specification and Validation of the Business Process Execution Language for Web Services. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer, Reinhard Gotzhein, Andreas Prinz |
The formal semantics of SDL-2000: Status and perspectives. |
Computer Networks |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer, Yuri Gurevich, Margus Veanes |
High-Level Executable Specification of the Universal Plug and Play Architecture. (PDF / PS) |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
distributed protocol architectures, abstract state machines, executable specifications |
| 1 | Uwe Glässer, Margus Veanes |
Universal Plug and Play Machine Models. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2001 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Uwe Glässer |
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Del Castillo, Uwe Glässer |
Computer-Aided Analysis and Validation of Heterogeneous System Specifications. |
EUROCAST |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer, Reinhard Gotzhein, Andreas Prinz |
Towards a new formal SDL semantics - outline of an abstract state machines. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer, Peter H. Schmitt |
Workshop: Abstract State Machines. |
GI Jahrestagung |
1998 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer, Rene Karges |
Abstract State Machine Semantics of SDL. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer |
Modelling of Concurrent and Embedded Systems. |
EUROCAST |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Del Castillo, Igor Durdanovic, Uwe Glässer |
An Evolving Algebra Abstract Machine. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Müller 0003, Egon Börger, Uwe Glässer |
The semantics of behavioral VHDL '93 descriptions. |
EURO-DAC |
1994 |
DBLP DOI BibTeX RDF |
VHDL |
| 1 | Egon Börger, Uwe Glässer |
A Formal Specification of the PVM Architecture. |
IFIP Congress |
1994 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer, M. Kärcher, Georg Lehrenfeld |
Dynamische Partitionierung Asynchroner Prozeßnetzwerke am Beispiel Paralleler Logischer Programmierung. |
Transputer-Anwender-Treffen |
1991 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer, G. Hannesen, M. Kärcher, Georg Lehrenfeld |
A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments. |
ACPC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer |
Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern. |
Transputer-Anwender-Treffen |
1989 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer |
Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe. |
Fehlertolerierende Rechensysteme |
1989 |
DBLP BibTeX RDF |
|
| 1 | Mehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig |
Knowledge Based Tools for Testability Checking. |
Fehlertolerierende Rechensysteme |
1987 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")