Claude Jard
Centre National de la Recherche Scientifique(FR)Laboratoire des Sciences du Numérique de Nantes(FR)Nantes Université(FR)
Publications by Year
Research Areas
Formal Methods in Verification, Distributed systems and fault tolerance, Petri Nets in System Modeling, Service-Oriented Architecture and Web Services, Business Process Modeling and Analysis
Most-Cited Works
- → TGV: theory, principles and algorithms(2004)350 cited
- → Diagnosis of asynchronous discrete-event systems: a net unfolding approach(2003)275 cited
- → Using on-the-fly verification techniques for the generation of test suites(1996)166 cited
- → An experiment in automatic generation of test suites for protocols with verification technology(1997)146 cited
- → Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations(2008)129 cited
- → Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets(1998)114 cited