Ioannis Parissis
According to our database1,
Ioannis Parissis
authored at least 49 papers
between 1994 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
TrustFlow-X: A Practical Framework for Fine-grained Control-flow Integrity in Critical Systems.
ACM Trans. Embed. Comput. Syst., 2020
Experience Report on Developing a Crowdsourcing Test Platform for Mobile Applications.
Proceedings of the Advances in Computational Collective Intelligence, 2020
2019
Neural Network-Based Generation of Test Data for Interactive Multimodal Applications.
Proceedings of the 2019 IEEE-RIVF International Conference on Computing and Communication Technologies, 2019
Proceedings of the 2019 IEEE Computer Society Annual Symposium on VLSI, 2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
2017
Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017
2016
Proceedings of the Model-Driven Engineering and Software Development, 2016
Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, 2016
Proceedings of the 11th International Workshop on Automation of Software Test, 2016
2015
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015
2014
Proceedings of the 18th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2014
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014
2013
Proceedings of the 4th International Symposium on Information and Communication Technology, 2013
Proceedings of the 21st International Conference on Software, 2013
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2012
Proceedings of the 20th International Conference on Software, 2012
Proceedings of the Sixth International Conference on Next Generation Mobile Applications, 2012
Proceedings of the 19th International Conference on Telecommunications, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
A Self-Monitoring, Adaptive and Resource Efficient Approach for Improving QoS in Wireless Sensor Networks.
Proceedings of the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2012
2011
Automatically testing interactive multimodal systems using task trees and fusion models.
Proceedings of the 6th International Workshop on Automation of Software Test, 2011
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
Proceedings of the Model-Based Testing for Embedded Systems, 2011
2010
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller.
Proceedings of the Third International Conference on Software Testing, 2010
2009
Softw. Test. Verification Reliab., 2009
J. Log. Algebraic Methods Program., 2009
2008
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
2007
Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, 2007
Proceedings of the Second International Workshop on Automation of Software Test, 2007
Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007
2006
Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006
2005
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005
Testing the CARE Properties of Multimodal Applications by Means of a Synchronous Approach.
Proceedings of the IASTED International Conference on Software Engineering, 2005
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
2004
Automatic control flow based generation of stubs for structural testing.
Proceedings of the IASTED International Conference on Software Engineering, 2004
2003
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003
2002
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
1998
Proceedings of the International Workshop Tool Support for System Specification, 1998
1997
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997
1996
Test de logiciels synchrones spécifiés en Lustre. (Testing synchronous software specified in Lustre).
PhD thesis, 1996
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996
1995
Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995
Testing Techniques for Data-Flow Synchronous Programs.
Proceedings of the Second International Workshop on Automated Debugging, 1995
1994
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994