0 works0 citations0 h-index

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

→ Distributed Monitoring of Concurrent and Asynchronous Systems*(2005)

101 cited

→ Bounded-memory algorithms for verification on-the-fly(1992)62 cited

→ On-the-fly verification of finite transition systems(1992)60 cited

→ Development of Veda, a prototyping tool for distributed algorithms(1988)59 cited