Вы здесь

Bouajjani A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Analyzing Fair Parametric Extended Automata 2001 Bouajjani A., Collomb-Annichini A., Lakhnech Y., Sighireanu M. Lecture Notes in Computer Science 31.07.2001
СТ Languages, Rewriting Systems, and Verification of Infinite-State Systems 2001 Bouajjani A. Lecture Notes in Computer Science 28.07.2001
СТ Handling Global Conditions in Parametrized System Verification 1999 Abdulla P. A., Bouajjani A., Jonsson B., Nilsson M. Lecture Notes in Computer Science 16.07.1999
СТ Temporal Logic + Timed Automata: Expressiveness and Decidability 1995 Bouajjani A., Lakhnech Y. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
СТ From Duration Calculus to Linear Hybrid Automata 1995 Bouajjani A., Lakhnech Y., Robbana R. Lecture Notes in Computer Science 27.07.1995
СТ Verifying -Regular Properties for a Subclass of Linear Hybrid Systems 1995 Bouajjani A., Robbana R. Lecture Notes in Computer Science 27.07.1995
СТ Verifying Invariance Properties of Timed Systems with Duration Variables 1994 Bouajjani A., Echahed R., Robbana R. Lecture Notes in Computer Science 19.10.1994
СТ Verification of Nonregular Temporal Properties for Context-Free Processes 1994 Bouajjani A., Echahed R., Robbana R. Lecture Notes in Computer Science 26.08.1994
СТ Safety for Branching Time Semantics 1991 Bouajjani A., Fernandez J., Graf S., Rodriguez C., Sifakis J. Lecture Notes in Computer Science 11.09.1991
СТ Verification Methods for Finite Systems 1991 Bouajjani A., Sifakis J. Lecture Notes in Computer Science 21.05.1991