MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Yassine Lakhnech – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

26 documents found, showing 1 through 10. Next 10 →

ATOM

Logics vs. Automata: The Hybrid Case (Extended Abstract)
by Ahmed Bouajjani, Yassine Lakhnech
…Logics vs. Automata: The Hybrid Case (Extended Abstract) Ahmed Bouajjani 1 Yassine Lakhnech 2? 1…
Add To MetaCart

Temporal Logic + Timed Automata: Expressiveness and Decidability
by Ahmed Bouajjani, Yassine Lakhnech — 1995 — CONCUR95, LNCS 962
… Lakhnech 2? 1 Verimag, Miniparc-Zirst, Rue Lavoisier, 38330 Montbonnot St-Martin, France. email: Ahmed…
Cited by 12 (8 self) – Add To MetaCart

Flat Parametric Counter Automata
by Marius Bozga, Radu Iosif, Yassine Lakhnech — 2006 — In Automata, Languages and Programming, 33 rd International Colloquium, ICALP 2006
… Flat Parametric Counter Automata Marius Bozga1, Radu Iosif1, and Yassine Lakhnech1 VERIMAG, 2…
Cited by 4 (1 self) – Add To MetaCart

Soundness of Symbolic Equivalence for Modular Exponentiation
by Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi — 2006 — In Proceedings of the Second Workshop on Formal and Computational Cryptography (FCC’06
…Soundness of Symbolic Equivalence for Modular Exponentiation Yassine Lakhnech 1 , Laurent Mazaré 1…
Cited by 2 (0 self) – Add To MetaCart

Verifying Universal Properties of Parameterized Networks
by Kai Baukus, Yassine Lakhnech, Karsten Stahl — 2000 — Formal Techniques in Real-Time and FaultTolerant Systems, Volume 1926 of Springer-Verlag Lecture Notes in Computer Science
…Verifying Universal Properties of Parameterized Networks ? Kai Baukus 1 , Yassine Lakhnech 2…
Cited by 9 (3 self) – Add To MetaCart

Verification of Sequential Function Charts Using SMV
by Sébastien Bornot, Ralf Huuck, Ben Lukoschus, Yassine Lakhnech — 2000 — In PDPTA 2000: International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas
…, Germany Yassine Lakhnech Verimag, Centre Equation, 2 av. de Vignate, F-38610 Gieres, France Abstract…
Cited by 3 (2 self) – Add To MetaCart

Abstracting WS1S Systems to Verify Parameterized Networks
by Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl — 2000
… , Yassine Lakhnech 2?? , and Karsten Stahl 1 1 Institute of Computer Science and Applied Mathematics…
Cited by 23 (5 self) – Add To MetaCart

From Duration Calculus To Linear Hybrid Automata
by Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana — In CAV, volume 939 of LNCS
… ??? , Yassine Lakhnech 2 ?? , and Riadh Robbana 1??? 1 VERIMAG, Miniparc-Zirst, Rue Lavoisier 38330…
Cited by 7 (1 self) – Add To MetaCart

Utilizing Static Analysis for Programmable Logic Controllers (Extended Abstract)
by Sébastien Bornot, Ralf Huuck, Yassine Lakhnech, Ben Lukoschus — 2000
… y Ralf Huuck y Yassine Lakhnech z Ben Lukoschus y Abstract Programmable logic controllers…
Cited by 4 (1 self) – Add To MetaCart

On Formal Semantics of Statecharts as Supported by STATEMATE.
by Erich Mikk, Yassine Lakhnech, Carsta Petersohn, Michael Siegel — 1997 — In Second BCS-FACS Northern Formal Methods Workshop
…On Formal Semantics of Statecharts as Supported by STATEMATE. Erich Mikk , Yassine Lakhnech…
Cited by 21 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB