logo N&B

Ioannis PARISSIS - Grenoble INP - LCIS2

Imprimer la page

Ioannis PARISSIS

Professor (Computer Science)
Grenoble INP - Esisar
Laboratoire de Conception et d'Intégration de Systèmes (LCIS)
Equipe CTSYS
Phone: +33 4 75 75 93 91  Fax: +33 4 75 75 94 50
ioannis.parissis@grenoble-inp.fr

Research activities

Interests

Software Engineering.
Software validation, verification, testing.
Synchronous programming.
Application domains: telephony services, interactive & multimodal applications, web services, avionics.

Projects

BLUESKY (FUI Minalogic 2012-2015)
Conception et validation de services embarqués sur des réseaux d'automates programmables (Java embarqué, programmation synchrone, test logiciel).

SEMBA (Cluster ISLE - région Rhône Alpes 2008-2012)

SIESTA (ANR 2008-2010)
Automatisation du Test des Systèmes Embarqués réalisés en SCADE et Simulink
(Automated Testing of Embedded Systems implemented in SCADE or Simulink)

TAROT (Marie-Curie 2004-2008) - Training And Research On Testing

VERBATIM (RNRT 2004-2007)
Vérification par le test d'applications interactives multimodales
(Testing of interactive multimodal applications)

DANOCOPS (RNTL 2004-2007)
Recherche de non-conformités dans les programmes avec la PLC
(Using CLP to detect program faults)

INKA (RNTL 2000-2002)
Génération de tests de couverture de programmes C avec  la PLC
(Test data generation for the structural coverage)

 

Teaching activities


Software engineering (lifecycles, project management (estimation, planning), verification & validation, testing, standards (CMM, ISO)).
Algorithmics, programming.
Object oriented programming, Java.
Computer architecture.
UML modelling.

Publications

Journals

1.    Y. Benazzouz, O. Aktouf, I. Parissis. A fault fuzzy-ontology for large scale fault-tolerant wireless sensor networks. Procedia Computer Science, Elsevier, 2014, 35, pp.203-212.
2.    R. Kheddam, O. Aktouf, I. 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.
3.    L. Madani, I. Parissis. Automatically Testing Interactive Applications Using Extended Task Trees. Journal of Logic and Algebraic Programming, Elsevier, 78(6):454-471, 2009.
4.    A. Lakehal, I. Parissis. Structural Coverage Criteria for Lustre/SCADE Programs. Software Testing, Verification and Reliability (STVR) 19(2):133-154, 2009.
5.    I. Parissis. Test de spécifications de logiciels synchrones. Technique et sciences informatiques. (21)9, 2002.

Book Chapters

6.    Virginia Papailiopoulou, Besnik Seljimi and Ioannis Parissis. Automatic Test of Lustre/SCADE Programs. In Model-Based Testing for Embedded Systems. CRC Press, 9 / 2011. ISBN 978-1-43-981845-9.
7.    C. Bartolini, A. Bertolino, E. Marchetti, I. Parissis. Data Flow-based Validation of Web Services Compositions: Perspectives and Examples, in Architecting Dependable Systems V, R. de Lemos, F. Di Giandomenico, H. Muccini, C. Gacek, M. Vieira (Eds.), LNCS 5135, 2008.

International Conferences

