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

Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, and Jan Strejček. Reachability analysis of multithreaded software with asynchronous communication. In Ramaswamy Ramanujam and Sandeep Sen, editors, Proceedings of FSTTCS 2005, volume 3821 of Lecture Notes in Computer Science, pages 348–359. Springer, December 2005.
GZipped PostScript (51 kB)
Info
Tech report version
Mihai Christodorescu, Johannes Kinder, Somesh Jha, Stefan Katzenbeisser, and Helmut Veith. Malware normalization. Technical Report 1539, University of Wisconsin, Madison, Wisconsin, USA, November 2005.
PDF (312 kB)
Info
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, and Jan Strejček. Reachability analysis of multithreaded software with asynchronous communication. Technical Report 2005/06, Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, November 2005.
GZipped PostScript (65 kB)
PDF (183 kB)
Info
Conference version
Achim Rettinger. Opponent-adaptive online multiagent learning - concept-recall with expert ensembles for simulated-soccer-agents. Master's thesis, University of Koblenz, Germany, October 2005.
Info
Thomas Reps, Stefan Schwoon, Somesh Jha, and David Melski. Weighted pushdown systems and their application to interprocedural dataflow analysis. Science of Computer Programming, 58(1–2):206–263, October 2005. Special Issue on the Static Analysis Symposium 2003.
GZipped PostScript (942 kB)
Info
Conference version, Tech report version
Stefan Schwoon, Hao Wang, Somesh Jha, and Thomas Reps. Distributed certificate-chain discovery in SPKI/SDSI. Technical Report TR-1526, Computer Sciences Department, University of Wisconsin, August 2005.
GZipped PostScript (160 kB)
Info
Conference version
Hao Wang, Somesh Jha, Thomas Reps, Stefan Schwoon, and Stuart Stubblebine. Reducing the dependence of trust-management systems on PKI. Technical Report TR-1527, Computer Sciences Department, University of Wisconsin, August 2005.
GZipped PostScript (126 kB)
Info
Conference version
Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, and Helmut Veith. Detecting malicious code by model checking. In GI SIG SIDAR Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA'05), volume 3548 of Lecture Notes in Computer Science, pages 174–187. Springer, July 2005.
GZipped PostScript (174 kB)
PDF (150 kB)
Info
Stefan Schwoon and Javier Esparza. A note on on-the-fly verification algorithms. In Nicolas Halbwachs and Lenore Zuck, editors, Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 3440 of Lecture Notes in Computer Science, pages 174–190, Edinburgh, UK, April 2005. Springer.
GZipped PostScript (89 kB)
Info
Tech report version
Dejvuth Suwimonteerabuth, Stefan Schwoon, and Javier Esparza. jMoped: A Java bytecode checker based on Moped. In Nicolas Halbwachs and Lenore Zuck, editors, Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 3440 of Lecture Notes in Computer Science, pages 541–545, Edinburgh, UK, April 2005. Springer. Tool paper.
GZipped PostScript (82 kB)
Info
Tomáš Brádzil, Antonín Kučera, and Javier Esparza. Analysis and prediction of the long-run behaviour of probabilistic sequential programs with recursion. In Proceedings of FOCS 2005, pages 521–530, 2005.
GZipped PostScript (171 kB)
PDF (157 kB)
Info
Javier Esparza, Pierre Ganty, and Stefan Schwoon. Locality-based abstractions. In Proceedings of SAS 2005, volume 3672 of Lecture Notes in Computer Science, pages 118–134, 2005.
PDF (256 kB)
Info
Javier Esparza, Antonín Kučera, and Richard Mayr. Quantitative analysis of probabilistic pushdown automata: Expectations and variances. In LICS 2005, pages 117–126. IEEE Computer Society, 2005.
GZipped PostScript (158 kB)
PDF (178 kB)
Info
Tech report version
Javier Esparza, Antonín Kučera, and Richard Mayr. Quantitative analysis of probabilistic pushdown automata: Expectations and variances. Technical Report FIMU-RS-2005-07, Masaryk University, 2005.
PDF (253 kB)
Info
Conference version
Ahmed Bouajjani, Javier Esparza, and Tayssir Touili. Reachability analysis of synchronized PA-systems. Electronic Notes in Theoretical Computer Science, 138(3):153–178, 2005.
GZipped PostScript (76 kB)
PDF (137 kB)
Info
Conference version
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm. A Semantics for Procedure Local Heaps and its Abstractions. In 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), 2005.
PDF (467 kB)
Info
Stefan Kiefer. Abstraction refinement for pushdown systems. Master's thesis, Universität Stuttgart, 2005.
GZipped PostScript (329 kB)
PDF (557 kB)
Info
Johannes Kinder. Model checking malicious code. Master's thesis, Technische Universität München, 2005.
GZipped PostScript (359 kB)
PDF (472 kB)
Info
M. Nickles and F. Fischer. Communication attitudes: A formal account of ostensible beliefs and intentions. In Third European Workshop on Multi-Agent Systems (EUMAS 2005), Brussel, Belgium, 2005.
Info
G. Weiß, M. Nickles, M. Rovatsos, and F. Fischer. Specifying the intertwining of coordination and autonomy in agent-based systems. International Journal of Network and Computer Applications, Vol.28, 2005.
Info
M. Nickles, T. Froehner, R. Cobos, and G. Weiß. Multi-source knowledge bases and ontologies with multiple individual and social viewpoints. In Proceedings of The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05). IEEE Computer Society Press, 2005.
Info
F. Fischer and M. Nickles. Towards a notion of generalised statement-level trust. Technical Report FKI-249-05, Institut für Informatik, Technical University of Munich, 2005.
Info
G. Weiß, F. A. Fischer, M. Nickles, and M. Rovatsos. Operational modelling of agent autonomy: Theoretical aspects and a formal language.. In Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers, pages 1–15, 2005.
Info
T. Froehner, M. Nickles, G. Weiß, W. Brauer, and R. Franken. Integration of ontologies and knowledge from autonomous sources. Künstliche Intelligenz, 1/05, 2005.
Info
M. Nickles, M. Rovatsos, W. Brauer, and G. Weiß. Communication systems: A unified model of socially intelligent systems. In K. Fischer and M. Florian, editors, Socionics, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2005. Invited paper.
Info
M. Nickles and G. Weiß. Multiagent systems without agents: Mirror-holons for the compilation and enactment of communication structures. In K. Fischer and M. Florian, editors, Socionics, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2005. Invited paper.
Info
M. Nickles, F. Fischer, and G. Weiß. Communication attitudes: A formal approach to ostensible intentions, and individual and group opinions. In Wiebe van der Hoek and Mike Wooldridge, editors, Proceedings of the Third International Workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), 2005.
Info
M. Nickles, M. Rovatsos, and G. Weiß. Formulating agent communication semantics and pragmatics as behavioral expectations. In F. Dignum, R. van Eijk, and M.-P. Huget, editors, Agent Communication Languages II, Lecture Notes in Artificial Intelligence. Springer, 2005. Invited paper.
Info
M. Nickles, M. Rovatsos, and G. Weiß. Expectation-oriented modeling. Engineering Applications of Artificial Intelligence (EAAI), 18, 2005.
Info
Heni Ben Amor and Achim Rettinger. Intelligent exploration for genetic algorithms: Using self-organizing maps in evolutionary computation. In GECCO'05: Proceedings of the 2005 Conference on Genetic and Evolutionary Computation, pages 1531–1538. ACM Press, 2005.
PDF (380 kB)
Info