Leue, Stefan
0000-0002-4259-624X Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name
29 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 29
- VeröffentlichungBeitrag zu einem KonferenzbandJaCaL : an implementation of Linda in Java(1999) Tysowski, Piotr; Zulkernine, Mohammad; Leue, StefanErschienen in: ZHENG, Si-Qing, ed.. Proceedings of the Eleventh IASTED International Conference Parallel and Distributed Computing and Systems : November 3 - 6, 1999, MIT, Cambridge, Massachusetts, USA. Anaheim; Zurich [u.a.]: Acta Press, 1999, pp. 683-692. ISBN 0-88986-275-3
- VeröffentlichungBeitrag zu einem Konferenzbandv-Promela - A Visual, Object-Oriented Language for SPIN(1999) Leue, Stefan; Holzmann, GerardErschienen in: Proceedings of the Second International Symposium on Object-Oriented Real-Time Distributed Computing. 1999
- VeröffentlichungKonferenzbandTheoretical and practical aspects of SPIN Model checking : 5th and 6th international SPIN workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999; proceedings(Berlin : Springer, 1999) Dams, Dennis; Gerth, Rob; Leue, Stefan; Massink, Mieke (Hrsg.)Schriftenreihe: Lecture Notes in Computer Science; 1680
- VeröffentlichungBeitrag zu einem KonferenzbandMESA : Support for Scenario-Based Design of Concurrent Systems(1998) Ben-Abdallah, Hanêne; Leue, StefanErschienen in: STEFFEN, Bernhard, ed.. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Berlin [u.a.]: Springer, 1998, pp. 118-135. ISBN 3-540-64356-7
- VeröffentlichungZeitschriftenartikelFormal methods for broadband and multimedia systems(1998) Fischer, Stefan; Leue, StefanErschienen in: Computer Networks and ISDN Systems. 1998, 30(9-10), pp. 865-899. ISSN 0169-7552. Available under: doi: 10.1016/S0169-7552(97)00132-3
- VeröffentlichungSonstiges, textgebunden (z.B. Gutachten, Blogbeiträge)Validation of remote object invocation and object migration(1998) Kamel, Moataz; Leue, Stefan
- VeröffentlichungWorking Paper/Technical ReportSynthesizing ROOM Models from Message Sequence Chart Specifications(1998) Leue, Stefan; Mehrmann, Lars; Rezai, MohammadSchriftenreihe: Department of Electrical and Computer Engineering, University of Waterloo, Technical Report; 98-06
- VeröffentlichungBeitrag zu einem KonferenzbandSynthesizing software architecture descriptions from Message Sequence Chart specifications(1998) Leue, Stefan; Mehrmann, Lars; Rezai, MohammadErschienen in: Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239). IEEE Comput. Soc, 1998, pp. 192-195. ISBN 0-8186-8750-9. Available under: doi: 10.1109/ASE.1998.732635
- VeröffentlichungBeitrag zu einem KonferenzbandImplementing and Verifying MSC Specifications Using Promela/XSpin(1997) Leue, Stefan; Ladkin, Peter B.Erschienen in: GRÉGOIRE, Jean-Charles, ed. and others. The SPIN verification system : proceedings of a DIMACS workshop, August 5, 1996, the Second Workshop on the SPIN Verification System. Providence: American Mathematical Society, 1997
- VeröffentlichungBeitrag zu einem KonferenzbandTiming Constraints in Message Sequence Chart Specifications(1997) Ben-Abdallah, Hanêne; Leue, StefanErschienen in: MIZUNO, Tadanori, ed., Norio SHIRATORI, ed., Teruo HIGASHINO, ed., Atsushi TOGASHI, ed.. Formal Description Techniques and Protocol Specification, Testing and Verification. Boston, MA: Springer US, 1997, pp. 91-106. ISBN 978-1-4757-5260-1. Available under: doi: 10.1007/978-0-387-35271-8_6