8.    M. Tka, C. Deleuze, I. Parissis, J. Launay, J-B. Gning. Automated test generation for synchronous controllers. 11th International Workshop on Automation of Software (AST) 2016. Austin, Texas, USA, 5/2016.
9.    Long Le Thanh, Binh Nguyen Thanh, I. Parissis. Testing Multimodal Interactive Applications by Means of the TTT Language. International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - AMARETTO 2016, Rome, Italy, 2/2016.
10.    A. Gelibert, S. Jean, D. Genon-Catalot, G. Santailler, I. Parissis. Towards unified tooling for easing the qualification of medical normed environments. In eTELEMED 2014, Barcelona, Spain, 3/2014.
11.    M. Tka, C. Deleuze, I. Parissis. Synchronous Programs Testing Language (SPTL). International Conference on Computational Science and Its Applications (ICCSA), 2014, Guimarae, Portugal, 5/2014.
12.    Long Le Thanh, Binh Nguyen Thanh, I. Parissis. A New Test Modeling Language for Interactive Applications Based on Task Trees. 4th International Symposium on Information and Communication Technology (SoICT 2013), Da Nang, Vietnam, 12/2013.
13.    Y. Grasland, L. du Bousquet, R. Groz, I. Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. In 6th International Conference on Software Testing and Verification (ICST 2013), Luxembourg, 3/2013.
14.    D. Hamdan, O. Aktouf, I. Parissis, B. El Hassan, A. Hijazi. Online Data Fault Detection for Wireless Sensor Networks - Case Study. IEEE International Conference on Wireless Communication in Unusual and Confined Areas (ICWCUCA 2012), Aubière, France, 8/2012.
15.    D. Hamdan, O. Aktouf, I. Parissis, A. Hijazi, M. Sarkis et B. El Hassan. Smart diagnosis service for wireless sensor networks. IEEE International Conference on Next Generation Mobile Applications, Services and Technologies. (NGMAST 2012), Paris, France, 9/2012.
16.    D. Hamdan, O. Aktouf, I. Parissis, B. El Hassan, A. Hijazi, B. Moslem. Self monitoring Adaptative and Resource Efficient service for Improving QOS in Wireless Sensor Networks. IEEE International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC 2012), Sanya, China, 10/2012.
17.    R. Kheddam, O. Aktouf, I. Parissis. Online monitoring and diagnosis of RFID readers and tags. 20th IEEE International Conference on Software, Telecommunications and Computer Networks (SoftCOM), Split, Croatia, 2012, pp. 1-9.
18.    D. Hamdan, O. Aktouf, I. Parissis, B. El Hassan A. Hijazi. Integrated Fault Tolerance Framework for Wireless Sensor Networks. 19th International Conference on Telecommunications (ICST 2012), Jounieh, Lebanon, 4/2012.
19.    R. Kheddam, O. Aktouf, I. Parissis. An extended LLRP Model for RFID System Test and Diagnosis. 8th Workshop on Advances in Model Based Testing (A-MOST 2012), Montréal, Canada, 4/2012.
20.    Y. Grasland, L. Du Bousquet, R. Groz, I. Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata. 23rd IFIP International Conference on Testing Software and Systems (ICTSS 2011), pp.5-12, 11/ 2011, Paris, France.
21.    V. Papailiopoulou, A. Rajan, I. Parissis. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. Int'l Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy, 8/2011.
22.    L. Madani, I. Parissis. Automatically testing interactive multimodal systems using task trees and fusion models. In 6th international workshop on Automation of software test (AST '11), Hawai, USA, 5/2011.
23.    G. Fritz, V. Beroulle, Nguyen Minh Duc, O. Aktouf, I. Parissis. Read-Error-Rate evaluation for RFID system on-line testing. IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop (IMS3TW) 2010, La Grande Motte, France, 6/2010.
24.    L. Madani, V. Papailiopoulou, I. Parissis. Towards a testing methodology for reactive systems: a case study of a landing gear controller. In 3th International Conference on Software Testing and Verification (ICST 2010), Paris, France, 4/2010.
25.    V. Papailiopoulou, B. Seljimi, I. Parissis. Revisiting the Steam-Boiler Case Study with Lutess : Modeling for Automatic Test Generation. In 12th European Workshop on Dependable Computing, Toulouse, France, 5/2009.
26.    V. Papailiopoulou, L. Madani, L. du Bousquet, I. Parissis. Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS). L’Aquila, Italy, 9/2008.
27.    L. Madani, I. Parissis. Automated Test of Interactive Applications Using Task Trees. 4th Workshop on Advances in Model Based Testing (A-MOST 2008), Lillehammer, Norway, 4/2008.
28.    B. Seljimi, I. Parissis. Automatic Generation of Test Data Generators for Synchronous Programs: Lutess V2. Workshop on Domain-Specific Approaches to Software Test Automation (DoSTA) - Satellite workshop of ESEC/FSE 2007, Dubrovnik, Croatia, 9/2007.
29.    A. Bertolino, E. Marchetti, I. Parissis. Perspectives on Data Flow-based Validation of Web Services Compositions. 3rd ROSATEA Workshop (Role of Software Architecture for Testing and Analysis), Boston, USA, 7/2007.
30.    A. Lakehal, I. Parissis. Automated Measure of Structural Coverage for Lustre/Scade Programs: a Case Study. Workshop on Automated Software Testing (AST 2007) - satellite event of ICSE 2007. Minnesota, USA, 5/2007.
31.    J. Bouchet, L. Madani, L. Nigay,  C. Oriat, I. Parissis. Formal Testing of Multimodal Interactive Systems. Design, Specification and Validation of Interactive Systems (DSVIS 2007), Salamanca, Spain, 3/2007.
32.    B. Seljimi, I. Parissis.  Using CLP to automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006). Raleigh, USA, 11/2006.
33.    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. 3rd European Congress on Embedded Real Time Software (ERTS2006), Toulouse, France, 1/2006.
34.    A. Lakehal, I. Parissis. Lustructu : A Tool for the Automatic Coverage Assessment of Lustre Programs. 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005). Chicago, USA, 11/2005.
35.    L. Madani, C. Oriat, I. Parissis, J. Bouchet, L. Nigay. Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005). Chicago, USA, 11/2005.
36.    A. Lakehal, I. Parissis. Structural Test Coverage Criteria for Lustre Programs. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS). Lisboa, Portugal, 9/2005.
37.    L. Madani, L. Nigay, I. Parissis. Testing the CARE properties of multimodal applications by means of a synchronous approach. IASTED Int’l Conference on Software Engineering. Innsbruck, Austria, 2/2005.
38.    A. Lakehal, F. Ouabdesselam, I. Parissis, J. Vassy. Models for Synchronous Software Testing. MoDeVa Workshop (satellite event of ISSRE’04). Rennes, France, 11/2004.
39.    K.C. Griche, I. Parissis. Automatic Control Flow Based Generation of Stubs for Structural Testing. IASTED Int’l Conference on Software Engineering. Innsbruck, Austria, 2/2004.
40.    I. Parissis, J. Vassy. Thoroughness of Specification-Based Testing of Synchronous Programs. 14th. IEEE International Symposium on Software Reliability Engineering (ISSRE 2003). Denver, USA 11/2003.
41.    L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, J. Vassy, Zuanon, N. Black-box testing of reactive synchronous software.  SoftTest: UK Testing Research II. University of York,  UK, 9/2003.
42.    I. Parissis, J. Vassy. Strategies for Automated Specification-based Testing of Synchronous Software. 16th IEEE International Conference on Automated Software Engineering. San Diego, USA, 11/2001.
43.    L. du Bousquet, F. Ouabdesselam, I. Parissis, J-L. Richier, N. Zuanon. Specification-based Testing of Synchronous Software. Int'l Workshop on Formal Methods for Industrial Critical Systems, Berlin, Germany, 4/2000.
44.    L. du Bousquet, F. Ouabdesselam, I. Parissis, J-L. Richier, N. Zuanon. Lutess: testing environment for synchronous software. Tool support for System Specification Development and Verification, " Advances in Computing Science ", Springer Verlag, 6/1998.
45.    I. Parissis. A Formal Approach to Testing LUSTRE Specifications. 1st International IEEE Conference on Formal Engineering Methods, Hiroshima, Japan, 11/1997.
46.    I. Parissis and F. Ouabdesselam. Specification-based Testing of Synchronous Software. ACM SIGSOFT 4th Symposium on the Foundations of Software Engineering, San Francisco, USA, 10/1996.
47.    I. Parissis. A Tool for Testing Synchronous Critical Software. Third Int'l Conference on Achieving Quality in Software, Florence, Italy, 1/1996.
48.    F. Ouabdesselam and I. Parissis. Constructing Operational Profiles for Synchronous Critical Software. 6th Int'l Symposium on Software Reliability Engineering, Toulouse, France, 10/1995.
49.    F. Ouabdesselam and I. Parissis. Testing Techniques for Data-Flow Synchronous Programs. 2nd Int'l Symposium on Automated and Algorithmic Debugging, Saint Malo, France, 5/1995.
50.    F. Ouabdesselam and I. Parissis. Testing Synchronous Critical Software. 5th Int'l Symposium on Software Reliability Engineering, Monterey, USA, 11/1994.
51.    F. Ouabdesselam and I. Parissis. Testing Safety Properties of Synchronous Reactive Software. 7th Int'l Software Quality Week, San Francisco, USA, 5/1994.
52.    L-O. Donzelle, P-F. Dubois, B. Hennion, I. Parissis, P. Senn. A Constraint-based Approach to the Automatic Design of Analog Cells. 28th ACM/IEEE Design Automation Conference, San Francisco, USA, 6/1991.

