MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Vlad Rusu" – sorted by Relevance.

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

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

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

ATOM

Verifying Periodic Task-Control Systems
by Vlad Rusu
…Verifying Periodic Task-Control Systems Vlad Rusu ? Abstract. This paper deals with the automated…
Add To MetaCart

Inductively Verifying Invariants of Rewriting Logic Specifications
by Vlad Rusu, Manuel Clavel
…Inductively Verifying Invariants of Rewriting Logic Specifications Vlad Rusu 1 and Manuel Clavel 2…
Add To MetaCart

Uniformity for the Decidability of Hybrid Automata
by Olivier Roux, Vlad Rusu — 1996 — In Proceedings of the 8th Conference on COmputerAided Veri CAV'96, volume 1145 of LNCS
…Uniformity for the Decidability of Hybrid Automata Olivier Roux ? , Vlad Rusu ?? Abstract. We…
Cited by 4 (1 self) – Add To MetaCart

Reachability Verification for Hybrid Automata
by Thomas A. Henzinger, Vlad Rusu — 1998 — HSCC 98: Hybrid Systems—Computation and Control, Lecture Notes in Computer Science 1386
…Reachability Verification for Hybrid Automata Thomas A. Henzinger 1? and Vlad Rusu 2?? 1 EECS…
Cited by 8 (0 self) – Add To MetaCart

Analysis of Slope-Parametric Hybrid Automata
by Fr'ed'eric Boniol, Olivier Roux, Olivier Roux, Vlad Rusu, Vlad Rusu — 1997
…-parametric hybrid automata Fr'ed'eric Boniol, Augusto Burgue~no, Olivier Roux and Vlad Rusu Publication presented…
Cited by 2 (1 self) – Add To MetaCart

Symbolic Test Selection Based on Approximate Analysis
by Thierry Jéron, Vlad Rusu, Elena Zinovieva — 2005 — in 11th Int. Conference on Tools and Algorithms for tthe Construction and Analysis of Systems (TACAS
…Symbolic Test Selection Based on Approximate Analysis ⋆ Bertrand Jeannet, Thierry Jéron, Vlad Rusu…
Cited by 15 (4 self) – Add To MetaCart

Task-System Analysis Using Slope-Parametric Hybrid Automata
by Augusto Burgueño, Centre D, Vlad Rusu, Vlad Rusu — 1997
… Slope-Parametric Hybrid Automata Augusto Burgue~no and Vlad Rusu Publication presented at: Workshop…
Cited by 4 (1 self) – Add To MetaCart

Extracting a Data Flow Analyser in Constructive Logic
by David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu — 2004 — Proc. of the 13th European Symposium on Programming, volume 2986 of LNCS
… Pichardie and Vlad Rusu APPSEM’04, Tallinn Static program analysis The goals of static program analysis…
Cited by 26 (4 self) – Add To MetaCart

Defining and reasoning about recursive functions: a practical tool for the coq proof assistant
by Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu — 2006 — In Functional and Logic Programming (FLOPS’06), LNCS 3945
… Gilles Barthe 1 , Julien Forest 1 , David Pichardie 1 , and Vlad Rusu 2 1 EVEREST Team, INRIA Sophia…
Cited by 11 (0 self) – Add To MetaCart

On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction
by Vlad Rusu Eli, Eli Singerman — 1999
… ? Vlad Rusu Eli Singerman SRI International, Menlo Park, California, USA frusu…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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