I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications in 2004

Stefan Schwoon and Javier Esparza. A note on on-the-fly verification algorithms. Technical Report 2004/06, Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, November 2004.
GZipped PostScript (93 kB)
PDF (179 kB)
Info
See www.fmi.uni-stuttgart.de ...
Conference version
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm. A Semantics for Procedure Local Heaps and its Abstractions. Tech. Rep. 1, AVACS, Sep 2004.
PDF (443 kB)
Info
Markus Holzer and Stefan Schwoon. Reflections on Reflexion – computational complexity considerations on a puzzle game. In Paolo Ferragina and Roberto Grossi, editors, Proceedings of the Third International Conference on FUN with Algorithms, pages 90–105. Università di Pisa, May 2004.
GZipped PostScript (76 kB)
Info
Markus Holzer and Stefan Schwoon. Assembling molecules in Atomix is hard. Theoretical Computer Science, 303(3):447–462, February 2004.
Info
Tech report version
Javier Esparza and Kousha Etessami. Verifying probabilistic procedural programs. In Proceedings of FSTTCS 2004, volume 3328 of LNCS, Lecture Notes in Computer Science, pages 16–31, 2004.
GZipped PostScript (92 kB)
PDF (243 kB)
Info
Ahmed Bouajjani, Javier Esparza, and Tayssir Touili. Reachability analysis of synchronized PA-systems. In Proceedings of Infinity 2004, 2004.
GZipped PostScript (71 kB)
PDF (174 kB)
Info
Journal version
Javier Esparza, Antonín Kučera, and Richard Mayr. Model checking probabilistic pushdown automata. In LICS 2004. IEEE Computer Society, 2004.
GZipped PostScript (86 kB)
PDF (204 kB)
Info
Tech report version, Journal version
Javier Esparza, Antonín Kučera, and Richard Mayr. Model checking probabilistic pushdown automata. Technical report, Faculty of Informatics, Masaryk University, Brno, 2004.
GZipped PostScript (206 kB)
PDF (738 kB)
Info
Conference version, Journal version
J. Esparza. A polynomial-time algorithm for checking consistency of free-choice signal transition graphs. Fundamenta Informaticae, 62(2):197–220, 2004.
GZipped PostScript (129 kB)
PDF (182 kB)
Info
Conference version
Michael Luttenberger. Effiziente Berechnung optimaler Strategien für Paritätsspiele. Master's thesis, Universität Stuttgart, 2004. In German.
Info
Matthias Hopf, Michael Luttenberger, and Thomas Ertl. Hierarchical splatting of scattered 4d data. IEEE Computer Graphics and Applications, 24(04):64–72, 2004.
Info
T. Froehner, M. Nickles, and G. Weiß. Open ontologies – The need for modeling heterogeneous knowledge. In Proceedings of the International Conference on Information and Knowledge Engineering (IKE-2004), 2004.
Info
T. Froehner, M. Nickles, and G. Weiß. Towards modeling the social layer of emergent knowledge using open ontologies. In ECAI Workshop on Agent-Mediated Knowledge Management (AMKM), pages 10–19, 2004.
Info
M. Nickles, T. Froehner, and G. Weiß. Social annotation of semantically heterogeneous knowledge. In Proceedings of the 4th International Workshop on Knowledge Markup and Semantic Annotation (SemAnnot), 2004.
Info
M. Nickles, T. Froehner, and G. Weiß. Open ontologies and open knowledge bases for modeling the social layer of the Semantic Web (poster). In The Third International Semantic Web Conference (ISCW), 2004.
Info
M. Nickles and M. Rovatsos. Towards a unified model of sociality in multiagent systems. International Journal of Computer and Information Science, 5(2):73–88, 2004.
Info
M. Nickles, M. Rovatsos, and G. Weiß, editors. Agents and Computational Autonomy. Potential, Risks, and Solutions, volume 2969 (Hot Topics) of Lecture Notes in Computer Science. Springer-Verlag, 2004.
Info
M. Nickles, M. Rovatsos, and G. Weiß. Empirical-rational semantics of agent communication. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pages 94–101, 2004.
Info
M. Rovatsos, M. Nickles, and G. Weiß. An empirical model of communication in multiagent systems. In F. Dignum, editor, Agent communication languages, Lecture Notes in Computer Science, Vol. 2922, pages 18–36. Springer-Verlag, 2004. Invited paper.
Info
G. Weiß, J. Duscher, M. Rovatsos, and M. Nickles. Spezifikation von Softwareautonomie. Künstliche Intelligenz (KI), 4/04, 2004.
Info
Achim Rettinger. Learning from recorded games: A scoring policy for simulated soccer agents. In Ubbo Visser, Hans-Dieter Burkhard, Patrick Doherty, and Gerhard Lakemeyer, editors, Proceedings of the ECAI 2004, 16th European Conference on Artificial Intelligence, Workshop 8: Agents in Dynamic and Real-Time Environments, pages 43–48, 2004.
Info
Dejvuth Suwimonteerabuth. Verifying Java bytecode with the Moped model checker. Master's thesis, Universität Stuttgart, 2004.
GZipped PostScript (227 kB)
Info
See www.fmi.uni-stuttgart.de ...