National Conferences

53.    Le Thanh Long, Nguyen Thanh Binh, I. Parissis, “TTTEST : The Tool Support For Testing Interactive Multimodal Applications”, International Conference on Electronic, Information and Communication (ICEIC 2016), p. 78-81, Danang, Vietnam, 1/2016.
54.    Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis, “Model-to-C program translation in TTTEST”, in Proceedings of 17th National Conference: Selected Problems about IT And Telecommunication, Ho Chi Minh city (@ 2015), 05-06/11/2015, pages 142-149.
55.    M. Tka, C. Deleuze,  I. Parissis. "Testium: outil de génération automatique de données de test pour les systemes synchrones." Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL) 2015.
56.    F. Jebali, M. Tka, C. Deleuze, F. Lang, R. Mateescu, I. Parissis,. Modélisation et validation formelle de systemes globalement asynchrones et localement synchrones. In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL) 2014.
57.    Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis, A solution of generate test data for interactive applications, In Proceedings of the 7th National Conference on Fundamental and Applied Information Technology Research (FAIR 2014), pages 134-143, Vietnam, 2014.
58.    Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis, TTT: A Test Modeling Language for Interactive Applications Based on Task Trees, in Proceedings of 16th National Conference: Selected Problems about IT and Telecommunication (2013), pp.333-338, Vietnam 2013.
59.    Le Thanh Long, Nguyen Thanh Binh, I. Parissis, “A New Test Modeling Language for Interactive Applications Based on Task Trees”, 4th International Symposium on Information and Communication Technology (SoICT 2013), pp.285-293, Danang Vietnam 12/2013.
60.    R. Kheddam, O. Aktouf, I. Parissis. "Algorithme de diagnostic probabiliste pour la détection des défaillances dans les systèmes RFID", 9ème Conférence Internationale Jeunes Chercheurs (MajecSTIC). Lille, France, 2012, pp. 1-8.
61.    Y. Grasland, L. du Bousquet, R. Groz, I. Parissis. Evaluation de la qualité de jeux de tests hybrides en domotique. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Grenoble, France, 1/2012.
62.    L. Madani, S. Dupuy-Chessa, I. Parissis, A. Mhiri. Formalisation de propriétés ergonomiques pour la validation de systèmes interactifs. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Toulouse, France, 1/2009.
63.    B. Seljimi, I. Parissis. Test de logiciels synchrones : apports de la programmation par contraintes. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Namur, Belgium, 6/2007.
64.    L. Madani, I. Parissis. Vers la génération automatique de tests à partir d’arbres de tâches. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Namur, Belgium, 6/2007.
65.    F. Jourde, L. Nigay, I. Parissis. Test formel de systèmes interactifs multimodaux : couplage ICARE – Lutess. 19èmes Journées Internationales du génie logiciel (ICSSEA 2006), Paris, France, 12/2006.
66.    A. Lakehal, I. Parissis, L. du Bousquet.  Critères de couverture structurelle de programmes LUSTRE.  Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Besançon, France, 6/2004.
67.    I. Parissis, J. Vassy. Test des propriétés de sûreté. Modélisation des Systèmes Réactifs (MSR), Toulouse, France, 10/2001.
68.    I. Parissis. Vers une approche mixte de validation de logiciels synchrones : test, preuve, animation. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Toulouse, France, 5/1997.
69.    I. Parissis, F. Ouabdesselam. Techniques de Test pour des Logiciels Réactifs Synchrones. Modélisation des systèmes réactifs, Brest, France, 3/1996.

