Startseite > Publikationen > Publikationen

Publikationen von Uwe Glässer


Unsere Publikationen aus dem Jahr 2003:



Glässer, Uwe; Gotzhein, R.; Prinz, A.: The formal semantics of SDL-2000: Status and perspectives. Computer Networks 42, Elsevier Science B. V.: S. 343-358, 19. Mai 2003 (Details)


Unsere Publikationen aus dem Jahr 2002:



Benczúr, A.; Glässer, Uwe; Lukovszki, Tamás: Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. In: In Proc. of 10th International Workshop on Abstract State Machines, LNCS, 2002, Springer Verlag (Details)

Glässer, Uwe; Gurevich, Y.; Veanes, M.: High-level Executable Specification of the Universal Plug and Play Architecture. In: Proc. of 35th Hawaii International Conference on System Sciences (HICSS-35), Software Technology Track, Domain-Specific Languages for Software Engineering, 2002 IEEE (Details)

Glässer, Uwe; Veanes, M.: Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines. In: Proc. of IFIP World Computer Congress, Distributed and Parallel Embedded Systems (DIPES), 2002, Kluwer Academic Publishers (Details)

Glässer, Uwe; Gurevich, Y.; Veanes, M.: An Abstract Communication Model. MSR-TR-2002-55, Mai 2002 (Details)


Unsere Publikationen aus dem Jahr 2001:



Glässer, Uwe; Gurevich, Y.; Veanes, M.: Universal Plug and Play Machine Models. Microsoft Research Technical Report, MSR-TR-2001-59, 2001 (Details)

Eschbach, R.; Glässer, Uwe; Gotzhein, R.; von Löwis, M.; Prinz, A.: Formal Definition of SDL-2000: Compiling and Running SDL Specifications as ASM Models. Journal of Universal Computer Science, Special Issue on Abstract State Machines - Theory and Applications 2001 (Details)

Börger, E.; Glässer, Uwe (Hrsg.) Abstract State Machines 2001: New Developments and Applications. , 2001 Journal of Universal Computer Science, Special Issue on Abstract State Machines - Theory and Applications, Springer-Verlag (Details)


Unsere Publikationen aus dem Jahr 2000:



Eschbach, R.; Glässer, Uwe; Gotzhein, R.; Prinz, A.: On the Formal Semantics of SDL-2000: A Compilation Approach based on an Abstract SDL Machine. In: International Workshop on Abstract State Machines (ASM 2000), LNCS, Band 1912 , 2000, Springer-Verlag (Details)

Del Castillo, Giuseppe; Glässer, Uwe: Computer-Aided Analysis and Validation of Heterogeneous System Specifications. In: Computer Aided Systems Theory, Proceedings of the 7th International Workshop on Computer Aided Systems Theory (EUROCAST 1999), LNCS, Band 1796 , S. pp. 55-79, 2000, Springer-Verlag (Details)


Unsere Publikationen aus dem Jahr 1999:



Del Castillo, Giuseppe; Glässer, Uwe: Simulation and Validation of High-Level Abstract State Machine Specifications. In: Modeling and Simulation: A Tool for the next Millenium, Proceedings of the 13th ESM'99, Band Volume 2 , S. pp. 463-465, Warsaw, Poland, 1999 (Details)

Böke, Carsten; Ditze, Carsten; Eickerling, H.; Glässer, Uwe; Kleinjohann, Bernd; Rammig, Franz-Josef; Thronicke, Wolfgang: Software IP in Embedded Systems. In: Proceedings of the Forum on Design Languages (FDL'99), Lyon, France, 1999 (Details)

Hardt, Wolfram; Altenbernd, Peter; Böke, Carsten; Del Castillo, Giuseppe; Ditze, Carsten; Erpenbach, Edwin; Glässer, Uwe; Lehrenfeld, Georg; Rammig, Franz-Josef; Stappert, Friedhelm; Stroop, Joachim: PARADISE: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. In: Proceedings of the Int. IFIP WG 10.3 / WG 10.5 Workshop on Distributed and Parallel Embedded Systems (DIPES'98), Paderborn University, Germany, 1999, Kluwer Academic Publishers (Details)

Glässer, Uwe; Gotzhein, R.; Prinz, A.: Towards a new formal SDL Semantics based on Abstract State Machines. In: SDL '99 - The Next Millenium, 9th SDL Forum Proceedings, S. pp. 171-190, 1999, Elsevier Science B.V. (Details)


Unsere Publikationen aus dem Jahr 1998:



Glässer, Uwe; Schmitt:, P.H.: Workshop on Abstract State Machines. In: Proceedings of Informatik, 1998 (Details)

Glässer, Uwe: ASM Semantics of SDL: Concepts, Methods, Tools. In: Proceedings of the 1. Workshop of the SDL Forum Society on SDL and MSC, Nr. 104 , S. pp. 271-280, Humboldt-Uni. Berlin, 1998, Informatik-Bericht (Details)

Del Castillo, Giuseppe; Glässer, Uwe: Machine-Supported Execution and Validation of High-Level Abstract State Machine Models. In: Preliminary proceedings of the TOOLS '98 Workshop, Nr. Bericht No.9803 , Christian Albrechts-Uni. Kiel, 1998 (Details)


Unsere Publikationen aus dem Jahr 1997:



Glässer, Uwe; Karges, R.: Abstract State Machine. Journal of Universal Computer Science (J.UCS), 3(12) 1997 (Details)

Glässer, Uwe: Modelling of Concurrent and Embedded Systems. In: Lecture Notes in Computer Science, Computer Aided Systems Theory-EUROCAST, Springer Verlag, Band 1333 , S. 108ff, 1997 (Details)


Unsere Publikationen aus dem Jahr 1996:



Beierle, C.; Börger, E.; Durdanovic, I.; Glässer, Uwe; Riccobene, E.: Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. In: Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control, Band 1165 of LNCS , 1996, Springer Verlag (Details)

Del Castillo, Giuseppe; Durdanovic, I.; Glässer, Uwe: An Evolving Algebra Abstract Machine. Computer Science Logic, Vol. 1092 of LNCS 1996 (Details)

Glässer, Uwe: Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools. In: Computer Aided Systems Theory - EUROCAST'95, LNCS, Band 1030 , 1996, Springer Verlag (Details)


Unsere Publikationen aus dem Jahr 1995:



Glässer, Uwe; Börger, E.: Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras. Evolving Algabras Mini-Course, BRICS Technical Report (BRICS-NS-95-4), Denmark, Jul. 1995 (Details)

Glässer, Uwe; Börger, E.; Müller, Wolfgang: Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines. In: Formal Semantics for VHDL, 1995, Kluwer Academic Publishers (Details)

Del Castillo, Giuseppe; Durdanovic, I.; Glässer, Uwe: An Evolving Algebra Abstract Machine. In: Computer Science Logic (CSL'95), LNCS 1092, 1995, Springer Verlag (Details)


Unsere Publikationen aus dem Jahr 1994:



Glässer, Uwe; Börger, E.: A Formal Specification of the PVM Architecture. In: Proc. of the IFIP World Computer Congress '94, Vol: I: Technology and Foundations, 1994, Elsevier Science B.V. (Details)


Unsere Publikationen aus dem Jahr 1987:



Bidjan-Irani, M.; Glässer, Uwe; Rammig, Franz-Josef: Knowledge Based Tools for Testability Checking. In: 3rd Intern. Conference on Fault-Tolerant Computing Systems, Bremerhaven, Sep. 1987 (Details)


Unsere Publikationen aus dem Jahr 1986: