Conferences internationales

2009

  1. C. Baier, N. Bertrand, M. Grosser, Probabilistic Acceptors for Languages over Infinite Words, in 35th Conference on Current Trends in Theory and Practice of Computer Science, LNCS No 5404, Spindleruv Mlyn, Czech, 2009. (détails)
  2. H. Marchand, J. Dubreil, T. Jéron, Automatic Testing of Access Control for Security Properties, in TestCom'09, 2009. (détails)
  3. G. Kalyon, T. Le Gall, H. Marchand, T. Massart, Computational Complexity for State-Feedback Controllers with Partial Observation, in 7th International Conference on Control and Automation, ICCA'09, Christchurch, New Zealand, Décembre 2009. (détails)
  4. F. Cassez, J. Dubreil, H. Marchand, Dynamic Observers for the Synthesis of Opaque Systems, in 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Macao SAR, China, Octobre 2009. (détails)
  5. C. Morvan, S. Pinchinat, Diagnosability of pushdown systems, in HVC2009, Haifa Verification Conference (to appear in LNCS), Haifa, Israel, Octobre 2009. (détails)
  6. N. Bertrand, B. Genest, Gimbert. H, Qualitative Determinacy and Decidability of Stochastic Games with Signals, in 24th Annual IEEE Symposium on Logic in Computer Science (LICS'09), IEEE Computer Society Press (ed.), Los Angeles, CA, USA, Août 2009. (détails)
  7. J. Dubreil, T. Jéron, H. Marchand, Monitoring Confidentiality by Diagnosis Techniques, in European Control Conference, Pages 2584-2590, Budapest, Hungary, Août 2009. (détails)
  8. G. Kalyon, Le Gall T, H. Marchand, T. Massart, Control of Infinite Symbolic Transition Systems under Partial Observation, in European Control Conference, Pages 1456-1462, Budapest, Hungary, Août 2009. (détails)
  9. C. Morvan, On external presentations of infinite graphs, in 11th International Workshop on Verification of Infinite-State Systems, INFINITY'09 (to appear in eptcs), Bologna, Italy, Août 2009. (détails)
  10. C. Baier, N. Bertrand, P. Bouyer, Th. Brihaye, When are timed automata determinizable?, in 36th International Colloquium on Automata, Languages and Programming (ICALP'09), LNCS No 5556, Pages 43-54, Rhodes, Greece, Juillet 2009. (détails)
  11. Jérémy Dubreil, Opacity and Abstraction, in Proceedings of the First International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'09), Paris, France, Juin 2009. (détails)
  12. N. Bertrand, S. Pinchinat, J.B. Raclet, Refinement and Consistency of Timed Modal Specifications, in Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), LNCS No 5457, Pages 152-163, Tarragona, Spain, Avril 2009. (détails)

2008

  1. Thierry Jéron, Symbolic model-based test selection, in Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Bahia, Brazil, P. Machado, A. Andrade, A. Duran (eds.), Pages 17-32, 2008. (détails)
  2. N. Bertrand, P. Bouyer, Th. Brihaye, N. Markey, Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics, in Proceedings of the 5th International Conference on the Quantitative Evaluation of SysTems (QEST'08), Saint Malo, France, Septembre 2008. (détails)
  3. T. Jéron, H. Marchand, S. Genc, S. Lafortune, Predictability of Sequence Patterns in Discrete Event Systems, in IFAC World Congress, Seoul, Korea, Juillet 2008. (détails)
  4. Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Groesser, Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata, in Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS'08), Pittsburgh, PA, USA, Juin 2008. (détails)
  5. G. Delaval, Modular Distribution and Application to Discrete Controller Synthesis, in International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P'08), Budapest, Hungary, Avril 2008. (détails)
  6. Christel Baier, Nathalie Bertrand, Marcus Groesser, On Decision Problems for Probabilistic Büchi Automata, in Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08), Budapest, Hungary, Mars 2008. (détails)
  7. J. Dubreil, Ph. Darondeau, H. Marchand, Opacity Enforcing Control Synthesis, in Workshop on Discrete Event Systems, WODES'08, Gothenburg, Sweden, Mars 2008. (détails)

2007

  1. B. Jeannet, T. Jéron, V. Rusu, Model-based test selection for infinite state reactive systems, in Formal Methods of Components and Objects - FMCO 2006, Amsterdam, Netherlands, Revised Lectures, F.S de Boer, M.M. Bonsangue, S. Graf, W.-P. de Roever (eds.), Volume 4709, Pages 47-69, 2007. (détails)
  2. M. Oostdijk, V. Rusu, J. Tretmans, R. de Vries, T. Willemse, Integrating verification, testing, and learning for cryptographic protocols, in Integrated Formal Methods (IFM'07), 2007. (détails)
  3. C. Baier, N. Bertrand, P. Bouyer, Th. Brihaye, M. Groesser, Probabilistic and Topological Semantics for Timed Automata, in Proceedings of the 27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'07), V. Arvind, Sanjiva Prasad (eds.), Volume 4855, New Delhi, India, Décembre 2007. (détails)
  4. T. Le Gall, B. Jeannet, Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification, in The 14th International Static Analysis Symposium, SAS 2007, Pages 52-68, Kongens Lyngby, Denmark, Août 2007. (détails)
  5. C. Constant, B. Jeannet, T. Jéron, Automatic test generation from interprocedural specifications, in TestCom/Fates07, Pages 41-57, Tallinn, Estonia, Juin 2007. (détails)
  6. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten, Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems, in First IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Paris, France, Juin 2007. (détails)

2006

  1. B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jéron, B. Legeard, B. Marre, C. Michel, M. Rueher, The V3F Project, in Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA06), Nantes, B. Blanc, A. Gotlieb, C. Michel (eds.), 2006. (détails)
  2. J. Komenda, H. Marchand, S. Pinchinat, A constructive approach to decentralized supervisory Control problems, in 3rd IFAC Workshop on Discrete-Event System Design, 2006. (détails)
  3. Thierry Jéron, Model-based test selection for infinite state reactive systems, in 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, Braga, Portugal, Octobre 2006. (détails)
  4. C. Baier, N. Bertrand, Ph. Schnoebelen, Symbolic verification of communicating systems with probabilistic message losses: liveness and fairness, in Proceedings of 26th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'06), Elie Najm, Jean-Francois Pradat-Peyre, Véronique Vigui\' Donzeau-Gouge (eds.), Volume 4229, Pages 212-227, Paris, France, Septembre 2006. (détails)
  5. T. Jéron, H. Marchand, V. Rusu, Symbolic Determinisation of Extended Automata, in 4th IFIP International Conference on Theoretical Computer Science, Stantiago, Chile, Août 2006. (détails)
  6. N. Bertrand, Ph. Schnoebelen, A short visit to the STS hierarchy, in Proceedings of the 12th International Workshop on Expressiveness in Concurrency (EXPRESS'05), Jos Baeten, Iain Phillips (eds.), Volume 154, Pages 59-69, San Francisco, CA, USA, Juillet 2006. (détails)
  7. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, in Workshop on Discrete Event Systems, WODES'06, Ann-Arbor (MI, USA), Juillet 2006. (détails)
  8. T. Le Gall, B. Jeannet, T. Jéron, Verification of Communication Protocols using Abstract Interpretation of FIFO queues, in 11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, Kuressaare, Estonia, Michael Johnson, Varmo Vene (eds.), Volume 4019, Pages 204-219, Juillet 2006. (détails)
  9. K. Schmidt, H. Marchand, B. Gaudin, Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models, in Workshop on Discrete Event Systems, WODES'06, Pages 149-154, Ann-Arbor (MI, USA), Juillet 2006. (détails)
  10. G. Barthe, J. Forest, D. Pichardie, V. Rusu, Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant, in Functional and LOgic Programming Systems (FLOPS'06), Volume 3945, Pages 114-129, Fuji Susono, Japan, Avril 2006. (détails)

2005

  1. B. Gaudin, H. Marchand, Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems, in 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 2763-2768, Seville (Spain), Décembre 2005. (détails)
  2. J. Komenda, J. H. van Schuppen, B. Gaudin, H. Marchand, Modular supervisory control with general indecomposable specification languages, in 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 3474-3479, Seville (Spain), Décembre 2005. (détails)
  3. T. Le Gall, B. Jeannet, H. Marchand, Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation, in 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 31-35, Seville (Spain), Décembre 2005. (détails)
  4. S. Bardin, A. Finkel, J. Leroux, P. Schnoebelen, Flat acceleration in symbolic model checking, in 3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), Volume 3707 of LNCS, Springer (ed.), Pages 474-488, Taipei, Taiwan, Octobre 2005. (détails)
  5. J. Leroux, G. Sutre, Flat counter automata almost everywhere!, in 3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), Volume 3707 of LNCS, Springer (ed.), Pages 489-503, Taipei, Taiwan, Octobre 2005. (détails)
  6. B. Jeannet, D. Gopan, T. Reps, A Relational Abstraction for Functions, in The 12th International Static Analysis Symposium, SAS '05, Volume 2672 of LNCS, Pages 186-202, Septembre 2005. (détails)
  7. B. Gaudin, H. Marchand, Efficient Computation of supervisors for loosely synchronous Discrete Event Systems: A State-Based Approach, in 6th IFAC World Congress, Prague, Czech Republic, Juillet 2005. (détails)
  8. Vlad Rusu, Hervé Marchand, Thierry Jéron, Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems, in Formal Methods 2005 (FM05), John Fitzgerald, Andrzej Tarlecki, Ian Hayes (eds.), Juillet 2005. (détails)
  9. B. Gaudin, H. Marchand, Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach, in 13th Mediterranean Conference on Control and Automation, Pages 889-895, Limassol, Cyprus, Juin 2005. (détails)
  10. J. Leroux, A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams, in Proc. 20th IEEE Symp. Logic in Computer Science (LICS'2005), Chicago, USA, Juin 2005. (détails)
  11. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva, Symbolic Test Selection based on Approximate Analysis, in 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), Volume 3440 of LNCS, Pages 349-364, Edinburgh (Scottland), Avril 2005. (détails)

2004

  1. B. Gaudin, H. Marchand, Modular Supervisory Control of a class of Concurrent Discrete Event Systems, in Workshop on Discrete Event Systems, WODES'04, Pages 181-186, Septembre 2004. (détails)
  2. B. Jeannet, A. Loginov, T. Reps, M. Sagiv, A Relational Approach to Interprocedural Shape Analysis, in 11th Static Analysis Symposium - SAS 2004. Volume 3148 of LNCS, Verona, Italy, Août 2004. (détails)
  3. B. Jeannet, W. Serwe, Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs, in 10th International Conference on Algebraic Methodology And Software Technology AMAST'2004. Volume 3116 of LNCS, Juillet 2004. (détails)
  4. N. Bertrand, Ph. Schnoebelen, Verifying Nondeterministic Channel Systems With Probabilistic Message Losses, in Proceedings of the 3rd International Workshop on Automated Verification of Infinite-State Systems (AVIS'04), Ramesh Bharadwaj (ed.), Barcelona, Spain, Avril 2004. (détails)
  5. V. Rusu, H. Marchand, V. Tschaen, T. Jéron, B. Jeannet, From Safety Verification to Safety Testing, in The 16th IFIP International Conference on Testing of Communicating Systems (TestCom04). Volume 2978 of LNCS, Oxford, UK, Mars 2004. (détails)
  6. D. Cachera, T. Jensen, D. Pichardie, V. Rusu, Extracting a data flow analyser in constructive logic, in European Symposium on Programming,ESOP'04. Volume 2986 of LNCS, Pages 385-400, Février 2004. (détails)

2003

  1. V. Rusu, Compositional verification of an ATM protocol, in Formal Methods Europe (FME'03), 2003. (détails)
  2. T. Jéron, H. Marchand, V. Rusu, V. Tschaen, Ensuring the conformance of reactive discrete-event systems using supervisory control, in 42nd IEEE Conference on Decision and Control, Hawaii, USA, Décembre 2003. (détails)
  3. A. Khoumsi, Jéron T, H. Marchand, Test Cases Generation for Nondeterministic Real-time Systems, in 3rd International Workshop on Formal Approaches To Testing of Software (FATES 2003), Montréal, Québec, Canada, Octobre 2003. (détails)
  4. F. Gaucher, E. Jahier, B. Jeannet, F. Maraninchi, Automatic State Reaching for Debugging Reactive Programs, in Fifth International Workshop on Automated and Algorithmic Debugging AADEBUG'2003,Ghent (Belgium), Septembre 2003. (détails)
  5. B. Gaudin, H Marchand, Modular Supervisory Control of Asynchronous and Hierarchical Finite State Machines, in European Control Conference, ECC 2003, Cambridge, UK, Septembre 2003. (détails)
  6. N. Bertrand, Ph. Schnoebelen, Model Checking Lossy Channels Systems Is Probably Decidable, in Proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'03), AndrewD. Gordon (ed.), Volume 2620, Pages 120-135, Warsaw, Poland, Avril 2003. (détails)

2002

  1. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, STG: a Symbolic Test Generation tool, in (Tool paper) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02). Volume 2280 of LNCS, 2002. (détails)
  2. V. Rusu, Verification using test generation techniques, in Formal Methods Europe (FME'02), 2002. (détails) download
  3. V. Rusu, E. Zinovieva, D. Clarke, Verifying Invariants More Automatically, in Verification and Computatoiional Logic, VCL'02, 2002. (détails) download
  4. H. Marchand, B. Gaudin, Supervisory Control Problems of Hierarchical Finite State Machines, in 41th IEEE Conference on Decision and Control, Las Vegas, USA, Décembre 2002. (détails)
  5. S. Pickin, C. Jard, Y. Le Traon, T. Jéron, J.-M. Jezequel, A. Le Guennec, System Test Synthesis from UML Models of Distributed Software, in Forte 2002, 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems. Volume 2529 of LNCS, Houston, Texas, Novembre 2002. (détails)
  6. A. Benveniste, P. Caspi, P. Le Guernic, H. Marchand, J.P. Talpin, S. Tripakis, A Protocol for Loosely Time-Triggered Architectures, in Embedded Software Conference (EMSOFT '02), Grenoble, France, Octobre 2002. (détails)
  7. H. Marchand, E. Rutten, A case study in applying discrete control synthesis to excavator operation, in IEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Hammamet, Tunisia, Octobre 2002. (détails)
  8. B. Jeannet, Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes, in Static Analysis Symposium, SAS'02, Volume 2477, Pages 52-68, Madrid (Spain)), Septembre 2002. (détails)
  9. B. Jeannet, P. D'Argenio, K.G. Larsen, RAPTURE: A tool for verifying Markov Decision Processes, in Tools Day, International Conference on Concurrency Theory, CONCUR'02, Brno, Czech Republic, Août 2002. (détails)
  10. P. D'Argenio, B. Jeannet, H.E. Jensen, K.G. Larsen, Reduction and Refinement Strategies for Probabilistic Analysis, in Process Algebra and Probabilistic Methods - Performance Modelling and Verification, PAPM-PROBMIV 2002, Volume 2399, Copenhagen, Denmark, Juillet 2002. (détails)
  11. C. Jard, T. Jéron, TGV: theory, principles and algorithms, in The Sixth World Conference on Integrated Design & Process Technology (IDPT'02), Pasadena, California, USA, Juin 2002. (détails)
  12. H. Marchand, E. Rutten, Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis, in 14th Euromicro Conference on Real-Time Systems (ECRTS'02), Juin 2002. (détails)
  13. E. Zinovieva, Symbolic Test Generation for Reactive Systems, in Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02), Juin 2002. (détails)

2001

  1. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, Automated Test and Oracle Generation for Smart-Card Applications, in International Conference on Research in Smart Cards (e-Smart'01), Volume 2140 of LNCS, Pages 58-70, 2001. (détails)
  2. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, STG : A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications, in Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), 2001. (détails)
  3. V. Rusu, Verifying that Invariants are Context-Inductive, in Theorem Proving in Higher-Order Logics (TPHOLs'01),, Category B paper, University of Edinburgh research Report EDI-INF-RR-0046, Pages 337-351, 2001. (détails)
  4. V. Rusu, Verifying a Sliding-Window Protocol using PVS, in Formal Description Techniques (FORTE'01), Pages 251-266, 2001. (détails)
  5. A. Benveniste, P. Bournai, T. Gautier, M. Le Borgne, P. Le Guernic, H. Marchand, The Signal declarative synchronous language : controller synthesis & systems/architecture design, in 40th IEEE Conference on Decision and Control, Pages 3284-3289, Décembre 2001. (détails)
  6. H. Marchand, O. Boivineau, S. Lafortune, Optimal control of discrete event systems under partial observation, in 40th IEEE Conference on Decision and Control, Pages 2235-2240, Décembre 2001. (détails)
  7. P.R. D'Argenio, B. Jeannet, H.E. Jensen, K.J. Larsen, Reachability Analysis of Probabilistic Systems by Successive Refinements, in Process Algebra and Probabilistic Methods - Performance Modelling and Verification, PAPM-PROBM 2001, Volume 2165, Aachen, Germany, Septembre 2001. (détails)

2000

  1. S. Bensalem, V. Ganesh, Y. Lakhnech, C. Munoz, S. Owre, H. Russ, J. Rushby, V. Rusu, H. Saidi, N. Shankar, E. Singerman, A. Tiwari, An Overview of SAL, in LFM 2000: Fifth NASA Langley Formal Methods Workshop, Pages 187-196, 2000. (détails) download
  2. V. Rusu, L. du Bousquet, T. Jéron, An approach to symbolic test generation, in International Conference on Integrating Formal Methods (IFM'00), Pages 338-357, Novembre 2000. (détails)
  3. A. Belinfante, L. Du Bousquet, S. Ramangalahy, S. Simon, C. Viho, R. De Vries, Formal test automation: the conference protocol with TGV/TorX, in IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems, TestCom 2000, Ottawa, Ontario, Canada, Hasan Ural, RobertL. Probert, Gregor v. Bochman (eds.), Pages 221-228, Août 2000. (détails)
  4. C. Jard, T. Jéron, P. Morel, Verification of Test Suites, in TestCom 2000, IFIP TC 6 / WG 6.1, The IFIP 13th International Conference on Testing of Communicating Systems, Ottawa, Ontario, Canada, H. Ural, R.L. Probert, G. v. Bochman (eds.), Août 2000. (détails)
  5. S. Pinchinat, H. Marchand, Symbolic Abstractions of Automata, in Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 39-48, Ghent, Belgium, Août 2000. (détails)
  6. L. Du Bousquet, H. Martin, Automatic test generation for Java-Card applets, in 4th Workshop on Tools for System Design and Verification, Juillet 2000. (détails)
  7. H. Marchand, S. Pinchinat, Supervisory Control Problem using Symbolic Bisimulation Techniques, in 2000 American Control Conference, Pages 4067-4071, Chicago, Illinois, USA, Juin 2000. (détails)

1999

  1. V. Rusu, E. Singerman, On proving safety properties by integrating static analysis, theorem proving and abstraction, in Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Pages 178-192, 1999. (détails)
  2. T. Jéron, J.-M. Jézéquel, Y. Le Traon, P. Morel, Efficient Strategies for Integration and Regression Testing of 00 Systems, in 10th IEEE International Symposium on Software Reliability Engineering, ISSRE'99, Boca Raton, Florida, Pages 260-269, Novembre 1999. (détails)
  3. C. Jard, T. Jéron, L. Tanguy, C. Viho, Remote testing can be as powerful as local testing, in Formal methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX' 99, Beijing, China, J. Wu, S. Chanson, Q. Gao (eds.), Pages 25-40, Octobre 1999. (détails)
  4. H. Marchand, M. Samaan, On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology, in World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Pages 1605-1624, Toulouse, France, Octobre 1999. (détails)
  5. B. Jeannet, N. Halbwachs, P. Raymond, Dynamic Partitioning in Analyses of Numerical Properties, in Static Analysis Symposium, SAS'99, Volume 1694, Venezia (Italy), Septembre 1999. (détails)
  6. T. Jéron, P. Morel, Test generation derived from model-checking, in CAV'99, Trento, Italy, N. Halbwachs, D. Peled (eds.), Volume 1633, Pages 108-122, Juillet 1999. (détails)
  7. R. Groz, T. Jéron, A. Kerbrat, Automated Test Generation from SDL specifications, in SDL'99 The Next Millenium, 9th SDL Forum, Montréal, Québec, R. Dssouli, G. von Bochmann, Y. Lahav (eds.), Pages 135-152, Juin 1999. (détails)
  8. S. Ramangalahy, P. Le Gall, T. Jéron, Une application de la théorie des jeux au test de conformité, in Colloque Francophone sur l'Ingénierie des Protocoles, CFIP 99, Nancy, France, A. Schaff (ed.), Avril 1999. (détails)
  9. H. Kahlouche, C. Viho, M. Zendri, Hardware Testing using a Communication Protocol Conformance Testing Tool, in Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), W.R. Cleaveland (ed.), Volume 1579, Pages 315-329, Mars 1999. (détails)

1998

  1. T.A. Henzinger, V. Rusu, Reachability verification for hybrid automata, in International Workshop on Hybrid Systems: Computation and Control, Pages 190-204, Berkeley, California, USA, 1998. (détails)
  2. C. Jard, T. Jéron, H. Kahlouche, C. Viho, Towards Automatic Distribution of Testers for Distributed Conformance Testing, in FORTE/PSTV'98, Paris, France, Novembre 1998. (détails)
  3. C. Jard, T. Jéron, Verification and distributed observation of the alternating bit protocol, in FORTE/PSTV'98, ECASP: Special Session on Educational Case Studies in Protocols, Paris, France, Novembre 1998. (détails)
  4. H. Marchand, O. Boivineau, S. Lafortune, On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals, in 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 734-739, San Diego, California, USA, Octobre 1998. (détails)
  5. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic, A Design Environment for Discrete-Event Controllers based on the SIGNAL Language, in 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 770-775, San Diego, California, USA, Octobre 1998. (détails)
  6. H. Kahlouche, C. Viho, M. Zendri, An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol, in IFIP TC6 11th International Workshop on Testing of Communicating Systems, A. Petrenko, N. Yevtushenko (eds.), Septembre 1998. (détails)
  7. H. Marchand, M. Le Borgne, Partial Order Control of Discrete Event Systems modeled as Polynomial Dynamical Systems, in 1998 IEEE International Conference On Control Applications, Trieste, Italie, Septembre 1998. (détails)
  8. H. Marchand, M. Le Borgne, On the Optimal Control of Polynomial Dynamical Systems over Z/pZ, in 4th IEE International Workshop on Discrete Event Systems, Pages 385-390, Cagliari, Italie, Août 1998. (détails)
  9. T. Jéron, J.-M. Jézéquel, A. Le Guennec, Validation and Test Generation for Object-Oriented Distributed Software, in IEEE Proc. Parallel and Distributed Software Engineering, PDSE'98, Kyoto, Japan, Avril 1998. (détails)

1997

  1. C. Ancourt, D. Barthou, C. Guettier, F. Irigoin, B. Jeannet, J. Jourdan, J. Mattioli, Automatic Data Mapping of Signal Processing Applications, in Int. Conf. on Application-specific Systems, Architectures and Processors (ASAP'97), 1997. (détails)
  2. F. Boniol, A. Burgueno, O. Roux, V. Rusu, Analysis of slope-parametric hybrid automata, in International Workshop on Hybrid and Real-Time Systems (HART'97), Volume 1201 of LNCS, Pages 75-81, Grenoble, France, 1997. (détails)
  3. A. Burgueno, V. Rusu, Task-system analysis using slope-parametric hybrid automata, in Proceedings of the European Conference on Parallelism (EuroPar'97) Volume 1300 of LNCS, Pages 1262-1273, Passau (Germany), 1997. (détails)
  4. V. Rusu, Verifying periodic task-control systems, in International Workshop on Hybrid and Real-Time Systems (HART'97), Volume 1201 of LNCS, Pages 63-69, Grenoble, France, 1997. (détails)
  5. T. Jéron, P. Morel, Abstraction, $\tau$-réduction et déterminisation à la volée: application à la génération de test, in CFIP'97, Congrès Francophone sur l'Ingéniérie des Protocoles, Liège, Belgique, Septembre 1997. (détails)

1996

  1. O. Roux, V. Rusu, Deciding time-bounded properties for ELECTRE reactive programs with stopwatch automata, in International workshop on Hybrid Systems and Autonomous Control (WHSAC'94), Volume 999 of LNCS, Pages 405-416, Cornell University, Ithaca (New York, USA), 1996. (détails)
  2. Y.-M. Quemener, T. Jéron, Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars, in FORTE/PSTV'96, Octobre 1996. (détails) download
  3. L. Doldi, V. Encontre, J.-C. Fernandez, T. Jéron, S. Le Bricquir, N. Texier, M. Phalippou, Assessment of Automatic Generation Methods of Conformance Test Suites in an Industrial Context, in IFIP TC6 9th International Workshop on Testing of Communicating Systems, B. Baumgarten, H.-J. Burkhardt, A. Giessler (eds.), Septembre 1996. (détails)
  4. J.-C. Fernandez, C. Jard, T. Jéron, G. Viho, Using on-the-fly Verification Techniques for the Generation of Test Suites, in Conference on Computer-Aided Verification (CAV'96), New Brunswick, New Jersey, USA, A. Alur, T. Henzinger (eds.), Volume 1102, Juillet 1996. (détails) download
  5. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan, Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller, in Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Pages 271-285, Munich, Germany, Juillet 1996. (détails)

1995

  1. H. Marchand, E. Rutten, M. Samaan, Synchronous design of a transformer station controller in Signal, in Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, Pages 754-759, Septembre 1995. (détails)
  2. Y.-M. Quemener, T. Jéron, Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars, in SEGRAGRA'95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Volterra, Italie, A. Corradini, U. Montanari (eds.), Pages 64-74, Septembre 1995. (détails) download
  3. T. Jéron, Dessin en 3 dimensions de graphes d'accessibilité de processus communicants, in CFIP'95, Colloque Francophone sur l'Ingéniérie des Protocoles, Rennes, France, C. Jard, P. Rolin (eds.), Pages 373-386, Mai 1995. (détails) download

1994

  1. C. Jard, T. Jéron, Formal Analysis of Distributed Computations, in (Conférence invitée) Septièmes entretiens du centre Jacques Cartier, Communicating Informatics and Distributed Systems, Grenoble, France, Gv. Bochmann, M. Barbeau, M. Riveill, J. Sifakis (eds.), Décembre 1994. (détails)
  2. T. Jéron, C. Jard, 3D Layout of Reachability Graphs of Communicating Processes, in Graph Drawing'94, DIMACS Workshop, Princeton, New-Jersey, Volume 894, Pages 25-33, Octobre 1994. (détails) download
  3. C. Jard, T. Jéron, G.-V. Jourdan, J.-X. Rampon, A General Approach to Trace Checking in Distributed Computing Systems, in 14th International Conference on Distributed Computing Systems, Poznan, Pologne, Pages 396-403, Juin 1994. (détails)

1991

  1. C. Jard, T. Jéron, Bounded Memory Algorithms for Verification On the fly, in CAV'91: Symposium on Computer Aided Verification, Aalborg, Denmark, Volume 575, Pages 192-202, Juin 1991. (détails)
  2. T. Jéron, Testing for unboundedness of fifo channels, in STACS 91 : Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, Volume 480, Pages 322-333, Février 1991. (détails)
  3. T. Jéron, Prototype of a verification tool, in STACS 91 (Tool Demonstration): Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, Volume 480, Pages 322-333, Février 1991. (détails)

1989

  1. M. Adam, P. Burgevin, B. Caillaud, A. Couvert, J.-M. Helary, P. Ingels, C. Jard, T. Jeron, J.-M. Jezequel, R. Pedrono, M. Raynal, Distributed Computers in the Design and Analysis of Distributed Algorithms, in 1er Colloque Européen sur les Hypercubes et Calculateurs Distribués, Rennes, Octobre 1989. (détails)
  2. C. Jard, T. Jéron, On-line model-checking for finite linear temporal logic specifications, in Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, Volume 407, Pages 275-285, Juin 1989. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

This page has been automatically generated using the bib2html program.