Misc

70.    I. Parissis. Méthodes et outils pour le test de logiciels. Habilitation à diriger des recherches – Université Joseph Fourier, 12/2007.
71.    Frédéric Jourde, Laurence Nigay, Ioannis Parissis. «Vers une plate-forme de validation d’applications multimodales combinant Lutess et ICARE». Fourniture du projet RNRT VERBATIM. 12/2006.
72.    Laya Madani, Catherine Oriat, Ioannis Parissis. « Expression de propriétés ergonomiques et fonctionnelles dans le formalisme synchrone » et « Guide de conception de propriétés de services multimodaux. Fourniture du projet RNRT VERBATIM. 12/2005.
73.    Laurence Estrabaut, Besnik Seljimi, Ioannis Parissis. Architecture de l’environnement Lutess intégrant la programmation logique avec contraintes. Fourniture du projet RNTL DANOCOPS. 12/2005.
74.    Besnik Seljimi, Ioannis Parissis. Extension de Lutess aux contraintes numériques. Fourniture du projet RNTL DANOCOPS. 3/2006.
75.    Besnik Seljimi, Ioannis Parissis. Exploitation des contraintes pour la recherche de non-conformités dans Lutess. Fourniture du projet RNTL DANOCOPS. 9/2006.
76.    I. Parissis. Test de logiciels synchrones spécifiés el Lustre. Thèse – Université Joseph Fourier, 9/1996.
 
LCIS
50, rue Barthélémy de Laffemas BP54 26902 VALENCE Cedex 09 France
Tél : +33 (0)4 75 75 94 49 Copyright Grenoble INP