CONVECS: Construction de systèmes concurrents vérifiés
facilityMontbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France
Research output, citation impact, and the most-cited recent papers from CONVECS: Construction de systèmes concurrents vérifiés (France). Aggregated across the NobleBlocks index of 300M+ scholarly works.
Total works
72
Citations
879
h-index
15
i10-index
27
Also known as
CONVECS: Construction de systèmes concurrents vérifiésCONVECS: Construction of verified concurrent systems
Top research topics
Formal Methods in Verification(29)Advanced Software Engineering Methodologies(15)Software Testing and Debugging Techniques(13)Business Process Modeling and Analysis(12)Petri Nets in System Modeling(11)Service-Oriented Architecture and Web Services(10)Model-Driven Software Engineering Techniques(9)Software Reliability and Analysis Research(9)Distributed systems and fault tolerance(7)Logic, programming, and type systems(5)Real-Time Systems Scheduling(5)Software System Performance and Reliability(5)Flexible and Reconfigurable Manufacturing Systems(4)Semantic Web and Ontologies(3)IoT and Edge/Fog Computing(3)
Top-cited papers from CONVECS: Construction de systèmes concurrents vérifiés
No indexed publications for this institution yet.