Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Radu Mateescu

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Ten Years of Performance Evaluation for Concurrent Systems Using CADP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Verification of EB3 Specifications Using CADP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Asynchronous Testing of Synchronous Components in GALS Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

IoT Composer: Composition and Deployment of IoT Applications

2019English

Rigorous Design and Deployment of IoT Applications

2019English

Parallel State Space Construction for Model-Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy