dblp.uni-trier.dewww.uni-trier.de

Claude Jard

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
59EEGregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan: Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES 2008: 169-183
2007
58EESidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133
57EEStefan Haar, Claude Jard, Guy-Vincent Jourdan: Testing Input/Output Partial Order Automata. TestCom/FATES 2007: 171-185
56EESidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
55EESimon 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
54EEFranck Cassez, Thomas Chatain, Claude Jard: Symbolic Unfoldings for Networks of Timed Automata. ATVA 2006: 307-321
53EEThomas Chatain, Claude Jard: Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. ICATPN 2006: 125-145
52EEEmmanuel de Rosière, Claude Jard, Benoit Parreaux: LaTe, a Non-fully Deterministic Testing Language. TestCom 2006: 71-86
2005
51EEThomas Chatain, Claude Jard: Models for the Supervision of Web Services Orchestration with Dynamic Changes. AICT/SAPIR/ELETE 2005: 446-451
50EEThomas Chatain, Claude Jard: Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. FORMATS 2005: 196-210
49EEThomas Chatain, Loïc Hélouët, Claude Jard: From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. FORTE 2005: 489-502
48EEShigemasa 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)
47EEEric Fabre, Albert Benveniste, Stefan Haar, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems*. Discrete Event Dynamic Systems 15(1): 33-84 (2005)
46EEClaude Jard, Thierry Jéron: TGV: theory, principles and algorithms. STTT 7(4): 297-315 (2005)
2004
45EEThomas Chatain, Claude Jard: Symbolic Diagnosis of Partially Observable Concurrent Systems. FORTE 2004: 326-342
44EEEric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan: Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004: 820-825
43EEArmen Aghasaryan, Claude Jard, Julien Thomas: UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks. ICT 2004: 841-847
2003
42EEAlbert Benveniste, Stefan Haar, Eric Fabre, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003: 1-26
41EEClaude Jard: Synthesis of distributed testers from true-concurrency models of reactive systems. Information & Software Technology 45(12): 805-814 (2003)
2002
40EESimon 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
31EEAlbert 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
29EEJean-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)
21EEEddy 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
12EEClaude 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
7EEClaude 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
2EEClaude 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

Coauthor Index

1Armen Aghasaryan [43] [44]
2Marc Andreu [14]
3Cyrille Bareau [17] [23]
4Albert Benveniste [29] [31] [42] [44] [47] [48] [56] [58]
5Gregor von Bochmann [1] [2] [59]
6Renée Boubour [28]
7Zakaria Bouziane [29]
8Marius Bozga [33]
9Benoît Caillaud [17] [23] [29] [38]
10Hubert Canon [29]
11Franck Cassez [37] [54] [60]
12Eduard Cerny [1]
13Thomas Chatain [45] [49] [50] [51] [53] [54]
14William R. Cook [56]
15Daniele Corona [48]
16Philippe Desfray [36]
17Claire Diehl [13] [16]
18Eric Fabre [42] [44] [47] [48]
19Jean-Claude Fernandez [11] [26] [27] [33]
20Eddy Fromentin [21] [24]
21Michel Gagne [1]
22Stephane Gaubert [31]
23Lucian Ghirvu [33]
24Alessandro Giua [48]
25Roland Groz [3] [4] [5] [7]
26Alain Le Guennec [40]
27Stefan Haar [42] [44] [47] [48] [56] [57] [58] [59]
28Michèle Haziza [14]
29Jean-Michel Hélary [6]
30Loïc Hélouët [38] [49]
31Thierry Heuillard [36]
32Thierry Jéron [9] [10] [11] [15] [19] [20] [26] [27] [30] [32] [33] [34] [40] [46] [55]
33Jean-Marc Jézéquel [8] [12] [14] [25] [36] [40] [55]
34Guy-Vincent Jourdan [18] [19] [21] [22] [24] [57] [59]
35Hakim Kahlouche [30]
36Alain Kerbrat [33]
37David Kitchin [56]
38Clement Lacaille [1]
39Claire Lassudrie [3] [5]
40Alain Léveillé [1]
41Michel Maksud [1]
42Jean-François Monin [4] [7]
43Pierre Morel [33] [34]
44Laurent Mounier [11] [33]
45Benoit Parreaux [52]
46Simon Pickin [36] [40] [55]
47Noël Plouzeau [6]
48K. S. Raghunathan [1]
49Jean-Xavier Rampon [16] [19] [22]
50Michel Raynal [6] [21] [24]
51Sidney Rosario [56] [58]
52Emmanuel de Rosière [52]
53Brigitte Rozoy [37]
54Mark Ryan (Mark Dermot Ryan) [37]
55Behçet Sarikaya [1]
56Carla Seatzu [48]
57Shigemasa Takai [48]
58Jean-Pierre Talpin [29]
59Lénaick Tanguy [32] [35]
60Julien Thomas [43]
61René Thoraval [17] [23]
62Yves Le Traon [40] [55]
63Toshimitsu Ushio [48]
64César Viho [26] [27] [30] [32] [35]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)