Conférences internationales

2015

1. Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat. Inferring finite state machines without reset using state identification sequences. In Proceedings of the International Conference on Testing Software and Systems, ICTSS 2015, Dubai, Novembre 2015.

2014

1. Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru. B Formal Validation of ERTMS/ETCS Railway Operating Rules. In 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Yamine Aït Ameur, Klaus-Dieter Schewe (eds.), LNCS, Volume 8477, Pages 124-129, 2014.
2. Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez. Efficient and Generalized Decentralized Monitoring of Regular Languages. In 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14), LNCS, 2014.
3. Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier. Automatic Model Inference of Web Applications for Security Testing. In 5th International Workshop on Security Testing (SECTEST 2014), Workshop of the IEEE 7th International Conference on Software Testing, Verification and Validation (ICST 2014), 2014.
4. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Regular Timed Properties. In 29th Symposium On Applied Computing (SAC 2014), Pages 1279-1286, 2014.
5. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. In 12th IFAC - IEEE International Workshop on Discrete Event Systems, 2014.
6. Amira Radhouani, Akram Idani, Yves Ledru. Extraction of Insider Attack Scenarios for a Formal Information System Modeling. In Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference, Véronique Cortier, Riadh Robbana (eds.), Volume 1158, Pages 5-19, 2014.
7. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. KameleonFuzz: Evolutionary Fuzzing for Black-Box XSS Detection. In Fourth ACM Conference on Data and Application Security and Privacy (CODASPY 2014), Mars 2014. download
8. Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat. Model Inference and Security Testing in the SPaCIoS Project. In IEEE Working Conference on Reverse Engineering, CSMR-WCRE 2014, Pages 411-414, Antwerp, Belgium, Février 2014.
9. Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat. Inferring Approximated Models for Systems Engineering. In 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), Pages 249-253, Miami, Florida, USA, Janvier 2014.

2013

1. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Single-Trace Fault Localization in Embedded Software. In 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pages 148-157, Pasadena, CA, USA, 2013.
2. Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 431-438, Luxembourg, 2013. download
3. Mickaël Delahaye, Nikolai Kosmatov. A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. In Runtime Verification (RV 2013), LNCS, Volume 8174, Pages 328-333, Rennes, France, 2013.
4. Yliès Falcone, Sebastian Currea, Mohamad Jaber. Runtime Verification and Enforcement for Android Applications with RV-Droid. In Third International Conference on Runtime Verification, RV 2012, Pages 88-95, 2013.
5. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo. Runtime Enforcement of Timed Properties. In Third International Conference on Runtime Verification, RV 2012, Pages 229-244, 2013.
6. Muhammad Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu. Automated Reviewing of Healthcare Security Policies. In Postproceedings of the 2nd Intl Symposium on the Foundations of Health Information Engineering and Systems - FHIES 2012, Lecture Notes in Computer Science, Volume 7789, Pages 176-193, 2013.
7. Sanjay Rawat, Fabien Duchene, Roland Groz, Jean-Luc Richier. Evolving Indigestible Codes: Fuzzing Interpreters with Genetic Programming. In IEEE Symposium on Computational Intelligence in Cyber Security (CICS 2013), in association with the IEEE Symposium Series on Computational Intelligence (SSCI 2013), Pages 37-39, Singapore, Singapore, 2013.
8. Yliès Falcone, Hervé Marchand. Runtime Enforcement of K-step Opacity. In 52nd IEEE Conference on Decision and Control (CDC 2013), Pages 7271-7278, Florence, Italy, Décembre 2013.
9. Fabien Duchene. Fuzz in the Dark: Genetic Algorithm for Black-Box Fuzzing. In Black-Hat, São Paulo, Brazil, Novembre 2013.
10. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. LigRE: Reverse-Engineering of Control and Data Flow Models for Black-Box XSS Detection. In Working Conference in Reverse Engineering (WCRE 2013), Volume 20, Pages 252-261, Koblenz-Landau, Germany, Octobre 2013.
11. Mickaël Delahaye, Lydie du Bousquet. A Comparison of Mutation Analysis Tools for Java. In International Conference on Quality Software (QSIC 2013), Pages 187-195, Juillet 2013.
12. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Compressing Microcontroller Execution Traces to Assist System Analysis. In International Embedded Systems Symposium (IESS), Pages 139-150, Juin 2013.
13. Akram Idani, Yves Ledru, Adil Anwar. A rigorous reasoning about model transformations using the B method. In International Conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD'2013), held at CAiSE 2013, Pages 426-440, Valencia, Spain, Juin 2013.
14. Y. Grasland, L du Bousquet, R. Groz, I. Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. In Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 104-113, Luxembourg, Avril 2013.
15. Mickaël Delahaye, Nikolai Kosmatov, Julien Signoles. Common Specification Language for Static and Dynamic Analysis of C Programs. In 28th Annual ACM Symposium on Applied Computing (SAC 2013), Pages 1230-1235, Mars 2013.
16. Mickaël Delahaye, Nikolai Kosmatov. A Late Treatment of C Precondition in Dynamic Symbolic Execution. In Fifth Workshop on the Constraints in Software Testing, Verification and Analysis (CSTVA 2013), Pages 230-231, Mars 2013.
17. Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier. Automatic generation of test drivers for model inference of web applications. In Fourth International Workshop on Security Testing (SECTEST 2013), Workshop of the IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 441-444, Luxembourg, Mars 2013.

2012

1. Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. In FM 2012: Formal Methods - 18th International Symposium, Pages 68-84, 2012.
2. Yliès Falcone, Lenore D. Zuck. Runtime Verification: The Application Perspective. In Proceedings of the 5th International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 284-291, 2012.
3. Yliès Falcone, Sebastian Currea. Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. In IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Pages 350-353, 2012. download
4. Yliès Falcone, Sebastian Currea, Mohamad Jaber. Runtime Verification and Enforcement for Android Applications with RV-Droid. In Runtime Verification, Third International Conference, RV 2012, Pages 88-95, 2012.
5. Andreas Klaus Bauer, Yliès Falcone. Decentralised LTL Monitoring. In FM 2012: Formal Methods - 18th International Symposium, Pages 85-100, 2012.
6. Jan Olaf Blech, Yliès Falcone, Klaus Becker. Towards Certified Runtime Verification. In Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science, Volume 7635, Pages 494-509, 2012.
7. Jan Olaf Blech, Yliès Falcone, Harald Ruess, Bernhard Schätz. Behavioral Specification Based Runtime Monitors for OSGi Services. In Proceedings of the 5th International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 405-419, 2012.
8. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo. Runtime Enforcement of Timed Properties. In Runtime Verification, Third International Conference, RV 2012, Pages 229-244, 2012.
9. Muhammad Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu. Automated Reviewing of Healthcare Security Policies. In Preproceedings of the 2nd Intl Symposium on the Foundations of Health Information Engineering and Systems - FHIES 2012, Pages 176-193, 2012.
10. Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE. In 24th International Conference on Software and Systems Engineering and their Applications (ICSSEA 2012), Pages 1-7, Octobre 2012.
11. Roland Groz, Muhammad Naeem Irfan, Catherine Oriat. Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. In Proceedings of the International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 444-457, Octobre 2012.
12. Muhammad Naeem Irfan, Roland Groz, Catherine Oriat. Improving Model Inference of Black Box Components having Large Input Test Set. In Proceedings of the 11th International Conference on Grammatical Inference, ICGI 2012, Pages 133-138, Septembre 2012.
13. Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, Matthieu Petit. MuTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization. In International Conference on Software Security and Reliability (SERE 2012), Pages 197-206, Gaithersburg, Maryland, USA, Juin 2012.
14. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. A Taint Based Approach for Smart Fuzzing. In Fifth International Conference on Software Testing, Verification and Validation, ICST 2012, Pages 818-825, Montreal, QC, Canada, Avril 2012. download
15. Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier. XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. In Fifth International Conference on Software Testing, Verification and Validation, ICST 2012, Pages 815-817, Montreal, QC, Canada, Avril 2012. download
16. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella. Model-based filtering of combinatorial test suites. In Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), LNCS, Volume 7212, Pages 439-454, Tallinn, Estonia, Mars 2012.

2011

1. Y. Falcone, M. Jaber, Th-H. Nguyen, M. Bozga, S. Bensalem. Runtime Verification of Component-Based Systems. In SEFM11: International Conference of Software Engineering and Formal Methods, Pages 204-220, 2011.
2. Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata. In Proceedings of the 23rd IFIP Int. Conference on Testing Software and Systems, ICTSS'2011, Burkhart Wolff, Fatiha Zaidi (eds.), Pages 5-12, Paris, France, Novembre 2011.
3. Muhammad Nafees Qamar, Yves Ledru, Akram Idani. Validation of Security-Design Models using Z. In Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM 2011), LNCS, Volume 6991, Pages 259-274, Durham, United Kingdom, Octobre 2011.
4. Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. In Workshop on Formal Methods for Industrial Critical Systems (FMICS), Pages 85-101, Trento, Italie, Août 2011. download
5. Yves Ledru, Jean-Luc Richier, Akram Idani, Mohamed-Amine Labiadh. From KAOS to RBAC: A Case Study in Designing Access Control Rules from a Requirements Analysis. In Conference on Network and Information Systems Security (SAR-SSI 2011), Pages 157-164, La Rochelle, France, Mai 2011. download
6. Laya Madani, Ioannis Parissis. Automatically testing interactive multimodal systems using task trees and fusion models. In Proceeding of the 6th international workshop on Automation of Software Test (AST'11), Pages 43-49, États-Unis, Mai 2011. download
7. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. Finding Software Vulnerabilities by Smart Fuzzing. In IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Pages 427-430, Berlin, Germany, Mars 2011.
8. Yves Grasland. Testing Resource Usage in Home Automation Systems. In Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST'11) (short paper: 4 pages), Pages 419-422, Berlin, Mars 2011.
9. Yves Ledru, Muhammad Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh. Validation of Security Policies by the Animation of Z Specifications. In SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Ruth Breu, Jason Crampton, Jorge Lobo (eds.), Pages 155-164, Innsbruck, Austria, 2011.

2010

1. Lydie du Bousquet. A New Approach for Software Testability. In Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference (TAIC PART), Lecture Notes in Computer Science, Volume 6303, Pages 207-210, Windsor, UK, 2010.
2. Lydie du Bousquet, Michel Lévy. Proof Process Evaluation with Mutation Analysis. In Tests and Proofs(TAP), Lecture Notes in Computer Science, Volume 6143, Pages 55-60, Malaga, Spain, 2010.
3. Khaled El-Fakih, Roland Groz, Muhammad Naeem Irfan, Muzammil Shahbaz. Learning Finite State Models of Observable Nondeterministic Systems in a Testing Context. In 22nd IFIP International Conference on Testing Software and Systems, Pages 97-102, Natal, Brazil, 2010.
4. Muhammad Naeem Irfan. State Machine Inference in Testing Context with Long Counterexamples. In Third International Conference on Software Testing, Verification and Validation, ICST 2010, Pages 508-511, Paris, France, 2010.
5. Ajitha Rajan, Lydie du Bousquet, Yves Ledru, German Vega, Jean-Luc Richier. Assertion-based test oracles for home automation systems. In Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES'10, Pages 45-52, New York, NY, USA, 2010. download download
6. Mariam Lahami, Moez Krichen, Akram Idani, Mohamed Jmaiel. A generic process to build reliable distributed software components from early to late stages of software development. In Sixth IEEE International Conference on Computer Engineering and Systems (ICCES'10), Pages 287-292, Cairo, Egypt, Novembre 2010.
7. Tor Stalhane, Guttorm Sindre, Lydie du Bousquet. Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases. In Advanced Information Systems Engineering, 22nd International Conference (CAiSE), Lecture Notes in Computer Science, Volume 6051, Pages 165-179, Hammamet, Tunisia, Juin 2010.
8. Ioannis Parissis, Laya Madani, Virginia Papailiopoulou. Towards a testing methodology for reactive systems: a case study of a landing gear controller. In Proceedings of the 3th International Conference on Software Testing and Verification (ICST 2010), Pages 489-497, Paris, France, 2010. download

2009

1. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. In Workshop on Runtime Verification (RV 2009), Pages 40-59, 2009.
2. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement monitoring wrt. the safety-progress classification of properties. In Proceedings of the 2009 ACM Symposium on Applied Computing (SAC 2009), Pages 593-600, 2009.
3. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. In Runtime Verification, 9th International Workshop, RV 2009, Lecture Notes in Computer Science, Volume 5779, Pages 40-59, 2009.
4. Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Revisiting the Steam-Boiler Case Study with Lutess : Modeling for Automatic Test Generation. In 12th European Workshop on Dependable Computing, Toulouse, France, 2009.
5. Muhammad Nafees Qamar. Analysis and Composition of Multiple Aspects in Aspect Oriented Programs. In 16th IEEE Asia-Pacific Software Engineering Conference, Pages 223-230, Décembre 2009.
6. Yves Ledru, Alexandre Petrenko, Sergiy Boroday. Using String Distances for Test Case Prioritisation. In 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), J. Grundy, M. Heimdahl, G. Taentzer (eds.), Pages 510-514, Auckland, New Zealand, Novembre 2009.
7. Muzammil Shahbaz, Roland Groz. Inferring Mealy Machines. In Formal Methods 2009, Pages 207-222, Eindhoven, Netherland, Novembre 2009.
8. Muhammad Naeem Irfan. Heuristics for Improving Model Learning Based Software Testing. In Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART 2009), Pages 127-128, Windsor, UK, Septembre 2009.
9. M.-R. Shaheen, L. du Bousquet. Analysis of the introduction of testability antipatterns during the development process. In Fourth International Conference on Software Engineering Advances ICSEA, Pages 128-133, Porto, Portugal, Septembre 2009.
10. M.-R. Shaheen, L. du Bousquet. Is Depth of Inheritance Tree a Good Cost Prediction For Branch Coverage Testing?. In First International Conference on Advances in System Testing and Validation Lifecycle VALID, Pages 42-47, Porto, Portugal, Septembre 2009.
11. Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, German Vega. Service specification and validation in the context of the home. In 10th International Conference on Feature Interactions (ICFI 2009), Pages 207-219, Lisbon, Portugal, Juin 2009.
12. Akram Idani. UML models engineering from static and dynamic aspects of formal specifications. In 14th International Conference on Exploring Modeling Methods for Systems Analysis and Design ; co-located with CAiSE'2009, Springer, LNBIP, Volume 29, Pages 237-250, Amsterdam, The Netherlands, Juin 2009.

