|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 17 keywords
|
|
|
|
|
Results
Found 48 publication records. Showing 48 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frédéric Lang, Radu Mateescu |
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong |
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe |
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Anton Wijs |
Property-Dependent Reductions for the Modal Mu-Calculus. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Wendelin Serwe |
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Gwen Salaün |
Translating Pi-Calculus into LOTOS NT. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe |
Ten Years of Performance Evaluation for Concurrent Systems Using CADP. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro T. Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page, Ana T. Freitas, Hidde de Jong |
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. |
BMC Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Anton Wijs |
Hierarchical Adaptive State Space Caching Based on Level Sampling. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu |
Modeling Multiprocessor Cache Protocol Impact on MPI Performance. |
AINA Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Lang, Radu Mateescu |
Partial Order Reductions Using Compositional Confluence Detection. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Emilie Oudot |
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong |
Temporal logic patterns for querying dynamic models of cellular interaction networks. |
ECCB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong |
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Sylvain Rampacek |
Formal Modeling and Discrete-Time Analysis of BPEL Web Services. |
CIAO! / EOMAS |
2008 |
DBLP DOI BibTeX RDF |
exhaustive simulation, Web services, model checking, formal specification, process algebra |
| 1 | Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong |
Computation Tree Regular Logic for Genetic Regulatory Networks. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Pascal Poizat, Gwen Salaün |
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Emilie Oudot |
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Damien Thivolle |
A Model Checking Language for Concurrent Value-Passing Systems. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Pascal Poizat, Gwen Salaün |
Behavioral adaptation of component compositions based on process algebra encodings. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
behavioral interfaces, adaptation, components, composition, process algebra |
| 1 | Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe |
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Flávio Oquendo |
pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
architecture analysis languages, formal development techniques, software architectures, property specification, property verification |
| 1 | Radu Mateescu |
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Boolean equation system, Verification, Temporal logic, Bisimulation, Partial-order reduction |
| 1 | Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier |
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Joubert, Radu Mateescu |
Distributed On-the-Fly Model Checking and Test Case Generation. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Joubert, Radu Mateescu |
Distributed On-the-Fly Equivalence Checking. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider |
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu |
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider |
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. |
ISMB (Supplement of Bioinformatics) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Joubert, Radu Mateescu |
Distributed Local Resolution of Boolean Equation Systems. |
PDP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu |
Model Checking Genetic Regulatory Networks Using GNA and CADP. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Radu Mateescu |
SEQ.OPEN: A Tool for Efficient Trace-Based Verification. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu |
Model Checking for Software Architectures. |
EWSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu |
A Generic Framework for Model Checking Software Architectures. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Radu Mateescu, Mihaela Sighireanu |
Efficient on-the-fly model-checking for regular alternation-free mu-calculus. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu |
On-the-Fly Verification using CADP. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu |
Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones. |
Technique et Science Informatiques |
2003 |
DBLP BibTeX RDF |
|
| 1 | Radu Mateescu |
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon J. Pace, Frédéric Lang, Radu Mateescu |
Calculating-Confluence Compositionally. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu |
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Frédéric Lang, Radu Mateescu |
Compiler Construction Using LOTOS NT. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma |
Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. |
DAIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hubert Garavel, Radu Mateescu, Irina M. Smarandache |
Parallel State Space Construction for Model-Checking. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS |
| 1 | Radu Mateescu |
Efficient Diagnostic Generation for Boolean Equation Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen |
Model Checking for Managers. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihaela Sighireanu, Radu Mateescu |
Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. |
STTT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Radu Mateescu |
Verification of Temporal Properties of Processes in a Setting with Data. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu |
CADP - A Protocol Validation and Verification Toolbox. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #48 of 48 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")