Travelled to:1 × Austria
1 × Estonia
1 × Italy
1 × Poland
1 × The Netherlands
2 × Finland
2 × United Kingdom
3 × Germany
3 × USA
4 × France
Collaborated with:F.Lang G.Salaün ∅ H.Garavel C.Joubert W.Serwe A.Wijs D.Thivolle D.Bergamini N.Descoubes L.Ye P.Poizat G.J.Pace D.Vekris C.Dima J.Fernandez A.Kerbrat L.Mounier M.Sighireanu A.Curic I.Smarandache-Sturm G.Stragier
Talks about:system (7) model (6) check (6) use (5) distribut (4) process (4) boolean (4) equat (4) cadp (4) construct (3)
Person: Radu Mateescu
DBLP: Mateescu:Radu
Contributed to:
2014
2013
2013201220112010
200920092008
2007
20072006
2005200520032003
2002200220001996Wrote 20 papers:
- CBSE-2014-MateescuSY #model checking #parallel #process #using
- Quantifying the parallelism in BPMN processes using model checking (RM, GS, LY), pp. 159–168.
- IFM-2013-VekrisLDM #specification #using #verification
- Verification of EB3 Specifications Using CADP (DV, FL, CD, RM), pp. 61–76.
- TACAS-2013-MateescuS #model checking #model transformation #named #π-calculus
- PIC2LNT: Model Transformation for Model Checking an Applied π-Calculus (RM, GS), pp. 192–198.
- TACAS-2012-LangM #equation #lts #model checking #network #using
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems (FL, RM), pp. 141–156.
- TACAS-2011-GaravelLMS #analysis #distributed #process
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (HG, FL, RM, WS), pp. 372–387.
- IFM-2010-MateescuS #π-calculus
- Translating π-Calculus into LOTOS NT (RM, GS), pp. 229–244.
- FM-2009-LangM #composition #confluence #detection #partial order #reduction #using
- Partial Order Reductions Using Compositional Confluence Detection (FL, RM), pp. 157–172.
- TACAS-2009-MateescuW #adaptation
- Hierarchical Adaptive State Space Caching Based on Level Sampling (RM, AW), pp. 215–229.
- FM-2008-MateescuT #concurrent #model checking
- A Model Checking Language for Concurrent Value-Passing Systems (RM, DT), pp. 148–164.
- ASE-2007-MateescuPS #adaptation #algebra #behaviour #component #composition #encoding #process
- Behavioral adaptation of component compositions based on process algebra encodings (RM, PP, GS), pp. 385–388.
- CAV-2007-GaravelMLS #analysis #distributed #process
- CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes (HG, RM, FL, WS), pp. 158–163.
- TACAS-2006-GaravelMBCDJSS #distributed #generative #tool support
- DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation (HG, RM, DB, AC, ND, CJ, ISS, GS), pp. 445–449.
- PDP-2005-JoubertM #distributed #equation
- Distributed Local Resolution of Boolean Equation Systems (CJ, RM), pp. 264–271.
- TACAS-2005-BergaminiDJM #bisimulation #composition #equivalence #named #on the fly
- BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking (DB, ND, CJ, RM), pp. 581–585.
- CAV-2003-PaceLM
- Calculating-Confluence Compositionally (GJP, FL, RM), pp. 446–459.
- TACAS-2003-Mateescu #equation #on the fly
- A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems (RM), pp. 81–96.
- CC-2002-GaravelLM #compilation #using
- Compiler Construction Using LOTOS NT (HG, FL, RM), pp. 9–13.
- TACAS-2002-Mateescu #calculus #lts #model checking #μ-calculus
- Local Model-Checking of Modal μ-Calculus on Acyclic Labeled Transition Systems (RM), pp. 281–295.
- TACAS-2000-Mateescu #equation #generative #performance
- Efficient Diagnostic Generation for Boolean Equation Systems (RM), pp. 251–265.
- CAV-1996-FernandezGKMMS #named #protocol #validation #verification
- CADP — A Protocol Validation and Verification Toolbox (JCF, HG, AK, LM, RM, MS), pp. 437–440.