| 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 |