2008

1. Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz. Modular System Verification by Inference, Testing and Reachability Analysis. In Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.), Lecture Notes in Computer Science, Volume 5047, Pages 216-233, 2008.
2. Akram Idani, Bernard Coulette. Towards reverse-engineering of UML views from structured formal developments. In 10th International Conference on Enterprise Information Systems (ICEIS'08), Pages 94-103, Spain, 2008.
3. Virginia Papailiopoulou. Automatic Test Generation for LUSTRE/SCADE Programs. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008) - Doctoral Symposium, 15-19 September 2008, L'Aquila, Italy, Pages 517-520, 2008.
4. Muhammad-Rabee Shaheen, Lydie du Bousquet. Quantitative analysis of testability antipatterns on open source Java applications. In 12th ECOOP Workshop on Quantitative Approaches on Object Oriented Software Engineering, 2008.
5. Lydie du Bousquet, Muhammad-Rabee Shaheen. Relation between Depth of Inheritance Tree and Number of Methods to Test. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Pages 161-170, Lillehammer, Norway, Avril 2008.
6. Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. In Fourth Workshop on Model-Based Testing (MBT'08), a satellite event of ETAPS'08, March 29 - April 6, 2008, Budapest, Electronic Notes in Theoretical Computer Science, Volume 220(1), Pages 29-41, Mars 2008.
7. Luca Ferro, Laurence Pierre, Yves Ledru, Lydie du Bousquet. Generation of test programs for the assertion-based verification of TLM models. In Design and Test Workshop, 2008. IDT 2008. 3rd International, Pages 237-242, 2008. download download

2007

1. Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes. Validation of Regulation Documents by Automated Analysis of Formal Models. In Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, Régine Laleau, Michel Lemoine (eds.), CEUR Workshop Proceedings, Volume 241, 2007.
2. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Directed random reduction of combinatorial test suites. In RT '07: Proceedings of the 2nd international workshop on Random testing, Pages 18-25, New York, NY, USA, 2007. download
3. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Compositional Testing Framework Driven by Partial Specifications. In Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.), Lecture Notes in Computer Science, Volume 4581, Pages 107-122, 2007.
4. Yves Ledru. A Formalisation of the Soccer Substitution Rules. In Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, Régine Laleau, Michel Lemoine (eds.), CEUR Workshop Proceedings, Volume 241, 2007.
5. Michel Lemoine, Eduardo R. Lopez Ruiz, Yves Ledru, Didier Bert, Régine Laleau, Fabien Peureux, Fabrice Bouquet, Véronique Donzeau-Gouge, Catherine Dubois, Jean-Frédéric Etienne, Sylvie Vignes. EDEMOI : a methodology for security of air transport system. In 2nd European Conference on Aerospace Sciences (EUCASS), 2007.
6. Muzammil Shahbaz, Roland Groz. Using Invariant Detection Mechanism in Black Box Inference. In ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007, Yamine A\"\it Ameur, Frédéric Boniol, Virginie Wiels (eds.), Revue des Nouvelles Technologies de l'Information, Volume RNTI-SM-1, Pages 215-222, 2007.
7. L. du Bousquet, M. Nakamura, B. Yan, H. Igaki. Using Formal Methods to Increase Confidence in one Home Network System Implementation. Case Study. In Workshop on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007), Poitiers, France, Décembre 2007.
8. Akram Idani, Jean-Louis Boulanger, Laurent Philippe. A generic process and its tool support towards combining UML and B for safety critical systems. In Proceedings of 20th International Conference on Computer Applications in Industry and Engineering (CAINE'2007), Pages 185-192, USA, Novembre 2007.
9. Besnik Seljimi, Ioannis Parissis. Automatic generation of test data generators for synchronous programs: Lutess V2. In DOSTA '07: Workshop on Domain specific approaches to software test automation, Pages 8-12, Dubrovnik, Croatia, Septembre 2007.
10. Muzammil Shahbaz, Benoît Parreaux, Francis Klay. Model inference approach for detecting feature interactions in integrated systems. In International Conference on Feature Interactions in Software and Communication Systems, ICFI 2007, Pages 161-171, Grenoble, France, Septembre 2007.
11. L. du Bousquet, M. Delaunay. Using mutation analysis to evaluate test generation strategies in a synchronous context. In Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), Pages 40-45, Esterel, France, Août 2007.
12. Akram Idani, Dieu-Donné Okalas Ossami, Jean-Louis Boulanger. Commandments of UML for safety. In 2nd IEEE International Conference on Software Engineering Advances (ICSEA'2007), France, Août 2007.
13. A. Bertolino, E. Marchetti, I. Parissis. Perspectives on Data Flow-based Validation of Web Services Compositions. In 3rd Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA), Boston, USA, Juillet 2007.
14. J.-F. Couchot, F. Dadeau. Guiding the Correction of Parameterized Specifications. In 7th Int. Conf. on Integrated Formal Methods (IFM'2007), J. Davies, J. Gibbons (eds.), Pages 176-194, Oxford, UK, Juillet 2007.
15. K. Li, L. Mounier, R. Groz. Test Generation from Security Policies Specified in Or-BAC. In COMPSAC - IWSSE Workshop (IEEE International Workshop on Security in Software Engineering), Pages 255-260, Beijing, Juillet 2007.
16. M. Shahbaz, K. Li, R. Groz. Learning Parameterized State Machine Model for Integration Testing. In COMPSAC - TEST Workshop (IEEE International Workshop on Testing Emerging Software Technology), Pages 755-760, Beijing, Juillet 2007.
17. Sylvain Boulmé. Intuitionistic Refinement Calculus. In Proc. of International Conference on Typed Lambda Calculi and Applications (TLCA 2007), LNCS 4583, Paris, Juin 2007.
18. M. Shahbaz, K. Li, R. Groz. Learning and Integration of Parameterized Components through Testing. In TestCom-Fates'07, LNCS 4581, Pages 319-334, Tallinn, Juin 2007. download
19. B. Yan, M. Nakamura, L. du Bousquet, Ken-ichi Matsumoto. Characterizing Safety of Integrated Services in Home Network System. In 5th International Conference On Smart Homes and Health Telematics (ICOST), Lecture Notes in Computer Science, Volume 4541, Pages 130-140, Nara, Japan, Juin 2007.
20. A. Lakehal, I. Parissis. Automated Measure of Structural Coverage for Lustre/Scade Programs: a Case Study. In Workshop on Automated Software Testing (AST 2007) - satellite event of ICSE 2007, Minnesota, USA, Mai 2007.
21. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabrice Bouquet. Using Computer Science Modeling Techniques for Airport Security Certification. In Proc. of the First International Conference on Research Challenges in Information Science, Ouarzazate, Maroc, Avril 2007.
22. S. Boroday, A. Petrenko, R. Groz. Can a Model-Checker generate Tests for Non-Deterministic Systems. In Third Workshop on Model-Based Testing (MBT), Pages 3-19, Braga, Portugal, Mars 2007.
23. J. Bouchet, L. Madani, L. Nigay, C. Oriat, I. Parissis. Formal Testing of Multimodal Interactive Systems. In Engineering Interactive Systems (EIS'07), Salamanca, Spain, Mars 2007.
24. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Measuring a Java Test Suite Coverage using JML Specifications. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, Mars 2007.
25. Lydie du Bousquet, Yves Ledru, Frédéric Dadeau, F. Allouti. A Case Study in Matching Test and Proof Coverage. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, Mars 2007.
26. Lydie du Bousquet et Michel Delaunay. Towards mutation analysis for LUSTRE programs. In Proc. of Model-driven High-level Programming of Embedded Systems (SLA++P), Braga, Portugal, Mars 2007.
27. Sylvain Boulmé, Marie-Laure Potet. Interpreting invariant composition in the B method using the Spec# ownership relation: a way to explain and relax B restrictions. In Proc. of Formal Specification and Development in B, 7th International Conference of B Users (B2007) LNCS 4355, Pages 4-18, Janvier 2007.
28. Nicolas Stouls, Marie-Laure Potet. Security Policy Enforcement Through Refinement Process. In Proc. of Formal Specification and Development in B, 7th International Conference of B Users (B2007), LNCS 4355, Pages 216-231, Janvier 2007.

2006

1. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier. Test Generation for Network Security Rules. In Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.), Lecture Notes in Computer Science, Volume 3964, Pages 341-356, 2006.
2. Yves Ledru, Lydie du Bousquet. Tobias-Z: An executable formal specification of a test generator. In 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, Demonstration, Pages 353-354, 2006.
3. L. du Bousquet. Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required. In International Conference on Software Engineering Advances (ICSEA'06), Papeete, Tahiti, French Polynesia, Novembre 2006.
4. Besnik Seljimi, Ioannis Parissis. Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. In 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, USA, Novembre 2006.
5. K. Li, R. Groz, M. Shahbaz. Integration Testing of Distributed Components based on Learning Parameterized I/O Models. In FORTE2006 Paris, LNCS 4229, Pages 436-450, Paris, Septembre 2006.
6. Y. Falcone, J.C. Fernandez, L. Mounier, J.L Richier. A Test Calculus Framework Applied to Network Security Policies. In Formal Approaches to Testing and Runtime Verification (FATES/RV'06), LNCS 4262, Pages 55-69, Seattle, USA, Août 2006.
7. K. Li, R. Groz, M. Shahbaz. Integration testing of components guided by incremental state machine learning. In Testing Academic & Industrial Conference Practice And Research Techniques (TAIC PART), Pages 59-70, Windsor, UK, Août 2006.
8. M. Shahbaz. Incremental Inference of Black-Box Components to Support Integration Testing. In Testing: Academic & Industrial Conference Practice And Research Techniques, (TAIC PART 2006), PhD Programme, Windsor, UK, Août 2006.
9. Y. Ledru, R. Laleau, M. Lemoine, S. Vignes, D. Bert, V. Donzeau-Gouge, C. Dubois, F. Peureux. An attempt to combine UML and formal methods to model airport security. In CAISE Forum 2006 - Proceedings of the Forum of the 18th International Conference on Advanced Information Systems Engineering, N. Boudjlida, N. Guelfi (eds.), Pages 47-50, Presses universitaires de Namur, Luxembourg, Juin 2006.
10. V. Darmaillacq, J-.C. Fernandez, R. Groz, L. Mounier, and J.-L. Richier. Test Generation for Network Security Rules. In 18th IFIP International Conference on Testing Communicating Systems (TestCom 2006), LNCS 3964, Pages 25-27, New York City, USA, Mai 2006.
11. Akram Idani, Yves Ledru, Didier Bert. A Reverse-engineering Approach to Understanding B Specifications with UML Diagrams. In 30th Annual IEEE/NASA Software Engineering Workshop (SEW-30), Loyola College Graduate Center, Columbia MD, USA, Avril 2006.
12. Yves Ledru. Using Jaza to animate RoZ specifications of UML class diagrams. In Proceedings of Int. Z User Meeting (ZUM'06), USA, Avril 2006.
13. B. Blanc, G. Durrieu, A. Lakehal, O. Laurent, B. Marre, I. Parissis, C. Seguin, V. Wiels. Automated functional test case generation from data flow specifications using structural coverage criteria. In 3rd European Congress on Embedded Real Time Software (ERTS2006), Toulouse, France, Janvier 2006.

2005

1. Didier Bert, Marie-Laure Potet, Nicolas Stouls. GeneSyst: A Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. In ZB2005 Conference, Pages 299-318, 2005.
2. V. Prevosto, S. Boulmé. Proof Contexts with Late Binding. In Typed Lambda Calculi and Applications: 7th, TLCA'2005, Pages 324-338, 2005. download
3. Akram Idani, Yves Ledru, Didier Bert. Derivation of UML Class Diagrams as Static Views of Formal B Developments. In ICFEM'05 - Int. Conf. On Formal Engineering Methods, Manchester, Novembre 2005.
4. A. Lakehal, I. Parissis. Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, USA, Novembre 2005.
5. L. Madani, C. Oriat, I. Parissis, J. Bouchet, L. Nigay. Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, USA, Novembre 2005.
6. Héctor Ruíz Barradas, Didier Bert. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. In IFM 2005 Conference, Novembre 2005.
7. M. Kessis, Y. Ledru, G. Vandome. Experiences in Coverage Testing of a Java Middleware. In Fifth Int. Workshop on Software Engineering and Middleware (SEM 2005), Pages 39-45, Lisbonne, Septembre 2005.
8. A. Lakehal, I. Parissis. Structural Test Coverage Criteria for Lustre Programs. In 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Pages 35-43, Lisboa, Portugal, Septembre 2005.
9. Catherine Oriat. Jartege: A Tool for Random Generation of Unit Tests for Java Classes. In 2nd International Workshop on Software Quality (SOQUA 2005), Pages 242-256, Erfurt, Germany, Septembre 2005.
10. R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguié Donzeau-Gouge, C. Dubois, F. Peureux. Application of Requirements Analysis Techniques to the analysis of civil aviation security standards. In First International Workshop on Situational Requirements Engineering Processes (SREP'05), organized by IFIP WG8.1 Method Engineering Task Group, in conjunction with the 13th IEEE International Requirements Engineering Conference, Paris, France, Août 2005.
11. G. J. Doherty, L. du Bousquet, J. Creissac Campos, E. M. El Atifi, G. Falquet, M. Massink, C. Santoro. Ambience and Mobility. In Interactive Systems, Design, Specification, and Verification (DSV-IS'05), Lecture Notes in Computer Science, Volume 3941, Pages 264-264, Newcastle upon Tyne, UK, Juillet 2005.
12. S. Dupuy-Chessa, L. du Bousquet, J. Bouchet, Y. Ledru. Test of the ICARE platform fusion mechanism. In 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'05), 12 pages, Newcastle upon Tyne, England, Juillet 2005.
13. L. du Bousquet, O. Gaudoin. Telephony feature validation against eventuality properties and interaction detection based on a statistical analysis of the time to service. In Int. Conference on Feature Interactions in Telecommunications and Systems Software (FIW VIII), Pages 78-95, Leicester, UK, Juin 2005.
14. D. Duval, J.-C. Reynaud. Diagramatic logic and exceptions: an introduction. In Proc. of the Dagstuhl Seminar 05021, Materials, Mathematics, Algorithms, Proofs, http://www.dagstuhl.de/05021/, Janvier 2005.

2004

1. Y. Ledru, L. du Bousquet, O. Maury, P. Bontron. Filtering TOBIAS combinatorial test suites. In Proceedings of ETAPS/FASE'04 - Fundamental Approaches to Software Engineering, Pages 281-294, Barcelona, 2004.
2. L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet. A case study in JML-based software validation (short paper). In Proceedings of 19th Int. IEEE Conf. on Automated Sofware Engineering (ASE'04), Pages 294-297, Linz, Septembre 2004.
3. Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. In Proceedings of 9th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), ENTCS 133 (2005), Elsevier, Pages 159-174, Linz, Septembre 2004. download
4. Y. Ledru, S. Dupuy, H. Fadil. Towards Computer-Aided Design of OCL Constraints. In Proceedings of CAISE'04 Workshops Vol. 1 -EMMSAD'04: Evaluating Modeling Methods for Systems Analysis and Design, Pages 329-338, Riga, Juin 2004.
5. H. Ruíz Barradas, D. Bert. Propriétés dynamiques avec hypothèses d'équité en B événementiel. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 299-313, LIFC, Besançon, Juin 2004.
6. N. Stouls, M.-L. Potet. Explicitation du contrôle de développement B événementiel. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 13-28, LIFC, Besançon, Juin 2004.
7. F. Ouabdesselam. Testing Synchronous Reactive Software Against Formal Properties. In 16th IFIP International Conference, TestCom 2004, Invited Talk, Oxford, UK, Mars 2004.

2003

1. I. Parissis, J. Vassy. Thoroughness of Specification-Based Testing of Synchronous Programs. In 14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003), Pages 191-202, Denver, Colorado, Novembre 2003.
2. Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin. Adaptable Translator of B Specifications to Embedded C Programs. In FME 2003: Formal Methods, Pages 94-113, Pise, Septembre 2003.
3. F. Ouabdesselam. Black-box Testing of Reactive Synchronous Software. In Worshop on Testing Real-Time and Embedded Systems, FME 2003, Invited Talk, Pise, Septembre 2003.
4. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Testing about some eventuality properties of synchronous software: a case study. In Synchronous Languages, Applications, and Programming (SLAP'03), Pages 105-121, Juillet 2003.
5. K. Berkani, R. Cave, S. Coudert, F. Klay, P. Le Gall, F. Ouabdesselam, J.-L. Richier. An Environment for Interactive Service Specification. In 7th International Workshop on Feature Interactions in Telecommunication and Software Systems (FIW'03), Pages 25-41, Ottawa, Juin 2003.
6. Frédéric Badeau, Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin. Traduction de B vers des langages de programmation : points de vue du projet BOM. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 87-102, IRISA, Rennes, Janvier 2003.
7. Pierre Bontron, Marie-Laure Potet. Stratégies de couvertures de tests à haut niveau d'abstraction. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 173-188, IRISA, Rennes, Janvier 2003.

2002

1. O. Maury, Y. Ledru, P. Bontron, L. du Bousquet. Using TOBIAS for the automatic generation of VDM test cases. In Third VDM Workshop (in conjunction with FME2002), 15 pages, Copenhagen, Danemark, 2002.
2. H. Ruíz Barradas, D. Bert. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. In Integrated Formal Methods (IFM 2002), Pages 360-379, Turku, Mai 2002.

2001

1. S. Boulmé, G. Hamon. Certifying synchrony for free. In Logic for Programming and Reasonning, LPAR'01, Pages 495-506, 2001.
2. L. du Bousquet, H. Martin, J.-M. Jézéquel. Conformance Testing from UML specifications, Experience Report. In p-UML workshop, Gesellschaft für Informatik (GI) für Informatik (GI) (ed.), Volume P-7, Pages 43-56, Toronto, Canada, 2001.
3. L. du Bousquet. An Approach to Evaluate Testability. In 2nd Int. Workshop on Automated Program Analysis, Testing, and Verification (WAPATAV), 4 pages, Toronto, Canada, 2001.
4. Y. Ledru, S. Dupuy. From UML to Z, a support for requirements engineering with RoZ. In Formal Methods Europe 2001, Tutorial, 2001.
5. R. Sanlaville, J.-M. Favre, Y. Ledru. Helping Various Stakeholders to Understand a Very Large Component-Based Software. In Euromicro Workshop on Component-Based Software Engineering, Pages 104-113, Warsaw, 2001.
6. Y. Ledru, L. du Bousquet, P. Bontron, O. Maury, C. Oriat, M.-L. Potet. Test purposes: adapting the notion of specification to testing. In Proceedings of the 16th International Conference on Automated Software Engineering, Pages 127-134, San Diego, Novembre 2001.
7. I. Parissis, J. Vassy. Strategies for Automated Specification-based Testing of Synchronous Software. In 16th IEEE International Conference on Automated Software Engineering, Pages 364-367, San Diego, USA, Novembre 2001.
8. J.-M. Favre, H. Cervantes, F. Duclos, R. Sanlaville, J. Estublier. Issues in Reengineering the Architecture of Component-Based Software. In SWARM forum (Software Architecture Recovery and Modeling) at WCRE'2001 (Working Conference on Reverse Engineering), Pages 36-41, Stuttgart, Germany, Octobre 2001.
9. J.-M. Favre, F. Duclos, J. Estublier, R. Sanlaville, J.-J. Auffret. Describing and Supporting an Industrial Software Component Model. In Proceedings of the 5th European Conference on Software Maintenance and Reengineering (CSMR 2001), Pages 95-104, Lisbon, Portugal, Mars 2001.
10. F. Ouabdesselam. Approaches and Tools for Synchronous System Testing. In Workshop on Formal design of Safety Critical Embedded Systems (FEMSYS), Invited Talk, Munich, Germany, Mars 2001.

2000

1. Didier Bert, Stéphane Lo Presti. Algebraic Specification of Operator-based Multimedia Scenarios. In Recent Trends in Algebraic Specification Techniques, 14th Workshop on Algebraic Development Techniques, WADT'99, LNCS 1827, Selected papers, Pages 382-399, 2000.
2. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. An Overview of RoZ : a Tool for Integrating UML and Z Specifications. In 12th Conference on Advanced information Systems Engineering-CAiSE'2000, Lecture Notes in Computer Science, Volume 1789, Stockholm, Suède, 2000.
3. F. Duclos, J. Estublier, R. Sanlaville. Architectures Ouvertes pour l'Adaptation des Logiciels. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, Décembre 2000.
4. S. Dupuy, J-C. Freire, M.Chabre-Peccoud, Y. Ledru. Formal and Informal Specifications: a proposal for a coupling. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, France, Décembre 2000.
5. S.T. Nguyen, J.M. Favre, Y. Ledru, J. Estublier. Exploring Large Software Products. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, Décembre 2000.
6. Didier Bert, Francis Cave. Construction of Finite Labelled Transition Systems from B Abstract Systems. In Integrated Formal Methods, IFM2000, LNCS 1945, Pages 235-254, Novembre 2000.
7. Y. Le Traon, F. Ouabdesselam, C. Robach. Analyzing Testability on Data Flow Designs. In 11th International Symposium on Software Reliability Engineering (ISSRE'00), San Jose, Octobre 2000.
8. Pierre Bontron, Marie-Laure Potet. Automatic construction of validated B components from structured developments. In Proc. of the Z and B International Conference, ZB2000, York, U.K, Septembre 2000.
9. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Specification-based Testing of Synchronous Software. In 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'2000), S. Gnesi, I. Schieferdecker, A. Rennoch (eds.), Pages 123-139, Berlin, Avril 2000.
10. S. Dupuy, L. du Bousquet. Validation of UML models thanks to Z and Lustre. In Formal Methods Europe, Berlin, Germany, Mars 2000.
11. N. Zuanon. Modular Feature Integration and Validation in a Synchronous Context. In Language Constructs for Describing Features, Proceedings of the FIREworks workshop, Pages 213-231, Glasgow, UK, Mars 2000.

1999

1. Didier Bert, Stéphane Lo Presti. Algebraic Operators and Causal Relations for Modeling Multimedia Presentations. In Proc. of the Symposium on Modal and Temporal Logic-based Planning for Open Networked Multimedia Systems, AAAI Fall Symposium Series, North Falmouth, Massachusetts, USA, 1999.
2. Yves Ledru, Marie-Laure Potet, Rémy Sanlaville. VDM modules. In Workshop VDM in Practice, at FM'99 World Congress on Formal Methods, FM'99 CD-ROM, 1999.
3. Yann Rouzaud. Interpreting the B-Method in the Refinement Calculus. In Proc. of the World Congress on Formal Methods, FM'99 (Vol. I), LNCS 1708, J. Wing, J. Woodcock, J. Davies (eds.), Pages 411-430, Toulouse, 1999.
4. L. du Bousquet, N. Zuanon. An Overview of Lutess, A Specification-based Tool for Testing Synchronous Software. In 14th IEEE International Conference on Automated Software Engineering, Pages 208-215, Octobre 1999.
5. L. du Bousquet. Feature Interaction Detection using Testing and Model-checking, Experience report. In World Congress on Formal Methods (FM'99), Pages 622-641, Toulouse, France, Septembre 1999.
6. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering (ICSE'99), Pages 267-276, Los Angeles, Mai 1999.

1998

1. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess : a testing environment for synchronous software. In Tool support for System Specification, Development, and Verification, Advances in Computing Science (TOOLS'98), Pages 48-61, Malente, Germany, 1998.
2. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Translating the OMT dynamic model into Object-Z. In 11th Int. Conf. of Z Users-ZUM'98, Lecture Notes in Computer Science, Volume 1493, Berlin, Germany, 1998.
3. Marie-Laure Potet, Yann Rouzaud. Composition and Refinement in the B-Method. In Proc. of the 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method, LNCS 1393, D. Bert (ed.), Pages 46-65, 1998.
4. Marie-Laure Potet, Yann Rouzaud. Composition and Refinement in the B-Method. In Proc. of 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method, LNCS 1393, D. Bert (ed.), Pages 46-65, 1998.
5. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Expressing and implementing operational profiles for reactive software validation. In 9th International Symposium on Software Reliability Engineering (ISSRE'98), Pages 222-230, Paderborn, Germany, Novembre 1998.
6. Y. Le Traon, F. Ouabdesselam, C. Robach. Software Diagnosability. In 9th International Symposium on Software Reliability Engineering (ISSRE'98), Pages 257-266, Paderborn, Germany, Novembre 1998.
7. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Incremental feature validation : a synchronous point of view. In Feature Interactions in Telecommunication Systems V (FIW'98), Pages 262-275, Lund, Suède, Octobre 1998.
8. Y. Ledru. Identifying pre-conditions with the Z/EVES theorem prover. In Proceedings of the 13th International Conference on Automated Software Engineering, Honolulu, Octobre 1998.
9. C. Saint-Marcel, S. Dupuy, A. Front. The Invoicing System in UML. In International workshop on Comparing Systems Specification Techniques. What questions are prompted by ones particular method of specification?, M. Allemand, C. Attiogbe, H. Habrias (eds.), ISDN : 2-906082-29-5, Nantes, France, Mars 1998.

1997

1. Sergio Antoy, Rachid Echahed, Michael Hanus. Parallel Evaluation Strategies for Functional Logic Languages. In Proc. of the 14th International Conference on Logic Programming, Leuven, 1997.
2. Alain Cougoulic. An Extension of Logical Formalisms to Simulate System Behaviors. In Acts of the Workshop Foundation of Component-Based Systems in ESEC'97, Zurich, Suisse, Volume I, Pages 71-80, 1997.
3. I. Parissis. A Formal Approach to Testing LUSTRE Specifications. In Proceedings of the 1st International IEEE Conference on Formal Engineering Methods, Hiroshima, Japan, 1997.
4. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Integrating OMT and Object-Z. In Proceedings of BCS FACS/EROS ROOM Workshop, Technical Report GR/K67311-2, A. Evans, K. Lano (eds.), Dept. of Computing, Imperial College, London, UK, Juin 1997.

1996

1. Denis Avrilionis, Pierre-Yves Cunin, Christer Fernström. OPSIS: A view mechanism for software processes which supports their evolution and reuse. In Proceedings of the 18th International Conference on Software Engineering, Pages 38-47, 1996.
2. D. Avrilionis, P.-Y. Cunin. Process Model Reuse Support - The OPSIS Approach. In Proceedings of the 10th International Software Process Workshop, B. Boehm (ed.), 1996.
3. D. Avrilionis, N. Belkhatir, P.-Y. Cunin. Improving Software Process Modelling and Enactment Techniques. In Proceedings of the 5th European Workshop on Software Process Technology, J.-C. Derniame (ed.), LNCS, 1996.
4. D. Avrilionis, P.-Y. Cunin, N. Belkhatir. A unified framework for software process enactment and improvement. In 4th International Conference on Software Process (ICSP 4), Brighton, UK, 1996.
5. Pierre Berlioux, Eric Cheminot, Paul Jacquet. Vers un système d'aide à la rédaction de spécifications de logiciels en langue naturelle. In Natural Language Processing and Industrial Applications Moncton, Canada, Pages 21-27, 1996.
6. Didier Bert, Rachid Echahed, Kamel Adi. Resolution of Goals with the functional and logic programming language LPG: impact of abstract interpretation. In Proc. of AMAST-96, 5th Int. Conf. on Algebraic Methodology and Software technology, Munich (Germany), 1996.
7. Didier Bert, Marie-Laure Potet, Yann Rouzaud. A Study on Components and Assembly Primitives in B. In Proc. of the 1st Conference on the B Method: Putting into Practice Methods and Tools for Information System Design, Nantes, Henri Habrias (ed.), Pages 47-62, 1996.
8. Y. Ledru. Using KIDS as a Tool Support for VDM. In Proceedings of the 18th International Conference on Software Engineering, Pages 236-245, Berlin (Germany), 1996.
9. Y. Ledru. Complementing semi-formal specifications with Z. In Proceedings of the 11th Knowledge-Based Software Engineering Conference, Pages 52-61, 1996.
10. I. Parissis. A Tool For Testing Synchronous Critical Software. In Proceedings of the 3rd International Conference on Achieving Quality in Software, Florence, Italy, 1996.
11. I. Parissis, F. Ouabdesselam. Specification-based Testing of Synchronous Software. In Proceedings of the ACM Sigsoft96' 4th Symposium on the Foundations of Software Engineering, San Francisco, Octobre 1996.

1995

1. Denis Avrilionis, Pierre-Yves Cunin. Using Views to Maintain Petri-net-based Process Models. In Proceedings of the International Conference on Software Maintenance, Gianluigi Caldiera, Keith Bennett (eds.), Pages 318-326, 1995.
2. Denis Avrilionis. Support for Process Instance Evolution. In 2nd Doctoral Consortium, 7th International Conference on Advanced Information Systems Engineering CAiSE'95, 1995.
3. Didier Bert, Rachid Echahed. Abstraction of conditional term rewriting systems. In Proc. of the International Symposium on Logic Programming, ILPS-95, J. Lloyd (ed.), Pages 162-176, Portland, Oregon (USA), 1995.
4. Didier Bert, Catherine Oriat. A model inference system for generic specification with application to code sharing. In Proc. of TAPSOFT-95, Col. on Formal Approaches in Software Engineering, LNCS, Volume 915, Pages 741-755, 1995.
5. Didier Bert, Rachid Echahed. On the operational semantics of the algebraic and logic language LPG. In Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, selected papers, LNCS, Volume 906, Pages 132-152, 1995.
6. Ahmed Bouajjani, Rachid Echahed, Peter Habermehl. Verifying infinite state process with sequential and parallel composition. In Proc. of the 22nd ACM Symposium on POPL, Pages 95-106, San Francisco, California, 1995.
7. Ahmed Bouajjani, Peter Habermehl, Rachid Echahed. On the verification problem of nonregular properties for nonregular processes. In Proc. of the 10th IEEE Symposium on Logic in Computer Science, LICS, San Diego, California, 1995.
8. Y. Ledru. Specification and animation of a bank transfer. In Proceedings of the 10th Knowledge-Based Software Engineering Conference, Pages 192-199, Boston, MA, 1995.
9. Y. Ledru, Y. Chiaramella. Integrating and Teaching ZSP and Z. In Proceedings of ``Z twenty years on - what is its future?'', H. Habrias (ed.), Nantes, 1995.
10. Catherine Oriat. Detecting isomorphisms of modular specifications with diagrams. In Proc. of AMAST-95, 4th Int. Conf. on Algebraic Methodology and Software technology, Montréal, LNCS, Volume 936, Pages 184-198, 1995.
11. F. Ouabdesselam, I. Parissis. Testing Techniques for Data-Flow Synchronous Programs. In 2nd International Workshop on Automated and Algorithmic Debugging, Saint Malo, France, 1995.
12. F. Ouabdesselam, I. Parissis. Constructing Operational Profiles for Synchronous Critical Software. In 6th International Symposium on Software Reliability Engineering, Toulouse, France, 1995.