| TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems C Jard, T Jéron International Journal on Software Tools for Technology Transfer 7, 297-315, 2005 | 562 | 2005 |
| Diagnosis of asynchronous discrete-event systems: a net unfolding approach A Benveniste, E Fabre, S Haar, C Jard IEEE Transactions on Automatic Control 48 (5), 714-727, 2003 | 410 | 2003 |
| Using on-the-fly verification techniques for the generation of test suites JC Fernandez, C Jard, T Jéron, C Viho Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 295 | 1996 |
| An experiment in automatic generation of test suites for protocols with verification technology JC Fernandez, C Jard, T Jeron, C Viho Science of Computer Programming 29 (1-2), 123-146, 1997 | 225 | 1997 |
| Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets A Aghasaryan, E Fabre, A Benveniste, R Boubour, C Jard Discrete event dynamic systems 8, 203-231, 1998 | 189 | 1998 |
| Probabilistic qos and soft contracts for transaction-based web services orchestrations S Rosario, A Benveniste, S Haar, C Jard IEEE Transactions on Services Computing 1 (4), 187-200, 2008 | 178 | 2008 |
| Distributed monitoring of concurrent and asynchronous systems E Fabre, A Benveniste, S Haar, C Jard Discrete Event Dynamic Systems 15 (1), 33-84, 2005 | 128 | 2005 |
| Bounded-memory Algorithms for Verification On-the-fly C Jard, T Jéron Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992 | 119 | 1992 |
| On-line model-checking for finite linear temporal logic specifications C Jard, T Jeron Automatic Verification Methods for Finite State Systems: International …, 1990 | 104 | 1990 |
| On-the-fly verification of finite transition systems JC Fernandez, L Mounier, C Jard, T Jéron Formal Methods in System Design 1, 251-273, 1992 | 98 | 1992 |
| Development of VEDA, a prototyping tool for distributed algorithms C Jard, JF Monin, R Groz IEEE Transactions on Software Engineering 14 (3), 339-352, 1988 | 90 | 1988 |
| Detection of stable properties in distributed applications JM Helary, C Jard, N Plouzeau, M Raynal Proceedings of the sixth annual ACM Symposium on Principles of distributed …, 1987 | 84 | 1987 |
| Remote testing can be as powerful as local testing C Jard, T Jéron, L Tanguy, C Viho International Conference on Protocol Specification, Testing and Verification …, 1999 | 80 | 1999 |
| Distributed diagnosis for large discrete event dynamic systems E Fabre, A Benveniste, C Jard IFAC Proceedings Volumes 35 (1), 1-6, 2002 | 76 | 2002 |
| A Petri net approach to fault detection and diagnosis in distributed systems. II. Extending Viterbi algorithm and HMM techniques to Petri nets A Aghasaryan, E Fabre, A Benveniste, R Boubour, C Jard Proceedings of the 36th IEEE Conference on Decision and Control 1, 726-731, 1997 | 75 | 1997 |
| Test synthesis from UML models of distributed software S Pickin, C Jard, T Jéron, JM Jézéquel, Y Le Traon IEEE Transactions on Software Engineering 33 (4), 252-269, 2007 | 68 | 2007 |
| Time supervision of concurrent systems using symbolic unfoldings of time Petri nets T Chatain, C Jard International Conference on Formal Modeling and Analysis of Timed Systems …, 2005 | 65 | 2005 |
| Complete finite prefixes of symbolic unfoldings of safe time Petri nets T Chatain, C Jard International Conference on Application and Theory of Petri Nets, 125-145, 2006 | 64 | 2006 |
| Experience with formal specifications using an extended state transition model G Bochmann, E Cerny, M Gagné, C Jard, A Leveille, C Lacaille, ... IEEE Transactions on Communications 30 (12), 2506-2513, 1982 | 64 | 1982 |
| Testing for unboundedness of fifo channels T Jéron, C Jard Theoretical Computer Science 113 (1), 93-117, 1993 | 62 | 1993 |
Thierry JéronUniv Rennes, Inria, CNRS, IRISA在 inria.fr 的电子邮件经过验证
