default search action
Ioannis Parissis
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j4]Cyril Bresch
, David Hély, Roman Lysecky
TrustFlow-X: A Practical Framework for Fine-grained Control-flow Integrity in Critical Systems. ACM Trans. Embed. Comput. Syst. 19(5): 36:1-36:26 (2020) - [c42]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: 651-661
2010 – 2019
- 2019
- [c41]Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe:
Asynchronous Testing of Synchronous Components in GALS Systems. IFM 2019: 360-378 - [c40]Cyril Bresch, David Hély, Stéphanie Chollet, Ioannis Parissis:
TrustFlow: A Trusted Memory Support for Data Flow Integrity. ISVLSI 2019: 308-313 - [c39]Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis:
Neural Network-Based Generation of Test Data for Interactive Multimodal Applications. RIVF 2019: 1-5 - 2017
- [c38]Le Van Phol, Nguyen Thanh Binh, Ioannis Parissis:
Mutants Generation For Testing Lustre Programs. SoICT 2017: 425-430 - 2016
- [c37]Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean Baptiste Gning:
Automated test generation for synchronous controllers. AST@ICSE 2016: 1-7 - [c36]Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis:
Testing Multimodal Interactive Applications by Means of the TTT Language. AMARETTO@MODELSWARD 2016: 23-32 - [c35]Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis:
Automatically Testing of Multimodal Interactive Applications. MODELSWARD (Revised Selected Papers) 2016: 93-113 - 2015
- [c34]Trinh Cong Duy, Nguyen Thanh Binh, Ioannis Parissis:
A regression testing approach for Lustre/SCADE programs. SoICT 2015: 288-295 - 2014
- [c33]Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis:
Synchronous Programs Testing Language (SPTL). ICCSA (1) 2014: 683-695 - [c32]Yazid Benazzouz, Oum-El-Kheir Aktouf, Ioannis Parissis:
A Fault Fuzzy-ontology for Large Scale Fault-tolerant Wireless Sensor Networks. KES 2014: 203-212 - 2013
- [c31]Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis:
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. ICST 2013: 104-113 - [c30]Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis, Sanaa Boughazi:
Monitoring of RFID failures resulting from LLRP misconfigurations. SoftCOM 2013: 1-6 - [c29]Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis:
A new test modeling language for interactive applications based on task trees. SoICT 2013: 285-293 - 2012
- [c28]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: 393-400 - [c27]Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis:
An Extended LLRP Model for RFID System Test and Diagnosis. ICST 2012: 529-538 - [c26]Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El-Hassan, Abbas Hijazi:
Integrated fault tolerance framework for wireless sensor networks. ICT 2012: 1-6 - [c25]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: 211-216 - [c24]Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis:
Online monitoring and diagnosis of RFID readers and tags. SoftCOM 2012: 1-9 - 2011
- [c23]Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis:
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. FMICS 2011: 85-101 - [c22]Laya Madani, Ioannis Parissis:
Automatically testing interactive multimodal systems using task trees and fusion models. AST 2011: 43-49 - [p1]Virginia Papailiopoulou, Besnik Seljimi
Automatic Testing of LUSTRE/SCADE Programs. Model-Based Testing for Embedded Systems 2011 - 2010
- [c21]Laya Madani, Virginia Papailiopoulou, Ioannis Parissis:
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller. ICST 2010: 489-497
2000 – 2009
- 2009
- [j3]Laya Madani, Ioannis Parissis:
Automatically testing interactive applications using extended task trees. J. Log. Algebraic Methods Program. 78(6): 454-471 (2009) - [j2]Abdesselam Lakehal, Ioannis Parissis:
Structural coverage criteria for LUSTRE/SCADE programs. Softw. Test. Verification Reliab. 19(2): 133-154 (2009) - 2008
- [c20]Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis:
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. FMICS 2008: 23-36 - [c19]Laya Madani, Ioannis Parissis:
Automated Test of Interactive Applications Using Task Trees. ICST Workshops 2008: 53-62 - 2007
- [b2]Ioannis Parissis:
Méthodes et outils pour le test logiciel. Joseph Fourier University, Grenoble, France, 2007 - [c18]Jullien Bouchet, Laya Madani, Laurence Nigay, Catherine Oriat, Ioannis Parissis:
Formal Testing of Multimodal Interactive Systems. EHCI/DS-VIS 2007: 36-52 - [c17]Abdesselam Lakehal, Ioannis Parissis:
Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study. AST 2007: 62-68 - [c16]Cesare Bartolini, Antonia Bertolino
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. WADS 2007: 298-325 - [c15]Besnik Seljimi
Automatic generation of test data generators for synchronous programs: Lutess V2. DOSTA 2007: 8-12 - 2006
- [c14]Besnik Seljimi
Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. ISSRE 2006: 105-116 - 2005
- [c13]Abdesselam Lakehal, Ioannis Parissis:
Structural test coverage criteria for lustre programs. FMICS 2005: 35-43 - [c12]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: 181-186 - [c11]Abdesselam Lakehal, Ioannis Parissis:
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. ISSRE 2005: 301-310 - [c10]Laya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay:
Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. ISSRE 2005: 325-334 - 2004
- [c9]Karim-Cyril Griche, Ioannis Parissis:
Automatic control flow based generation of stubs for structural testing. IASTED Conf. on Software Engineering 2004: 339-344 - 2003
- [c8]Ioannis Parissis, Jérôme Vassy:
Thoroughness of Specification-Based Testing of Synchronous Programs. ISSRE 2003: 191-202 - 2002
- [j1]Ioannis Parissis:
Test de spécifications de logiciels synchrones. Tech. Sci. Informatiques 21(9): 1243-1264 (2002) - 2001
- [c7]Ioannis Parissis, Jérôme Vassy:
Strategies for Automated Specification-Based Testing of Synchronous Software. ASE 2001: 364-367
1990 – 1999
- 1998
- [c6]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: 48-61 - 1997
- [c5]Ioannis Parissis:
A Formal Approach to Testing LUSTRE Specifications. ICFEM 1997: 91-100 - 1996
- [b1]Ioannis Parissis:
Test de logiciels synchrones spécifiés en Lustre. (Testing synchronous software specified in Lustre). Joseph Fourier University, Grenoble, France, 1996 - [c4]Ioannis Parissis, Farid Ouabdesselam:
Specification-based Testing of Synchronous Software. SIGSOFT FSE 1996: 127-134 - 1995
- [c3]Farid Ouabdesselam, Ioannis Parissis:
Testing Techniques for Data-Flow Synchronous Programs. AADEBUG 1995: 249-260 - [c2]Farid Ouabdesselam, Ioannis Parissis:
Constructing operational profiles for synchronous critical software. ISSRE 1995: 286-293 - 1994
- [c1]Farid Ouabdesselam, Ioannis Parissis:
Testing synchronous critical software. ISSRE 1994: 239-248
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: