MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Radu Mateescu" – sorted by Relevance.

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

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

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

ATOM

Local Model-Checking of an Alternation-Free Value-Based Modal Mu-Calculus
by Radu Mateescu — 1998 — In Workshop on Veri Model Checking, and Abstract Interpretation (VMCAI
…Local Model-Checking of an Alternation-Free Value-Based Modal Mu-Calculus Radu Mateescu 1 CWI…
Cited by 11 (1 self) – Add To MetaCart

Efficient Diagnostic Generation for Boolean Equation Systems
by Radu Mateescu — 2000 — In Proceedings of 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2000
… Diagnostic Generation for Boolean Equation Systems Radu Mateescu ? Th#me 1 R#seaux et syst#mes Projet VASY…
Cited by 8 (3 self) – Add To MetaCart

Distributed on-the-fly model checking and test case generation
by Christophe Joubert, Radu Mateescu — 2006 — In Proc. of SPIN’06, LNCS
… Mateescu Inria Rhône-Alpes / Vasy 655, av. de l’Europe, F-38330 Montbonnot St Martin, France {Christophe.Joubert,Radu.Mateescu…
Cited by 5 (4 self) – Add To MetaCart

Formal Description and Analysis of a Bounded Retransmission Protocol
by Radu Mateescu, Radu Mateescu, Projet Spectre — 1996 — University of Maribor
… AUTOMATIQUE Formal Description and Analysis of a Bounded Retransmission Protocol Radu Mateescu N 2965 August…
Cited by 14 (2 self) – Add To MetaCart

French-Romanian Proposal for Capture of Requirements and Expression of Properties in E-Lotos Modules
by Radu Mateescu, Hubert Garavel — 1996
…-Lotos Modules Version 1.0 Radu MATEESCU Hubert GARAVEL INRIA Rhone-Alpes VERIMAG --- Miniparc-ZIRST rue…
Cited by 3 (2 self) – Add To MetaCart

SEQ.OPEN: A Tool for Efficient Trace-Based Verification
by Hubert Garavel, Radu Mateescu — 2004 — Proc. of the 11th Int. SPIN Workshop on Model Checking of Software (SPIN’04
…SEQ.OPEN: A Tool for Efficient Trace-Based Verification ⋆ Hubert Garavel and Radu Mateescu Inria…
Cited by 1 (0 self) – Add To MetaCart

Distributed Local Resolution of Boolean Equation Systems
by Christophe Joubert, Radu Mateescu — 2005 — In Proc. of PDP’05. Ieee Computer
…Distributed Local Resolution of Boolean Equation Systems Christophe Joubert and Radu Mateescu…
Cited by 3 (2 self) – Add To MetaCart

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
by Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu — 2005 — In Proc. of TACAS’05, volume 3440 of LNCS
… Descoubes, Christophe Joubert, and Radu Mateescu Inria Rhône-Alpes/Vasy, 655, av. de l’Europe, 38330…
Cited by 5 (2 self) – Add To MetaCart

Verifying Business Processes using SPIN
by Wil Janssen, Radu Mateescu, Sjouke Mauw, Jan Springintveld — 1998 — Proceedings of the 4th International SPIN Workshop
…Verifying Business Processes using SPIN Wil Janssen 1 Radu Mateescu 2y Sjouke Mauw 2;3 Jan…
Cited by 7 (2 self) – Add To MetaCart

Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus ("FireWire"): an Experiment with E-LOTOS
by Mihaela Sighireanu, Mihaela Sighireanu, Radu Mateescu, Radu Mateescu, Projet Vasy — 1997
… with E-LOTOS Mihaela Sighireanu, Radu Mateescu N 3172 Mai 1997 TH ` EME 1 Validation of the Link Layer…
Cited by 7 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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