Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Cyrille Artho
Model Checking of Concurrent Algorithms: From Java to C
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Distance-Integrated Combinatorial Testing
Model-Based Testing of Stateful APIs With Modbat
JNuke: Efficient Dynamic Analysis for Java
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Model Checking of Networked Applications
Lecture Notes in Business Information Processing
Control
Systems Engineering
Information Systems
Business
International Management
Simulation
Management
Management Information Systems
Modeling
Tools and Techniques for Model Checking Networked Programs
Verifying Networked Programs Using a Model Checker Extension