The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Claude Jard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  54. Symbolic Unfolding of Parametric Stopwatch Petri Nets. [Citation Graph (, )][DBLP]


  55. Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. [Citation Graph (, )][DBLP]


  56. Variability Modeling and QoS Analysis of Web Services Orchestrations. [Citation Graph (, )][DBLP]


  57. Monitoring probabilistic SLAs in Web service orchestrations. [Citation Graph (, )][DBLP]


  58. Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. [Citation Graph (, )][DBLP]


  59. Testing Systems Specified as Partial Order Input/Output Automata. [Citation Graph (, )][DBLP]


  60. Event Structure Semantics of Orc. [Citation Graph (, )][DBLP]


  61. Echidna, an estelle compiler to prototype protocols on distributed computers. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002