Ioannis Parissis

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 9

Top Venues

SoICT

ICST

SoftCOM

ICCSA (1)

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Cyril Bresch, David Hély, Roman Lysecky, Stéphanie Chollet, Ioannis Parissis
TrustFlow-X: A Practical Framework for Fine-grained Control-flow Integrity in Critical Systems. ACM Trans. Embed. Comput. Syst. 19 (5) (2020)
Nguyen Thanh Binh, Mariem Allagui, Oum-El-Kheir Aktouf, Ioannis Parissis, Le Thi Thanh Binh
Experience Report on Developing a Crowdsourcing Test Platform for Mobile Applications. ICCCI (CCIS Volume) (2020)
Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis
Neural Network-Based Generation of Test Data for Interactive Multimodal Applications. RIVF (2019)
Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
Asynchronous Testing of Synchronous Components in GALS Systems. IFM (2019)
Cyril Bresch, David Hély, Stéphanie Chollet, Ioannis Parissis
TrustFlow: A Trusted Memory Support for Data Flow Integrity. ISVLSI (2019)
Le Van Phol, Nguyen Thanh Binh, Ioannis Parissis
Mutants Generation For Testing Lustre Programs. SoICT (2017)
Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis
Automatically Testing of Multimodal Interactive Applications. MODELSWARD (Revised Selected Papers) (2016)
Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis
Testing Multimodal Interactive Applications by Means of the TTT Language. AMARETTO@MODELSWARD (2016)
Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean Baptiste Gning
Automated test generation for synchronous controllers. AST@ICSE (2016)
Trinh Cong Duy, Nguyen Thanh Binh, Ioannis Parissis
A regression testing approach for Lustre/SCADE programs. SoICT (2015)
Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis
Synchronous Programs Testing Language (SPTL). ICCSA (1) (2014)
Yazid Benazzouz, Oum-El-Kheir Aktouf, Ioannis Parissis
A Fault Fuzzy-ontology for Large Scale Fault-tolerant Wireless Sensor Networks. KES (2014)
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis, Sanaa Boughazi
Monitoring of RFID failures resulting from LLRP misconfigurations. SoftCOM (2013)
Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. ICST (2013)
Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis
A new test modeling language for interactive applications based on task trees. SoICT (2013)
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis
An Extended LLRP Model for RFID System Test and Diagnosis. ICST (2012)
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Abbas Hijazi, Mira Sarkis, Bachar El-Hassan
SMART Service for Fault Diagnosis in Wireless Sensor Networks. NGMAST (2012)
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El-Hassan, Abbas Hijazi
Integrated fault tolerance framework for wireless sensor networks. ICT (2012)
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis
Online monitoring and diagnosis of RFID readers and tags. SoftCOM (2012)
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El-Hassan, Abbas Hijazi, Bassam Moslem
A Self-Monitoring, Adaptive and Resource Efficient Approach for Improving QoS in Wireless Sensor Networks. CyberC (2012)
Laya Madani, Ioannis Parissis
Automatically testing interactive multimodal systems using task trees and fusion models. AST (2011)
Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. FMICS (2011)
Laya Madani, Virginia Papailiopoulou, Ioannis Parissis
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller. ICST (2010)
Abdesselam Lakehal, Ioannis Parissis
Structural coverage criteria for LUSTRE/SCADE programs. Softw. Test. Verification Reliab. 19 (2) (2009)
Laya Madani, Ioannis Parissis
Automatically testing interactive applications using extended task trees. J. Log. Algebraic Methods Program. 78 (6) (2009)
Laya Madani, Ioannis Parissis
Automated Test of Interactive Applications Using Task Trees. ICST Workshops (2008)
Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. FMICS (2008)
Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. WADS (2007)
Abdesselam Lakehal, Ioannis Parissis
Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study. AST (2007)
Jullien Bouchet, Laya Madani, Laurence Nigay, Catherine Oriat, Ioannis Parissis
Formal Testing of Multimodal Interactive Systems. EHCI/DS-VIS (2007)
Besnik Seljimi, Ioannis Parissis
Automatic generation of test data generators for synchronous programs: Lutess V2. DOSTA (2007)
Besnik Seljimi, Ioannis Parissis
Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. ISSRE (2006)
Laya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay
Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. ISSRE (2005)
Abdesselam Lakehal, Ioannis Parissis
Structural test coverage criteria for lustre programs. FMICS (2005)
Abdesselam Lakehal, Ioannis Parissis
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. ISSRE (2005)
Laya Madani, Laurence Nigay, Ioannis Parissis
Testing the CARE Properties of Multimodal Applications by Means of a Synchronous Approach. IASTED Conf. on Software Engineering (2005)
Karim-Cyril Griche, Ioannis Parissis
Automatic control flow based generation of stubs for structural testing. IASTED Conf. on Software Engineering (2004)
Ioannis Parissis, Jérôme Vassy
Thoroughness of Specification-Based Testing of Synchronous Programs. ISSRE (2003)
Ioannis Parissis
Test de spécifications de logiciels synchrones. Tech. Sci. Informatiques 21 (9) (2002)
Ioannis Parissis, Jérôme Vassy
Strategies for Automated Specification-Based Testing of Synchronous Software. ASE (2001)
Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon
Lutess: a testing environment for synchronous software. Tool Support for System Specification, Development and Verification (1998)
Ioannis Parissis
A Formal Approach to Testing LUSTRE Specifications. ICFEM (1997)
Ioannis Parissis, Farid Ouabdesselam
Specification-based Testing of Synchronous Software. SIGSOFT FSE (1996)
Farid Ouabdesselam, Ioannis Parissis
Constructing operational profiles for synchronous critical software. ISSRE (1995)
Farid Ouabdesselam, Ioannis Parissis
Testing Techniques for Data-Flow Synchronous Programs. AADEBUG (1995)
Farid Ouabdesselam, Ioannis Parissis
Testing synchronous critical software. ISSRE (1994)

Ioannis Parissis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ioannis Parissis