ReDCAD laboratory   |  ENIS   |  University of Sfax

Research Unit on Development and Control of Distributed Applications

 
 
Publications of Moez Krichen  
 
   my photo   

Journal Papers

  1. Moez Krichen and Stavros Tripakis. Conformance Testing for Real-Time Systems .Formal Methods in System Design 34(3): 238-304. Elsevier, 2009.PdfPdf
  2. Saddek Bensalem, Moez Krichen , Lotfi Majdoub, Riadh Robbana, and Stavros Tripakis. A simplified approach for testing real-time systems based on action refinement . In ISoLA, volume RNTI-SM-1 of Revue des Nouvelles Technologies de l'Information, pages 191-202. Cépaduès-Editions, 2007.PdfPdf
  3. Patricia Bouyer, Fabrice Chevalier, Moez Krichen , and Stavros Tripakis. Observation partielle des systèmes temporisés . Dans le Journal Européen des Systèmes Automatisés, Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2005, Autrans, France, 5-7 Octobre 2005, pages 381-393. Hermès, 2005. Invited Paper.PdfPdf
  4. Saddek Bensalem, Marius Bozga, Moez Krichen , and Stavros Tripakis. Testing conformance of real-time applications by automatic generation of observers . Electronic Notes in Theoretical Computer Science, 113:23-43. Elsevier, 2005.PdfPdf

Book Chapters

  1. Moez Krichen . State identification . In Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004], volume 3472 of Lecture Notes in Computer Science, pages 35-67. Springer, 2004. PdfPdf

Conference Papers

  1. Moez Krichen and Monika Solanki. Automatic Generation of Real-Time Observers for Monitoring Web Services . In Proceedings of the Second International Conference on Web and Information Technologies (ICWIT'09), 12-14 June 2009, Kerkennah Islands, Sfax, Tunisia. PdfPdf
  2. Matthieu Gallien, Fahmi Gargouri, Imen Kahloul, Moez Krichen , Thanh Hung Nguyen, Saddek Bensalem, and Félix Ingrand. D'une approche modulaire à une approche orientée composant pour le développement de systèmes autonomes : défis et principes . In 3rd National Conference on Control Architectures of Robots, CAR 2008, Bourges, France, May 29 - 30, 2008, Proceedings. Invited paper. PdfPdf
  3. Saddek Bensalem, Marius Bozga, Matthieu Gallien, Félix Ingrand, Moez Krichen , and Stavros Tripakis. Automatic generation of observers for the dala robot with TTG . In 1st Mediterranean Conference on Intelligent Systems and Automation, CISA 2008, Annaba, Algeria, June 30 - July 02, 2008, Proceedings, volume 1019 of American Institute of Physics, pages 487-492. AIP, 2008. PdfPdf
  4. Saddek Bensalem, Moez Krichen , and Stavros Tripakis. Generating Analog-Clock Real-Time Testers Using Action Refinement Techniques . Dans les Actes de la Conférence Internationale sur les Relations, Ordres et Graphes: Interaction avec l'Informatique, ROGICS 2008, Mahdia, Tunisie, 12-17 Mai 2008. PdfPdf
  5. Moez Krichen and Stavros Tripakis. Interesting properties of the real-time conformance relation . In Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, volume 4281 of Lecture Notes in Computer Science, pages 317-331. Springer, 2006. PdfPdf
  6. Moez Krichen and Stavros Tripakis. An expressive and implementable formal framework for testing real-time systems . In Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, volume 3502 of Lecture Notes in Computer Science, pages 209-225. Springer, 2005.PdfPdf
  7. Moez Krichen and Stavros Tripakis. State identification problems for timed automata . In Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference,TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, volume 3502 of Lecture Notes in Computer Science, pages 175-191. Springer, 2005. PdfPdf
  8. Moez Krichen and Stavros Tripakis. Real-time testing with timed automata testers and coverage criteria . In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault- Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings , volume 3253 of Lecture Notes in Computer Science, pages 134-151. Springer,2004. PdfPdf

Workshop Papers

  1. Saddek Bensalem, Moez Krichen , and Stavros Tripakis. State Identification Problems for Input/Output Transition Systems . In 9th International Workshop on Discrete Event Systems, WODES 2008, Göteborg, Sweden, May 28 - 30 2008 , Proceedings, pages 225-230. IEEE, 2008. PdfPdf
  2. Saddek Bensalem, Moez Krichen , Lotfi Majdoub, Riadh Robbana, and Stavros Tripakis. Test Generation for Duration Systems . In First International Workshop on Verification nd Evaluation of Computer and Communication Systems, VECoS 2007, Algiers, Algeria, 5 - 6 May 2007, Proceedings. British Computer Society - BCS, 2007. PdfPdf   
  3. Moez Krichen and Stavros Tripakis. State identification problems for finite-state transducers . In Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, ugust 15-16, 2006, Revised Selected Papers, volume 4262 of Lecture Notes in Computer cience, pages 148-162. Springer, 2006. PdfPdf
  4. Saddek Bensalem, Marius Bozga, Moez Krichen , and Stavros Tripakis. Testing Conformance of Real-Time Applications: Case of Planetary Rover Controller . In Verification and Validation of Model-Based Planning and Scheduling Systems, VVPS 2005, Monterey,California, June 6-7, Proceedings. Invited paper. PdfPdf    
  5. Moez Krichen and Stavros Tripakis. Black-box conformance testing for real-time systems . In Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, volume 2989 of Lecture Notes in Computer Science, pages 109-126. Springer, 2004. PdfPdf

PhD Thesis

Moez Krichen . Model Based Testing for Real-Time Systems . December 2007. University of Joseph Fourier, Grenoble, France. PdfPdf