Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Claude Jard
Variability Modeling and QoS Analysis of Web Services Orchestrations
Pairwise Testing of Dynamic Composite Services
System Test Synthesis From UML Models of Distributed Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reachability Analysis on Distributed Executions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Diagnosis of Partially Observable Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
TGV: Theory, Principles and Algorithms
International Journal on Software Tools for Technology Transfer
Information Systems
Software
An Experiment in Automatic Generation of Test Suites for Protocols With Verification Technology
Science of Computer Programming
Software
Principles of Distributed Test Synthesis Based on True-Concurrency Models
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Remote Testing Can Be as Powerful as Local Testing
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
