2008 | ||
---|---|---|
60 | Franck Cassez, Claude Jard: Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings Springer 2008 | |
59 | EE | Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan: Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES 2008: 169-183 |
2007 | ||
58 | EE | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133 |
57 | EE | Stefan Haar, Claude Jard, Guy-Vincent Jourdan: Testing Input/Output Partial Order Automata. TestCom/FATES 2007: 171-185 |
56 | EE | Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168 |
55 | EE | Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon: Test Synthesis from UML Models of Distributed Software. IEEE Trans. Software Eng. 33(4): 252-269 (2007) |
2006 | ||
54 | EE | Franck Cassez, Thomas Chatain, Claude Jard: Symbolic Unfoldings for Networks of Timed Automata. ATVA 2006: 307-321 |
53 | EE | Thomas Chatain, Claude Jard: Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. ICATPN 2006: 125-145 |
52 | EE | Emmanuel de Rosière, Claude Jard, Benoit Parreaux: LaTe, a Non-fully Deterministic Testing Language. TestCom 2006: 71-86 |
2005 | ||
51 | EE | Thomas Chatain, Claude Jard: Models for the Supervision of Web Services Orchestration with Dynamic Changes. AICT/SAPIR/ELETE 2005: 446-451 |
50 | EE | Thomas Chatain, Claude Jard: Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. FORMATS 2005: 196-210 |
49 | EE | Thomas Chatain, Loïc Hélouët, Claude Jard: From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. FORTE 2005: 489-502 |
48 | EE | Shigemasa Takai, Toshimitsu Ushio, Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Alessandro Giua, Daniele Corona, Carla Seatzu: Contributing Authors. Discrete Event Dynamic Systems 15(1): 109-112 (2005) |
47 | EE | Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems*. Discrete Event Dynamic Systems 15(1): 33-84 (2005) |
46 | EE | Claude Jard, Thierry Jéron: TGV: theory, principles and algorithms. STTT 7(4): 297-315 (2005) |
2004 | ||
45 | EE | Thomas Chatain, Claude Jard: Symbolic Diagnosis of Partially Observable Concurrent Systems. FORTE 2004: 326-342 |
44 | EE | Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan: Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004: 820-825 |
43 | EE | Armen Aghasaryan, Claude Jard, Julien Thomas: UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks. ICT 2004: 841-847 |
2003 | ||
42 | EE | Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003: 1-26 |
41 | EE | Claude Jard: Synthesis of distributed testers from true-concurrency models of reactive systems. Information & Software Technology 45(12): 805-814 (2003) |
2002 | ||
40 | EE | Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec: System Test Synthesis from UML Models of Distributed Software. FORTE 2002: 97-113 |
39 | Claude Jard: Principles of Distributed Test Synthesis based on True-concurrency Models. TestCom 2002: 301-316 | |
38 | Loïc Hélouët, Claude Jard, Benoît Caillaud: An Event Structure Based Semantics for High-Level Message Sequence Charts. Mathematical Structures in Computer Science 12(4): 377-402 (2002) | |
2001 | ||
37 | Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 Springer 2001 | |
36 | Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray: A UML-integrated Test Description Language for Component Testing. pUML 2001: 208-223 | |
2000 | ||
35 | Lénaick Tanguy, César Viho, Claude Jard: Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. ICDCS Workshop on Distributed System Validation and Verification 2000: E67-E74 | |
34 | Claude Jard, Thierry Jéron, Pierre Morel: Verification of Test Suites. TestCom 2000: 3-18 | |
33 | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier: Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36(1): 27-52 (2000) | |
1999 | ||
32 | Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho: Remote testin can be as powerful as local testing. FORTE 1999: 25-40 | |
1998 | ||
31 | EE | Albert Benveniste, Claude Jard, Stephane Gaubert: Algebraic Techniques for Timed Systems. CONCUR 1998: 373-388 |
30 | Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho: Towards Automatic Distribution of Testers for Distributed Conformance Testing. FORTE 1998: 353-368 | |
29 | EE | Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon: BDL, A Language of Distributed Reactive Objects. ISORC 1998: 196-205 |
1997 | ||
28 | Renée Boubour, Claude Jard: Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation. ICATPN 1997: 367-386 | |
27 | Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho: An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Sci. Comput. Program. 29(1-2): 123-146 (1997) | |
1996 | ||
26 | Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho: Using On-The-Fly Verification Techniques for the Generation of test Suites. CAV 1996: 348-359 | |
25 | Jean-Marc Jézéquel, Claude Jard: Building a global clock for observing computations in distributed memory parallel computers. Concurrency - Practice and Experience 8(1): 71-89 (1996) | |
1995 | ||
24 | Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal: Recognition of Patterns on Control Flows for Debugging Distributed Executions. AADEBUG 1995: 221-232 | |
23 | Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval: Measuring Concurrency of Regular Distributed Computations. TAPSOFT 1995: 711-725 | |
22 | Claude Jard, Guy-Vincent Jourdan, Jean-Xavier Rampon: On-Line Computations of the Ideal Lattice of Posets. ITA 29(3): 227-244 (1995) | |
21 | EE | Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal: On-The-Fly Analysis of Distributed Computations. Inf. Process. Lett. 54(5): 267-274 (1995) |
1994 | ||
20 | Thierry Jéron, Claude Jard: 3D Layout of Reachability Graphs of Communicating Processes. Graph Drawing 1994: 25-32 | |
19 | Claude Jard, Thierry Jéron, Guy-Vincent Jourdan, Jean-Xavier Rampon: A General Approach to Trace-Checking in Distributed Computing Systems. ICDCS 1994: 396-403 | |
18 | Claude Jard, Guy-Vincent Jourdan: On the Coding of Dependencies in Distributed Computations (Abstract). PODC 1994: 377 | |
1993 | ||
17 | Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval: Correctness of Automated Distribution of Sequential Programs. PARLE 1993: 517-528 | |
16 | Claire Diehl, Claude Jard, Jean-Xavier Rampon: Reachability Analysis on Distributed Executions. TAPSOFT 1993: 629-643 | |
15 | Thierry Jéron, Claude Jard: Testing for Unboundedness of FIFO Channels. Theor. Comput. Sci. 113(1): 93-117 (1993) | |
1992 | ||
14 | Marc Andreu, Michèle Haziza, Claude Jard, Jean-Marc Jézéquel: Analyzing a space-protocol: from specification, simulation to experimentation. FORTE 1992: 187-198 | |
13 | Claire Diehl, Claude Jard: Interval Approximations of Message Causality in Distributed Executions. STACS 1992: 363-374 | |
12 | EE | Claude Jard, Jean-Marc Jézéquel: Echidna, an estelle compiler to prototype protocols on distributed computers. Concurrency - Practice and Experience 4(5): 377-397 (1992) |
11 | Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron: On-the-fly Verification of Finite Transition Systems. Formal Methods in System Design 1(2/3): 251-273 (1992) | |
1991 | ||
10 | Claude Jard, Thierry Jéron: Bounded-memory Algorithms for Verification On-the-fly. CAV 1991: 192-202 | |
1989 | ||
9 | Claude Jard, Thierry Jéron: On-Line Model Checking for Finite Linear Temporal Logic Specifications. Automatic Verification Methods for Finite State Systems 1989: 189-196 | |
8 | Claude Jard, Jean-Marc Jézéquel: A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines. PSTV 1989: 161-174 | |
1988 | ||
7 | EE | Claude Jard, Jean-François Monin, Roland Groz: Development of Véda, a Prototyping Tool for Distributed Algorithms. IEEE Trans. Software Eng. 14(3): 339-352 (1988) |
1987 | ||
6 | Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal: Detection of Stable Properties in Distributed Applications. PODC 1987: 125-136 | |
1986 | ||
5 | Roland Groz, Claude Jard, Claire Lassudrie: Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools. Computer Networks 10: 245-257 (1986) | |
1985 | ||
4 | Claude Jard, Jean-François Monin, Roland Groz: Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. PSTV 1985: 315-331 | |
1984 | ||
3 | Roland Groz, Claude Jard, Claire Lassudrie: Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools. PSTV 1984: 3-17 | |
1983 | ||
2 | EE | Claude Jard, Gregor von Bochmann: An approach to testing specifications. Journal of Systems and Software 3(4): 315-323 (1983) |
1982 | ||
1 | Gregor von Bochmann, Eduard Cerny, Michel Gagne, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya: Some Experience with the Use of Formal Specifications. PSTV 1982: 171-185 |