Ioannis Parissis

49 papers A* 1A 9B 3C 4Misc 2Journal 4Unranked 23

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