[ Back to Ingo Pill's main page | To the Institute for Software Technology ]

Ingo Pill's Publications


This list is also available as BiBTeX file.

[1]
R. Bloem, A.Cimatti, I. Pill, and M. Roveri. Symbolic implementation of alternating automata. International Journal of Foundations of Computer Science, 18(4):727-743, 2007.

[2]
R. Bloem, R. Cavada, I. Pill, M. Roveri, and A. Tchaltsev. Rat: A tool for the formal analysis of requirements. In Computer Aided Verification, 2007. To Appear.

[3]
Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, and Alessandro Cimatti. Formal analysis of hardware requirements. In DAC '06: Proceedings of the 43rd annual conference on design automation, pages 821-826, New York, NY, USA, 2006. ACM Press. (PDF, 262202 bytes).

[4]
R. Bloem, A. Cimatti, I. Pill, M. Roveri, and S. Semprini. Symbolic implementation of alternating automata. In Implementation and Application of Automata, 11th International Conference, volume 4094 of Lecture Notes in Computer Science, pages 208-218. Springer Verlag, 2006. .

[5]
R. Bloem, A. Cimatti, I. Pill, M. Roveri, S. Semprini, and A. Tchaltsev. Rat: A tool for formal analysis of requirements. ECAI Systems demonstration, 2006.


The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.