[ACL13] Fadi Obeid and Philippe Dhaussy. Formal Verification of Security Pattern Composition: Application to SCADA. Computing and Informatics (CAI), Vol. 38, 2019, 1001{1032, V 2020-Jan-16. Pdf
[ACL12] Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. Precise Use Cases in a Context-aware Model-Checking Approach. International Journal of Critical Computer-Based Systems (IJCCBS), Inderscience Publishers Ltd, 2018.
[ACL11] Lamia Allal, Ghalem Belalem, Philippe Dhaussy and Ciprian Teodorov. A comparative study between parallel and distributed exploration. CIAA 2017.
[ACL10] Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking. Ambient Communications and Computer Systems, Springer, pp.143-154, 978-981-10-7385-4, 2017.
[ACL9] Lamia Allal, Ghalem Belalem, Philippe Dhaussy and Ciprian Teodorov. A Parallel Algorithm for the State Space Exploration, Scalable Computing. vol. 17, pp. 129--142, Jun. 2016.
[ACL8] Lamia Allal, Ghalem Belalem, Philippe Dhaussy and Ciprian Teodorov. Sequential and Parallel Algorithms for the State Space Exploration. Cybernetics and Information Technologies 16(1), April 2016, DOI:10.1515/cait-2016-0001.
[ACL7] Lamia Allal, Ghalem Belalem, Dhaussy Philippe, Ciprian Teodorov. Distributed algorithm to fight the state explosion problem. International Journal of Internet Technology and Secured Transactions (IJITST), 2017.
[ACL6] C. Teodorov, L. Le Roux, Z. Drey, and P. Dhaussy. Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. Software Testing, Verification and Reliability, August 2016. Pdf
[ACL5] Nadia Menad, Philippe Dhaussy, Zoé Drey. Towards a Transformation Approach of Timed UML MARTE Specification for Observer-Based Verification. Computing and Informatics (CAI), Vol. 32, 2016. Pdf
[ACL4] Ciprian Teodorov, Philippe Dhaussy, Luka Le Roux. Environment-driven Reachability for Timed Systems: Safety Verification of an Aircraft Landing Gear System. Int. Software Tools for Technology Transfer (STTT), DOI 10.1007/s10009-015-0401-2, Springer-Verlag, 2016. Pdf
[ACL3] Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. Context-aware approach for formal verification. EAI Endorsed Transactions, Context-aware Syst. & Appl. 3(7), 2016.
[ACL2] Dhaussy P., Boniol F., Roger J.C., Leroux L. Improving Model Checking with Context Modelling. Advances in Software Engineering, vol. 2012, Article ID 547157, 13 pages, 2012. doi:10.1155/2012/547157. Pdf
[ACL1] Dhaussy P, Roger JC., Boniol F. Context Aware Model-Checking for Embedded Software. Embedded System, Theory and Design Methodology, Intech publisher, March 2012, page 167-184. Pdf
[HDR] Dhaussy Philippe. Techniques de vérification formelle de propriétés : Contribution à leur intégration dans les processus industriels d'ingénierie logicielle. Université de Bretagne Occidentale, Ensta Bretagne. 28 Mars 2014. soutenance Pdf
[OS4] Dhaussy P., Boniol F., Leroux L., Roger JC. Formal analysis of UML model. chapter in Modeling and Analysis of Embedded Systems, Whiley Editor. 2013.
[OS3] Dhaussy P., Boniol F., Leroux L., Roger JC. Analyse formel de modèle UML. chapître dans Modélisation et analyse de systèmes embarqués, Edition Hermes, pages 175-202. 2013.
[OS2] Babau J.-P., Dhaussy P., Pillain PY. Model integration for formal qualification of timing-aware software data acquisition components. Chapter in book Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE editor, 2010, pp 167-200.
[OS1] Champeau J., Dhaussy P., Mekerke F., Roger JC. Model Management for Formal Validation. Chapter in book Summer School MDD4DRTES, editor JP Babau, J.Champeau, S.Gérard, Aber Wrac'h/Brest, France, 4-8 sept 2006, pages 149-174.
[INV4] Dhaussy P. Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués. Conférence invité, JDIM'14, 21-23 juin 2014, Mostaganem, Algeria. Présentation Pdf
[INV3] Dhaussy P. Formal Validation with Model-Checking Techniques. Conférence invité, ICNTC'2012, 4-6 décembre 2012, Chlef, Algeria.
[INV2] Dhaussy P. Context Aware Model Exploration with OBP tool for Model-Checking. Séminaire invité, équipe LASSY, Université du Luxembourg, 27 nov 12.
[INV1] Dhaussy P. Réflexion pour un processus de validation de modèles logiciels. Conférence invité, 6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Pau. Mars 2010.
[ACLN9] L. Le Roux, J. Delatour et P. Dhaussy. Modélisation UML d'un régulateur de vitesse automobile. Revue Génie Logiciel, no 109, Juin 2014.
[ACLN8] Jouault F., Teodorov C., Delatour J., Le Roux L. et Dhaussy P. Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD. Revue Génie Logiciel, no 109, Juin 2014.
[ACLN7] Dhaussy P., Le Roux L. et Teodorov C. Vérification formelle de propriétés: Application de l'outil OBP au cas d'étude CCS. Revue Génie Logiciel, no 109, Juin 2014.
[ACLN6] L. Le Roux, P. Dhaussy et F. Boniol. Vérification formelle de propriétés basée sur une réduction de l'espace d'exploration de modèles. Revue Génie Logiciel, no 107, décembre 2013.
[ACLN5] Dhaussy P., Boniol F., Roger JC., Raji A., Le Traon Y., Baudry B. Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués. Revue Technique et Science Informatiques, Vol 6/2012, pages 797-826, 2012.
[ACLN4] Dhaussy P., Boniol F. Mise en oeuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués. revue RTSI- ISI, Vol. 12, No 5/2007, pages 133-157, décembre 2007.
[ACLN3] Theurer W., Boniol F., Dhaussy P., Pagetti C. Un cadre conceptuel pour la modélisation multi points de vue de systèmes embarqués. revue RSTI- L'Objet, Vol. 13, No 2-3/2007, pages 79-110.
[ACLN2] Amar A., Dhaussy P., Leblanc H., Coulette B. Description d'un è de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles. Revue Génie logiciel, juin 08, No 85.
[ACLN1] Monégier du Sorbier A., De Belloy S., Turpin F., Dhaussy P. Expérimentation de composants de preuve pour le développement de composants logiciels embarqués. Revue Génie logiciel, juin 08, No 85.
[ACTI52] Ousmane Diallo, Philippe Dhaussy and Ciprian Teodorov. Data Management Mechanisms for Internet of Things: A position paper. Proceedings of the International Conference on Computational Science and Computational Intelligence (CSCI 2019), December 05-07, 2019, Las Vegas, USA
[ACTI51] Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun and Philippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata. Models 2019. Paper Pdf Poster Pdf
[ACTI50] Vincent Leilde, Vincent Ribaud, Philippe Dhaussy and Ciprian Teodorov. A Problem-Oriented Framework to Diagnose Secured Applications. DETECT 2018. Pdf
[ACTI49] Vincent Leilde, Vincent Ribaud, Philippe Dhaussy and Ciprian Teodorov. Leveraging a Problem-Oriented Method for Software Verification. FMICS 2018.
[ACTI48] Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov and Philippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models. Models, 2018. Pdf
[ACTI47] Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov and Philippe Dhaussy. One Model Interpreter for Simulation, Verification, and Execution of UML Models. Track Posters, Models, 2018.
[ACTI46] Vincent Leilde, Vincent Ribaud, Ciprian Teodorov and Philippe Dhaussy. Domain-oriented Verification Management. MEDI 2018. Pdf
[ACTI45] Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov and Philippe Dhaussy. Embedded UML Model Execution to Bridge the Gap between Design and Runtime. Workshop MDE @ Run (Models 18). Pdf
[ACTI44] Fadi Obeid et Philippe Dhaussy. Secure Communication Protocol: Application to Large Number of Distributed Sensors. 17th International Conference on Security and Management (SAM'18), Las Vegas, july 2018. Pdf
[ACTI43] Fadi Obeid et Philippe Dhaussy. Model-checking for Secured Component Implementation. 17th International Conference on Security and Management (SAM'18), Las Vegas, july 2018. Pdf
[ACTI42] Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier and Ciprian Teodorov. Towards one Model Interpreter for Both Design and Deployment. Conf EXE 2017.
[ACTI41] Lamia Allal, Ghalem Belalem, Philippe Dhaussy and Ciprian Teodorov. Using parallel and distributed reachability in model checking. 2nd International Conference on Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Aryabhatta College of Engineering & Research Center, Ajmer, India, September 2-3, 2017 (Springer).
[ACTI40] Lamia Allal, Ghalem Belalem, Philippe Dhaussy and Ciprian Teodorov. Proposed algorithms to the state explosion problem. Conf SmartCom 2016, Jaipur, India, August 6-7, 2016.
[ACTI39] Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, and Philippe Dhaussy. A diagnosis framework for critical systems verification. 15th international conference on Software and Formal Methods (SEFM'17), Trento, Italy, September 4-8, 2017. Pdf
[ACTI38] Amel Benabbou, Safia Nait Bahloul and Philippe Dhaussy. An Automated Transformation Approach for Requirement Specification. Conf ITQM'16, Asan, Korea, 16-18 August, 2016.
[ACTI37] Fadi Obeid, Philippe Dhaussy. RITA Secure Communication Protocol: Application to SCADA. 8th International Conference on Network and Communications Security (NCS - 2016). Volume Editor(s): David Wyld et al. Pdf
[ACTI36] Vincent Leilde, Vincent Ribaud and Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking. PAME 2016 (co-located with MODELS'16). Pdf
[ACTI35] Vincent Leilde, Vincent Ribaud and Philippe Dhaussy. An Organizing System to Perform and Enable Verification and Diagnosis Activities. 17th 17th lnternational conference on lntelligent Data Engineering and Automated Learning (IDEAL'16), October 12-14, 2016, Yangzhou, Jiangsu, China, LNCS, Vol.9937, pages 576-587. Pdf
[ACTI34] Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. A High-level Interaction Formalism for Context-aware Verification. ICCSA'16, April 2016 in Algeria.
[ACTI33] Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. A High-level Formalism to Elaborate Context for Context-aware Verification Approach. ICIST 2016, Barcelone, 18-20 march, 2016.
[ACTI32] S. Heim, X. Dumas, E. Bonnafous , P. Dhaussy, C. Teodorov, L. Leroux. Model Checking of SCADE Designed Systems. ERTS'16, Toulouse, febuary, 3-5, 2016.
[ACTI31] Lamia Allal, Ghalem Belalem, and Philippe Dhaussy. Towards distributed solution to the state explosion problem. Third International Conference on Information System Design and Intelligent Applications (INDIA-2016), Vishakapatnam, India, 8-9 junuary, 2016.
[ACTI30] Vincent Ribaud, Ciprian Teodorov, Zoé Drey, Luka Le Roux and Philippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective. E-conference on Computer, Information, Systems Sciences, & Engineering (CISSE), 2014. Pdf
[ACTI29] Teodorov C., Leroux L. and Dhaussy P. Context-aware Verification of a Cruise-Control System. 4th International Conference on Model & Data Engineering (MEDI), Larnaca, Cyprus, September 24-26, 2014. Pdf
[ACTI28] Dhaussy P. and Teodorov C. Context-aware Verification Technique to a Landing Gear System. 4th International ABZ 2014 Conference. Case Study Track, Toulouse, june2-6, 2014. Pdf
[ACTI27] Nadia Menad, Philippe Dhaussy. A Transformation Approach for Multiform Time Requirements. 11th International Conference on Software Engineering and Formal Methods (SEFM'13), Lecture Notes in Computer Science, vol. 8137, September 25-27, pp. 16-30, 2013, Madrid, Spain. Pdf
[ACTI26] Nadia Menad, Philippe Dhaussy. Real-time and Embedded Systems challenges: key requirements and issues. 8th International Joint Conference on Software technologies (ICSOFT'13), Reykjavik, Iceland, 29-31 July, 2013.
[ACTI25] Nadia Menad, Philippe Dhaussy, Messabih Belhadri. MDA approach for Distributed and Real-time embedded systems analysis and verification: Overview and first proposal. 8th International Joint Conference on Software technologies (ICSOFT'13), Reykjavik, Iceland, 29-31 July, 2013.
[ACTI24] Dhaussy P, Roger JC., Leroux L., Boniol F. Context Aware Model Exploration with OBP tool to Improve Model-Checking. ERTS'12, febuary 1-3, 2012.
[ACTI23] Dhaussy P., Boniol F., Roger JC. Reducing State Explosion with Context Modeling for Model-Checking. 13th IEEE International High Assurance Systems Engineering Symposium (Hase'11), Boca Raton, USA. November 10-12, 2011. Pdf
[ACTI22] Raji A, Dhaussy P. Use Cases Modeling for Scalable Model-Checking. 18th Asia-Pacific Software Engineering Conference (APSEC 2011), Ho Chi Minh city, Vietnam, December 5-8, 2011.
[ACTI21] Dumas X., Boniol F., Dhaussy P., Bonnafous E. Application of partial-order methods for the verification of closed-loop SDL systems. ACM Symposium On Applied Computing (SAC'11), TaiChung, Taiwan, March 2011.
[ACTI20] Raji A., Dhaussy P. Use Cases for Context-Aware Model-Checking. Post proceedings in Software Engineering Workshops and Symposia at MoDELS 2011, Revised Selected Papers, Jorg Kienzle (Eds), Wellington, New Zealand, October 16-21, 2011, ISBN 978-1-4503-0914-1.
[ACTI19] Raji A., Dhaussy P., Baudry B. Formal Extension of Use Cases for Context-Aware Verification. ACM International Conference Proceedings Series on Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE (ModeVVa'11), Wellington, New Zealand, october 17th, 2011.
[ACTI18] Raji A., Dhaussy P., Aizier B. Automating Context Description for Software Formal Verification. ACM International Conference Proceedings Series on Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE (ModeVVa'10), Oslo, Norway, October 4th 2010.
[ACTI17] Amar B., Leblanc H., Dhaussy P. and Coulette B. Trace Transformation Reuse to Guide Co-evolution of Models. Communications in Computer and Information Science" (CCIS) series, published by Springer-Verlag, 5th Int. Conference on Software and Data technologies (ICSOFT'10), Athens, Greece, 22-24 july 10.
[ACTI16] Raji A, Dhaussy P. User Context Models : A framework to ease software formal verifications. 12th International Conference on Enterprise Information Systems (ICEIS'10), 8-12 june, 2010, Funchal, Madeira.
[ACTI15] Dumas X., Boniol F., Dhaussy P., Bonnafous E. Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. IEEE Symposium on Industrial Embedded Systems (SIES'10), Trento, Italy, July 7-9, 2010.
[ACTI14] Dumas X, Boniol F, Dhaussy P, Bonnafous E. Partial Order Application for Software Formal Verification. Conférence Embedded Real Time Software and Systems (ERTS'10), 19-21 mai 2010, Toulouse, Mai 2010.
[ACTI13] Dhaussy P., Pillain PY., Creff S., Raji A., Le Traon Y., Baudry B. Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. In Lecture Notes in Computer Science 5795, Springer Verlag, Andy Schuerr, Bran Selic (Eds): Model Driven Engineering Languages and Systems (Models'09), No 5795 (2009), pages 438-452. Pdf
[ACTI12] Abdoul T, Champeau J, Dhaussy P, Pillain P-Y, Roger JC. AADL model transformation for formal verification. 3rd IEEE International UML&AADL workshop . Belfast. Avril 2008.
[ACTI11] Dhaussy P, Auvray J, De Belloy S, Boniol F, Landel E. Using context descriptions and property definition patterns for software formal verification. Workshop Modevva'08, hosted by ICST 2008. Lillehammer, Norway. Avril 2008.
[ACTI10] Bonnafous E., Boniol F., Dhaussy P., Dumas X. Experience of an efficient and actual MDE process: design and verification of ATC onboard system. Conference on UML&FORMAL METHODS, Kitakyushu-city, Japan, October 27, 2008.
[ACTI9] Dhaussy P., Boniol F., De Belloy S., Auvray J., Landel E. Using context descriptions and property definition patterns for software formal verification. ICSTW'08, pp.89-96, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008.
[ACTI8] Abdoul T., Champeau J., Dhaussy P., Pillain PY., Roger JC. AADL model transformation for formal verification. 3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), 2 April 2008, Belfast, Northern Ireland.
[ACTI7] Dhaussy P., Roger JC., Bonnin H., Saves E., Honnoré J., Lohman J. Experimentation of Timed Observers for Validation of an Avionics Software. 3rd conference on Embedded Real Time Software (ERTS'06), Toulouse, january 2006.
[ACTI6] Roger JC., Dhaussy P. Implementation of testing automata for timed model validation. Movep'04, Brussel, 13-17 Dec. 2004.
[ACTI5] Roger JC., Dhaussy P. An Experimentation of Real-Time Software Validation Technique With Timed Observers. 2nd conference on Embedded Real Time Software (ERTS'04), Toulouse, 21-23 January 2004.
[ACTI4] Prigent A., Roux O., Dhaussy P. Testing Parametrized Real-Time Systems. WRTRTES'03, Pise, Italia, Sept. 2003.
[ACTI3] Prigent A., Cassez F., Dhaussy P. and Roux O. Extending translation from SDL to Promela. SPIN'01 Grenoble, France, April 2001.
[ACTI2] Dhaussy P., Champeau J. Software Design Methodology for Embedded Systems. 29th Conf. of research topics, nov 15--16, 2001, Bucarest, Roumania.
[ACTI1] Champeau J., Dhaussy P., Latreille L., Degroote F. Object Framework for Mission Control. 5th World Multi-conference on Systemics, Cybernetics and Informatics, july 22--25, 2001, Orlando, USA.
[ACTN16] Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault et Ciprian Teodorov. EMI : Un Interpréteur de Modèles Embarqué pour l'Exécution et la Vérification de Modèles UML. AFADL 2019, Toulouse, juin 2019.
[ACTN15] Fadi Obeid et Philippe Dhaussy. Validation formelle d'architecture logicielle basée sur des patrons de sécurité. AFADL 2018, Grenoble, juin 2018. Paper Pdf Présentation Pdf
[ACTN14] Fadi Obeid, Philippe Dhaussy. Model Checking of Security Patterns Combinations: Application to SCADA. RESSI'17, 2017.
[ACTN13] Djamila Baroudi, Philippe Dhaussy and Safia Nait Bahloul. Formalisation d'une Approche Compositionnelle Des Patrons de Propriétés. AFADL'16, Besançon, juin 2016. Paper Pdf Présentation Pdf
[ACTN12] Fadi Obeid, Philippe Dhaussy. Vérification formelle d'implementation des patrons de sécurité: Application aux SCADA. AFADL'16, Besançon, juin 2016.
[ACTN11] Le Lann JC., Dhaussy P., Lagalaye PL. Modélisation algorithmique et synthèse d'architectures assistées par model-checking. CAL'12, 29-30 mai, Montpellier, 2012.
[ACTN10] Raji A., Dhaussy P. Modèles orientés utilisateurs pour la vérification formelle en contexte industriel. 7ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'11), 7-9 Juin 2011, Lille.
[ACTN9] Dhaussy P, Pillain P-Y, Creff S, Raji A, Le Traon Y, Baudry B. Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués. Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11 Juin 2010.
[ACTN8] Dumas X, Boniol F, Dhaussy P, Bonnafous E. Modélisation de Contextes et Réduction d'Ordres-Partiel pour la Vérification Efficace de Systèmes SDL. Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11. Juin 2010.
[ACTN7] Raji A, Dhaussy P. Automatic Formal Model Derivation from Use Cases. 6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau. Mars 2010.
[ACTN6] Dumas X., Pagetti C., Sagaspe L., Bieber P., Dhaussy P. Vers la génération de modèles de sûreté de fonctionnement. Conférences LMO'08 et CAL'08, Montréal, 3-7 mars 2008. Revue RNTI L-2.
[ACTN5] Dhaussy P., Auvray J., De Belloy S., Boniol F., Landel E. Un langage de contexte de preuve pour la validation formelle de modèles logiciels. Conférences LMO'08 et CAL'08, Montréal, 3-7 mars 2008. Revue RNTI L-2.
[ACTN4] Dhaussy P., Boniol F. Mise en oeuvre d'unités de preuve pour la vérification formelle de modèles. Conférence IDM'07. Toulouse. pp. 101-116. Mars 2007.
[ACTN3] Dhaussy P., Roger JC., Boniol F. Mise en oeuvre d'unités de preuve pour la vérification formelle de modèles. conférence IDM'07, 29-30 mars 2007, Toulouse, pages 101-116.
[ACTN2] Dhaussy P., JC.Roger JC. Un assistant de preuve basé sur la technique des observateurs. conférence AFADL'06, 15-17 mars 2006, Paris.
[ACTN1] Theurer W., Mekerke F., Champeau J., Dhaussy P. Vers la gestion de la cohérence dans les processus multi-modèles métier. Congrès francophone du management de projet, 2004, AFIS.
[COM14] Fadi Obeid, Philippe Dhaussy. A Secured Data Communication Protocol. Conf. A Connected Ocean (ACO 2016), SeaTech Week, Brest, October 2016.
[COM13] Dhaussy P., Boniol F., Pillain PY., Dumas X. Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. First TopCased Days, Toulouse, 8 february 2011.
[COM12] Baudry B., Bazex P., Baudry B., Dalbin JC., Dhaussy P., Dubois H., Percebois C., Poupart E., Sabatier L. Trust in MDE Components: the DOMINO Experiment. International workshop on Security and Dependability for Resource Constrained Embedded Systems (SD4RCES'10), in conjunction with SAFECOMP 2010 conference, Vienna, Austria, September 14th, 2010.
[COM10] Dumas X., Boniol F., Dhaussy P, Bonnafous E. Context Constraints Method for Software Formal Verification. ESA Workshop on Avionics Data, Control and Software Systems (ADCSS), Noordwijk, The Netherlands, 3-5 November 2009.
[COM9] Dhaussy P et Bonnafous E. Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logiciels. Séminaire Action IDM-INFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 22 octobre 2009, Paris. Octobre 2009.
[COM8] Amar B., Dhaussy P., Leblanc H., Coulette B. Description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles. Journées NEPTUNE'2008, Paris, 8-9 avril 2008, Revue Génie logiciel, juin 08, No 85.
[COM7] Monégier du Sorbier A., De Belloy S, Turpin F., Dhaussy P. Expérimentation de composants de preuve pour le développement de composants logiciels embarqués. Journées NEPTUNE'2008, Paris, 8-9 avril 2008, Revue Génie logiciel, juin 08, No 85.
[COM6] Dhaussy P. Modélisation et analyse formelle d'un protocole de communication acoustique. Journée CPER, Seatech Week'08, Brest, 13 octobre 2008.
[COM5] Dhaussy P., Pilain PY, Kerjean D., De Belloy S., Monégier du Sorbier A., Bonnin H., Boniol F. Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiques. Journée Ada-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique, Brest, 6 dec. 2007.
[COM4] Boniol F., Dhaussy P., Pagetti C. Points de vue et sémantiques ad hoc. Atelier SéMo'07, 29 mars 2007.
[COM3] Dhaussy P., Roger JC. Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les Modèle. Journée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 15 avril 05, Paris.
[COM2] Dhaussy P., Roger JC., Habart O. Mise en oeuvre d'observateurs temporisés pour la validation de logiciels temps réel. NEPTUNE'04, Journée de travail sur la Vérification de Modèles, 24 juin 04, Paris.
[COM1] Prigent A., Dhaussy P. and Roux O. Génération de Séquences Test Temporisés. Séminaire "Systèmes Informatiques de Confiance, Objectifs Zéro-Défaut", Paris, mai 2002.
[OV1] Dhaussy P., Roger JC, Bonnin H., Honoré J. Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avionique. revue REE'07, février 2007, pages 51-59.
Home