Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

SZS - Publications in 2002

 

Dejvuth Suwimonteerabuth and Prabhas Chongstitvatana. Online robot learning by reward and punishment for a mobile robot. In Proceedings of the 2002 IEEE/RSJ Intl. Conference on Intelliget Robots and Systems, pages 921–926, October 2002.
PDF (287 kB)
Info
J. Esparza and C. Lakos, editors. Applications and theory of petri nets 2002, volume 2360 of Lecture Notes in Computer Science. Springer Verlag, 2002.
Info
See link.springer.de ...
J. Esparza. Grammars as processes. In J. karhuaki W. Brauer, H. Ehrig and A. Salomaa, editors, Formal and Natural Computing, volume 2300 of Lecture Notes in Computer Science. Springer Verlag, 2002. ISBN 3-540-43190-X.
GZipped PostScript (183 kB)
PDF (176 kB)
Info
J. Esparza, S. Römer, and W. Vogler. An improvement of McMillan's unfolding algorithm. Formal Methods in System Design, 20:285–310, 2002.
GZipped PostScript (149 kB)
PDF (351 kB)
Info
Conference version
Kozura V.E., Nepomniaschy V.A., and Novikov R.M. Verification of distributed systems modelled by high-level petri nets. In Proc. of PARELEC 2002, pages 61–66. IEEE Computer Society, 2002.
Info
Nepomniaschy V.A., Shilov N.V., Bodin E.V., and Kozura V.E. Basic-real: Integrated approach for design, specification and verification of distributed systems. In Proc. of IFM 2002, pages 69–88. Springer, 2002. LNCS 2335.
Info
Tero Harju and Dirk Nowotka. Density of critical factorizations. Theor. Inform. Appl., 36(3):315–327, 2002.
GZipped PostScript (68 kB)
PDF (131 kB)
Info
Tech report version
Tero Harju and Dirk Nowotka. Duval's conjecture and Lyndon words. TUCS Tech. Rep. 479, Turku Centre of Computer Science, Finland, 2002. Submitted.
GZipped PostScript (91 kB)
PDF (139 kB)
Info
Stefan Schwoon. Determinization and complementation of Streett automata. In Erich Grädel, Wolfgang Thomas, and Thomas Wilke, editors, Automata, Logics, and Infinite Games, volume 2500 of Lecture Notes in Computer Science, chapter 5, pages 79–91. Springer, 2002.
Info
See estragon.ti.informatik.uni-kiel.de ...
Stefan Schwoon. Model-checking pushdown systems. PhD thesis, Technische Universität München, 2002.
GZipped PostScript (662 kB)
PDF (948 kB)
Info
See www.fmi.uni-stuttgart.de ...
Claus Schröter, Stefan Schwoon, and Javier Esparza. The Model-Checking Kit. In Proceedings of Toolsday-Workshop (satellite event of CONCUR'02), Report Series FIMU-RS-2002-05, pages 22–31, Masaryk University, Brno, 2002.
GZipped PostScript (124 kB)
Info
See www.fmi.uni-stuttgart.de ...
See also SSE03
Alin Stefanescu. Automatic synthesis of distributed systems. In Proceedings of 17th IEEE International Conference on Automated Software Engineering, page 315. IEEE Computer Society, 2002. Position paper.
GZipped PostScript (56 kB)
Info
See www.fmi.uni-stuttgart.de ...
Slides