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

Javier Esparza, Antonín Kučera, and Stefan Schwoon. Model-checking LTL with regular valuations for pushdown systems. Information and Computation, 186(2):355–376, November 2003.
GZipped PostScript (202 kB)
PDF (214 kB)
Info
Conference version
Stefan Kiefer. Die Menge der virtuellen Verbindungen im Spiel Hex ist PSPACE-vollständig. Studienarbeit Nr. 1887, Universität Stuttgart, Juli 2003. In German.
GZipped PostScript (280 kB)
PDF (375 kB)
Info
J. Esparza. A polynomial-time algorithm for checking consistency of free-choice signal transition graphs. In Balarin J. Lilius, F and R.J. Machado, editors, Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), pages 61–70, Guimaraes, Portugal, June 2003. IEEE Computer Society. ISBN 0-7695-1887-7.
GZipped PostScript (66 kB)
PDF (147 kB)
Info
Thomas Reps, Stefan Schwoon, and Somesh Jha. Weighted pushdown systems and their application to interprocedural dataflow analysis. In Radhia Cousot, editor, Proceedings of the 10th International Static Analysis Symposium, volume 2694 of Lecture Notes in Computer Science, pages 189–213. Springer, June 2003.
GZipped PostScript (250 kB)
Info
See www.fmi.uni-stuttgart.de ...
Tech report version, Journal version
Stefan Schwoon, Somesh Jha, Thomas Reps, and Stuart Stubblebine. On generalized authorization problems. In Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW), pages 202–218. IEEE Computer Society, June 2003.
GZipped PostScript (184 kB)
PDF (230 kB)
Info
See www.fmi.uni-stuttgart.de ...
Tech report version
Claus Schröter, Stefan Schwoon, and Javier Esparza. The Model-Checking Kit. In Wil van der Aalst and Eike Best, editors, Applications and Theory of Petri Nets 2003, volume 2679 of Lecture Notes in Computer Science, pages 463–472. Springer, June 2003.
GZipped PostScript (60 kB)
Info
See www.fmi.uni-stuttgart.de ...
See also SSE02
Thomas Reps, Stefan Schwoon, and Somesh Jha. Weighted pushdown systems and their application to interprocedural dataflow analysis. Technical Report TR-1470, Computer Sciences Department, University of Wisconsin, February 2003.
GZipped PostScript (261 kB)
Info
See www.fmi.uni-stuttgart.de ...
Conference version, Journal version
A. Bouajjani, J. Esparza, and T. Touili. A generic approach to the static analysis of concurrent programs with procedures. In Proc. of the 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '03, 2003.
GZipped PostScript (174 kB)
PDF (176 kB)
Info
Journal version
January 2011: Michal Terepeta and Flemming Nielson have found a mistake in the paper: Lemma 1.2 (numbering of the journal version) does not hold as stated. We will try to repair it as soon as possible.
A. Bouajjani, J. Esparza, and T. Touili. A generic approach to the static analysis of concurrent programs with procedures. International Journal on Foundations of Computer Science, 14(4):551–582, 2003.
GZipped PostScript (141 kB)
PDF (371 kB)
Info
Conference version
January 2011: Michal Terepeta and Flemming Nielson have found a mistake in the paper: Lemma 1.2 does not hold as stated. We will try to repair it as soon as possible.
J. Esparza and M. Maidl. Simple representative instantiations for multicast protocols. In H. Garavel and J. Hatcliff, editors, Proc. of TACAS'03, number 2619 in Lecture Notes in Computer Science, pages 128–143. Springer-Verlag, 2003.
GZipped PostScript (133 kB)
PDF (306 kB)
Info
A. Kučera and J. Esparza. A logical viewpoint on process-algebraic quotients. Journal of Logic and Computation, 13(6):863–880, 2003.
GZipped PostScript (98 kB)
PDF (263 kB)
Info
Conference version
M. Nickles and G. Weiß. Agent-based social assessment of shared resources.. In Second International Workshop on Agents and Peer-to-Peer Computing (AP2PC-2003), pages 35–40, 2003.
Info
M. Nickles and G. Weiß. Empirical semantics of agent communication in open systems. In Proceedings of the Second International Workshop on Challenges in Open Agent Environments (Challenge), 2003.
Info
M. Nickles and G. Weiß. A framework for the social description of resources in open environments. In M. Klusch, S. Ossowski, A. Omicini, and H. Laamanen, editors, Proceedings of the 7th International Workshop on Cooperative Information Agents (CIA-2003), volume 2782 of Lecture Notes in Artificial Intelligence, pages 206–221. Springer-Verlag, 2003.
Info
M. Rovatsos, M. Nickles, and G. Weiß. Interaction is meaning: A new model for communication in open systems. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), pages 536–543, 2003.
Info
M. Nickles, M. Rovatsos, W. Brauer, and G. Weiß. Towards a unified model of sociality in multiagent systems. In W. Dosch and R. Y. Lee, editors, Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), October 16-18, 2003, Lübeck, Germany. ACIS, 2003.
Info
G. Weiß, M. Rovatsos, and M. Nickles. Capturing Agent Autonomy in Roles and XML. In J. S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, editors, Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), Melbourne, Australia, 2003.
Info
Stefan Schwoon, Somesh Jha, Thomas Reps, and Stuart Stubblebine. On generalized authorization problems. Technical Report TR-1469, Computer Sciences Department, University of Wisconsin, January 2003.
GZipped PostScript (168 kB)
Info
See www.fmi.uni-stuttgart.de ...
Conference version