Nombre de documents

33

CV de Ioannis Parissis


Communication dans un congrès25 documents

  • Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean-Baptiste Gning. Automated test generation for synchronous controllers. 11th International Workshop on Automation of Software (AST) , May 2016, Austin, TX, United States. 2016. <hal-01424800>
  • Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, et al.. Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102, 2014. <hal-01007674>
  • Anthony Gelibert, Sébastien Jean, Denis Genon-Catalot, Gérard Santailler, Ioannis Parissis. Towards unified tooling for easing the qualification of medical normed environments. eTELEMED 2014, Mar 2014, Barcelona, Spain. 2014. <hal-00951929>
  • Tka Mouna, Christophe Deleuze, Ioannis Parissis. Synchronous Programs Testing Language (SPTL). International Conference on Computational Science and Its Applications (ICCSA 2014), 2014, Guimarae, Portugal. 13 p., 2014. <hal-01023037>
  • Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. 6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113, 2013. <hal-00954524>
  • Than Long Le, Thanh Binh Nguyen, Ioannis Parissis, Ioannis Parissis. A new test modeling language for interactive applications based on task trees. 4th International Symposium on Information and Communication Technology, SoICT '13, Danang, Viet Nam - December 05 - 06, 2013, Dec 2013, Vietnam. pp.285-293, 2013. <hal-00954532>
  • Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis, Sanaa Boughazi. Monitoring of RFID Failures Resulting from LLRP Misconfigurations. 21st IEEE International Conference on Software, Telecommunications and Computer Networks (SOFTCOM 2013), Sep 2013, Split, Croatia. pp.1-6, 2013. <hal-00958529>
  • Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. Online monitoring and diagnosis of RFID readers and tags. IEEE. 20th IEEE International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2012), Sep 2012, Split, Croatia. IEEE, pp.1-9, 2012. <hal-00798536>
  • Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. Monitoring en ligne des systèmes RFID en vue du diagnostic de fautes. Anne Etien. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Oct 2012, Villeneuve d'Ascq, France. 2012. <hal-00780208>
  • Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi, et al.. A Self monitoring, Adaptative and Resource Efficient Approach for Improving QoS in Wireless Sensor Networks. IEEE International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (Cyber'C 2012), Oct 2012, Sanya, China. pp.393-400, 2012. <hal-00959622>
  • Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Abbas Hijazi, Mira Sarkis, et al.. SMART Service for Fault-Diagnosis in Wireless Sensor Networks. IEEE 6th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2012), Sep 2012, Paris, France. pp.211 - 216, 2012. <hal-00959625>
  • Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. Évaluation de la qualité de jeux de tests hybrides en domotique. AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.104-119, 2012. <hal-00680691>
  • Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi. Online data fault detection in wireless sensor networks. IEEE Second International Conference on Advances in Computational Tools for Engineering Applications, Dec 2012, Zouk Mosbeh, Lebanon. pp.61-65, 2012. <hal-00958535>
  • Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. An extended LLRP model for RFID system test and diagnosis. The 8th Workshop on Advances in Model Based Testing, Apr 2012, Quebec, Canada. pp.10, 2012. <hal-00676582>
  • Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi. Online Data Fault Detection For Wireless Sensor Networks - Case Study. IEEE. The Third International Conference on Wireless Communications in Unusual and Confined Areas, Aug 2012, Clermont-Ferrand, France. pp.6, 2012. <hal-00695979>
  • Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. Monitoring en ligne des systèmes RFID en vue du diagnostic de fautes. Conférence Jeunes Chercheurs MajecSTIC 2012, Oct 2012, Lille, France. pp.8, 2012. <hal-00719358>
  • Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi. Integrated Fault Tolerance Framework for Wireless Sensor Networks. 19th International Conference on Telecommunications, Apr 2012, Jounieh, Lebanon. pp.6, 2012. <hal-00667331>
  • Laya Madani, Ioannis Parissis. Automatically testing interactive multimodal systems using task trees and fusion models. 6th international workshop on Automation of software test (AST '11), May 2011, United States. pp.43-49, 2011, <10.1145/1982595.1982605>. <hal-00616638>
  • Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata. Burkhart Wolff and Fatiha Zaidi. ICTSS 2011 - 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. pp.5-12, 2011. <hal-00860799>
  • Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. Workshop on Formal Methods for Industrial Critical Systems (FMICS), Aug 2011, Trento, Italy. pp.85-101, 2011. <hal-00680688>
  • Ioannis Parissis, Laya Madani, Virginia Papailiopoulou. Towards a testing methodology for reactive systems: a case study of a landing gear controller. 3th International Conference on Software Testing and Verification (ICST 2010), Apr 2010, Paris, France. pp.489 - 497, 2010. <hal-00549886>
  • Gilles Fritz, Vincent Beroulle, Nguyen Minh Duc, Oum-El-Kheir Aktouf, Ioannis Parissis. Read-Error-Rate evaluation for RFID system on-line testing. 2010 IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop (IMS3TW), Jun 2010, La Grande Motte, France. pp.1, 2010. <hal-00491923>
  • Laya Madani, Ahmed M'Hiri, Sophie Dupuy-Chessa, Ioannis Parissis. Vers la formalisation de propriétés ergonomiques de systèmes interactifs. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), 2009, Toulouse, France. pp.16, 2009. <hal-00953689>
  • Laya Madani, Ahmed M'Hiri, Sophie Dupuy-Chessa, Ioannis Parissis. Vers la formalisation de propriétés ergonomiques de systèmes interactifs. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), 2009, Unknown, 2009. <hal-00953600>
  • Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Revisiting the Steam-Boiler Case Study with LUTESS : Modeling for Automatic Test Generation. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. Helène WAESELYNCK, 8 p., 2009. <hal-00381548>

Article dans une revue3 documents

  • Yazid Benazzouz, Oum-El-Kheir Aktouf, Ioannis Parissis. A fault fuzzy-ontology for large scale fault-tolerant wireless sensor networks. Procedia Computer Science, Elsevier, 2014, 35, pp.203-212. <hal-01063798>
  • Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. SafeRFID-MW: a RFID Middleware with runtime fault diagnosis. Journal of Communications Software and Systems, Croatian Communications and Information Society, 2013, Special issue on RFID Technologies and Internet of Things, 9 (1), pp.57-73. <hal-00958523>
  • Ioannis Parissis, Laya Madani. Automatically testing interactive applications using extended task trees. Journal of Logic and Algebraic Programming, Elsevier, 2009, pp.78(6):454-471. <10.1016/j.jlap.2009.01.005>. <hal-00380724>

Chapitre d'ouvrage1 document

  • Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Automatic Test of Lustre/SCADE Programs. Model-Based Testing for Embedded Systems, CRC Press, pp.171-194, 2011, 978-1-43-981845-9. <hal-00680696>

Thèse1 document

  • Ioannis Parissis. Test de logiciels synchrones spécifiés en Lustre. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 1996. Français. <tel-00005010>

Document associé à des manifestations scientifiques1 document

  • Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis. Synchronous Programs Testing Language (SPTL). MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. <hal-00876654>

HDR1 document

  • Ioannis Parissis. Méthodes et outils pour le test logiciel. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2007. <tel-00377293>

Poster1 document

  • Mira Sarkis, Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis. Perceptron: Détection Des Fautes De Données Dans Les RCSF. Anne Etien. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Oct 2012, Villeneuve d'Ascq, France. <hal-00786188>