Alexandre Petrenko
Orcid: 0000-0002-2938-1666
According to our database1,
Alexandre Petrenko
authored at least 107 papers
between 1986 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on crim.ca
On csauthors.net:
Bibliography
2019
Softw. Qual. J., 2019
Softw. Syst. Model., 2019
Proceedings of the Tests and Proofs - 13th International Conference, 2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019
2018
Proceedings of the Testing Software and Systems, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018
Proceedings of the 14th International Conference on Grammatical Inference, 2018
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018
2017
Proceedings of the Testing Software and Systems, 2017
Proceedings of the Testing Software and Systems, 2017
Proceedings of the Testing Software and Systems, 2017
2016
Proceedings of the Testing Software and Systems, 2016
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
2015
Ann. des Télécommunications, 2015
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015
Proceedings of the Testing Software and Systems, 2015
Proceedings of the Testing Software and Systems, 2015
Proceedings of the 52nd Annual Design Automation Conference, 2015
2014
Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
2013
A formal approach for run-time verification of web applications using scope-extended LTL.
Inf. Softw. Technol., 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2012
Softw. Test. Verification Reliab., 2012
Int. J. Softw. Tools Technol. Transf., 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
2011
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs.
Proceedings of the Testing Software and Systems, 2011
2010
IEEE Trans. Computers, 2010
2009
Softw. Test. Verification Reliab., 2009
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009
Proceedings of the Testing of Software and Communication Systems, 2009
Proceedings of the Testing of Software and Communication Systems, 2009
Proceedings of the ASE 2009, 2009
Proceedings of the IEEE International Conference on Web Services, 2009
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Creating Open Educational Environment based on Open-source Software Projects.
Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009
2008
Discret. Event Dyn. Syst., 2008
Proceedings of the Testing of Software and Communicating Systems, 2008
Proceedings of the Testing of Software and Communicating Systems, 2008
Proceedings of the Eighth International Conference on Web Engineering, 2008
Proceedings of the 2008 East-West Design & Test Symposium, 2008
2007
Proceedings of the Third Workshop on Model Based Testing, 2007
Proceedings of the First International Conference on Emerging Security Information, 2007
Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study.
Proceedings of the Model Driven Architecture, 2007
2006
Formal Aspects Comput., 2006
Proceedings of the Testing of Communicating Systems, 2006
Proceedings of the Perspectives of Systems Informatics, 2006
2005
ACM SIGSOFT Softw. Eng. Notes, 2005
Proceedings of the Testing of Communicating Systems, 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005
2004
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
2003
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003
Proceedings of the Information Systems Technology and its Applications, 2003
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
2002
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002
Test Generation for CEFSM Combining Specification and Fault Coverage.
Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations.
Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002
2001
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001
Proceedings of the Perspectives of System Informatics, 2001
2000
Verification and Testing of Concurrent Systems with Action Races.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000
On Test Derivation from Partial Specifications.
Proceedings of the Formal Techniques for Distributed System Development, 2000
1999
Test Generation Driven by User-defined Fault Models.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999
Confirming configurations in EFSM.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999
1998
Test Generation for Specifications Modeled by Input/Output Automata.
Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998
Using Partial-Orders for Detecting Faults in Concurrent Systems.
Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998
Solving Asynchronous Equations.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998
1997
Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing".
ACM Trans. Softw. Eng. Methodol., 1997
Automating the process of test derivation from SDL specifications.
Proceedings of the SDL '97 Time for Testing, 1997
1996
Comput. Networks ISDN Syst., 1996
Proceedings of the Digest of Papers: FTCS-26, 1996
Fault Models for Testing in Context.
Proceedings of the Formal Description Techniques IX: Theory, 1996
1995
Modeling basic LOTOS by FSMs for conformance testing.
Proceedings of the Protocol Specification, 1995
1994
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method.
IEEE Trans. Software Eng., 1994
Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994
Proceedings of the Proceedings IEEE INFOCOM '94, 1994
A structural analysis approach to the evaluation of fault coverage for protocol conformance testing.
Proceedings of the Formal Description Techniques VII, 1994
1993
Nondeterministic State Machines in Protocol Conformance Testing.
Proceedings of the Protocol Test Systems, 1993
On Evaluation of Testability of Protocol Structures.
Proceedings of the Protocol Test Systems, 1993
Conformance Relations and Test Derivation.
Proceedings of the Protocol Test Systems, 1993
Conformance Testing of Protocol Machines without Reset.
Proceedings of the Protocol Specification, 1993
1992
Test Suite Generation from a FSM with a Given Type of Implementation Errors.
Proceedings of the Protocol Specification, 1992
1991
Checking Experiments with Protocol Machines.
Proceedings of the Protocol Test Systems, IV, 1991
1986
A Matrix-Based Approach to Test Sequences Generation for Protocol Implementations.
Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986