|
СТ |
On Logics of Aliasing |
2004 |
Bozga M., Iosif R., Lakhnech Y. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
22.10.2004 |
|
СТ |
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols |
2004 |
Bozga L., Ene C., Lakhnech Y. |
|
|
|
Lecture Notes in Computer Science |
30.04.2004 |
|
СТ |
Abstraction as the Key for Invariant Verification |
2003 |
Bensalem S., Graf S., Lakhnech Y. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
|
СТ |
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols |
2003 |
Bozga L., Lakhnech Y., Perin M. |
|
|
|
Lecture Notes in Computer Science |
19.09.2003 |
|
СТ |
Analyzing Fair Parametric Extended Automata |
2001 |
Bouajjani A., Collomb-Annichini A., Lakhnech Y., Sighireanu M. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
|
СТ |
Divide, Abstract, and Model-Check |
1999 |
Stahl K., Baukus K., Lakhnech Y., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
26.10.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 |
