The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Uwe Glässer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Uwe Glässer, G. Hannesen, M. Kärcher, Georg Lehrenfeld
    A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments. [Citation Graph (0, 0)][DBLP]
    ACPC, 1991, pp:277-288 [Conf]
  2. András A. Benczúr, Uwe Glässer, Tamás Lukovszki
    Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:204-217 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:242-265 [Conf]
  4. Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
    Specification and Validation of the Business Process Execution Language for Web Services. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:78-94 [Conf]
  5. Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
    An Abstract Machine Architecture for Web Service Based Business Process Management. [Citation Graph (0, 0)][DBLP]
    Business Process Management Workshops, 2005, pp:144-157 [Conf]
  6. Giuseppe Del Castillo, Igor Durdanovic, Uwe Glässer
    An Evolving Algebra Abstract Machine. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:191-214 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:52-78 [Conf]
  8. Giuseppe Del Castillo, Uwe Glässer
    Computer-Aided Analysis and Validation of Heterogeneous System Specifications. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1999, pp:55-79 [Conf]
  9. Uwe Glässer
    Modelling of Concurrent and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1997, pp:108-122 [Conf]
  10. Uwe Glässer, Peter H. Schmitt
    Workshop: Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1998, pp:381-382 [Conf]
  11. Uwe Glässer, Yuri Gurevich, Margus Veanes
    High-Level Executable Specification of the Universal Plug and Play Architecture. [Citation Graph (0, 0)][DBLP]
    HICSS, 2002, pp:283- [Conf]
  12. Mehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig
    Knowledge Based Tools for Testability Checking. [Citation Graph (0, 0)][DBLP]
    Fehlertolerierende Rechensysteme, 1987, pp:119-128 [Conf]
  13. Uwe Glässer
    Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe. [Citation Graph (0, 0)][DBLP]
    Fehlertolerierende Rechensysteme, 1989, pp:334-342 [Conf]
  14. Egon Börger, Uwe Glässer
    A Formal Specification of the PVM Architecture. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:402-409 [Conf]
  15. Wolfram Hardt, Peter Altenbernd, Carsten Böke, Giuseppe Del Castillo, C. Ditze, E. 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. [Citation Graph (0, 0)][DBLP]
    DIPES, 1998, pp:181-190 [Conf]
  16. Uwe Glässer, Margus Veanes
    Universal Plug and Play Machine Models. [Citation Graph (0, 0)][DBLP]
    DIPES, 2002, pp:21-30 [Conf]
  17. Uwe Glässer, Mona Vajihollahi
    Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    DIPES, 2004, pp:297-306 [Conf]
  18. Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
    Computational Modeling and Experimental Validation of Aviation Security Procedures. [Citation Graph (0, 0)][DBLP]
    ISI, 2006, pp:420-431 [Conf]
  19. Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
    Towards a new formal SDL semantics - outline of an abstract state machines. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:171-192 [Conf]
  20. Uwe Glässer, Andreas Prinz
    ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2005, pp:162-173 [Conf]
  21. Uwe Glässer
    Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern. [Citation Graph (0, 0)][DBLP]
    Transputer-Anwender-Treffen, 1989, pp:34-42 [Conf]
  22. Uwe Glässer, M. Kärcher, Georg Lehrenfeld
    Dynamische Partitionierung Asynchroner Prozeßnetzwerke am Beispiel Paralleler Logischer Programmierung. [Citation Graph (0, 0)][DBLP]
    Transputer-Anwender-Treffen, 1991, pp:33-40 [Conf]
  23. Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
    A Formal Semantics for the Business Process Execution Language for Web Services. [Citation Graph (0, 0)][DBLP]
    WSMDEIS, 2005, pp:122-133 [Conf]
  24. Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
    The formal semantics of SDL-2000: Status and perspectives. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2003, v:42, n:3, pp:343-358 [Journal]
  25. Egon Börger, Uwe Glässer
    Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:11, pp:914-916 [Journal]
  26. 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. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:11, pp:1024-1049 [Journal]
  27. Uwe Glässer, Rene Karges
    Abstract State Machine Semantics of SDL. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:12, pp:1382-1414 [Journal]
  28. Uwe Glässer, Qian-Ping Gu
    Formal description and analysis of a distributed location service for mobile ad hoc networks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:285-309 [Journal]
  29. Uwe Glässer, Yuri Gurevich, Margus Veanes
    Abstract Communication Model for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:458-472 [Journal]
  30. Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
    CoreASM: An Extensible ASM Execution Engine. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:153-166 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:101-118 [Conf]
  32. Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
    CoreASM: An Extensible ASM Execution Engine. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:77, n:1-2, pp:71-103 [Journal]

  33. Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. [Citation Graph (, )][DBLP]


  34. CoreASM Plug-In Architecture. [Citation Graph (, )][DBLP]


  35. 06191 Summary -- Rigorous Methods for Software Construction and Analysis. [Citation Graph (, )][DBLP]


  36. 06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. [Citation Graph (, )][DBLP]


  37. The semantics of behavioral VHDL '93 descriptions. [Citation Graph (, )][DBLP]


  38. Identity management architecture. [Citation Graph (, )][DBLP]


  39. High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. [Citation Graph (, )][DBLP]


  40. Computational Modeling of Criminal Activity. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002