Publications

Le CRIM publie une variété de documents, disponibles en ligne ou sur demande, à l’intention des professionnels en TI et de la communauté scientifique : des articles scientifiques, rapports techniques, actes de conférences, colloques et ateliers, ainsi que des publications de veille.

2017

Périodique

Toward testing from finite state machines with symbolic inputs and outputs

Petrenko, A. "Toward testing from finite state machines with symbolic inputs and outputs" Springer Software and Systems Modeling (August 2017), 17 (1) 2017 : 1-11

2016

Acte de conférence, colloque et atelier

Test Generation by Constraint Solving and FSM Mutan Killing

Petrenko, A., Nguena Timo, O. and Ramesh, S. "Test Generation by Constraint Solving and FSM Mutan Killing" in Proc. of the 28th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2016), pp. 36-51 Volume 9976 of the series Lecture Notes in Computer Science. Graz, Austria, du 17 au 19 octobre 2016
Acte de conférence, colloque et atelier

Solving Language Equations using Flanked Automata

Avellaneda, F., Dal Zilio, S. and Raclet, J.-B. "Solving Language Equations using Flanked Automata" in Proc. of the 14th International Symposium on Automated Technology of Verification and Analysis (ATVA 2016), pp. 106-121. Volume 9938 of the series Lecture Notes in Computer Science, Chiba, Japan, du 12 au 20 octobre 2016
Acte de conférence, colloque et atelier

Multiple Mutation Testing from FSM

Petrenko, A., Nguena Timo, O. and Ramesh, S. "Multiple Mutation Testing from FSM" in Proc of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (DisCoTec 2016), pp. 222-238 Volume 9688 of the series Lecture Notes in Computer Science. Heraklion, Crete, Greece, du 6 au 9 juin 2016
Acte de conférence, colloque et atelier

Integration Testing of AUTOSAR Components

Ramesh, S., Petrenko, A. and Nguena Timo, O. "Integration Testing of AUTOSAR Components" in Proc. of the 1st IEEE International Workshop on Automative Reliability & Test (ART 2016). Texas, USA, du 17 au 18 novembre 2016
Acte de conférence, colloque et atelier

Checking Experiments for Symbolic Input/Output Finite State Machines

Petrenko, A. "Checking Experiments for Symbolic Input/Output Finite State Machines" in Proc. of the IEEE Ninth International Conference on Software Testing, Verification and Validation (ICST'2016), pp. 3-18 Volume 9447 of the series Lecture Notes in Computer Science. Illinois, Chicago, USA, du 10 au 15 avril 2016
Périodique

Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study

Nguena Timo, O. and Langelier, G. "Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study" Electronic Notes in Theoretical Computer Science (ENTCS), 320 (2) 2016 : 35-51, Issue C
Périodique

Signature-based detection of behavioural deviations in flight simulators - Experiments on FlightGear and JSBSim

Boisselle, V., Destefanis, G., De Marco, A. and Adams, B. "Signature-based detection of behavioural deviations in flight simulators - Experiments on FlightGear and JSBSim" PeerJ Preprints, 0 (0)

2015

Acte de conférence, colloque et atelier

Would you mind fixing this issue? An Empirical Analysis of Politeness and Attractiveness in Software Developed Using Agile Boards

Ortu, M., Destefanis, G., Marchesi, M., Kassab, M., Counsell, S. et Tonelli, R. "Would you mind fixing this issue? An Empirical Analysis of Politeness and Attractiveness in Software Developed Using Agile Boards" dans 16th International Conference on Agile Software Development (XP2015), pp. 12. Helsinki, Finland, du 24 au 29 mai 2015
Acte de conférence, colloque et atelier

Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study

Nguena Timo, O. and Langelier, G. "Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study" in The 1st workshop on Uses of Symbolic Execution (USE 2015). Oslo, Norway, du 23 au 25 juin 2015
Acte de conférence, colloque et atelier

Model Based Testing of Automotive Software: Some Challenges and Solution

Petrenko, A., Nguena Timo O., Ramesh, S. and Assaf, T. "Model Based Testing of Automotive Software: Some Challenges and Solution" in Proceedings of the 52nd Annual Design Automation Conference (DAC 2015), pp. 1-6. San Francisco, USA, du 7 au 11 juin 2015
Acte de conférence, colloque et atelier

Measuring and Understanding the Effectiveness of JIRA Developers Communities

Ortu, M., Destefanis, G., Kassab, M. and Marchesi, M. "Measuring and Understanding the Effectiveness of JIRA Developers Communities" in 6th International Workshop on Emerging Trends in Software Metrics (WETSoM 2015, a satellite workshop of ICSE 20015). Florence, Italy, le 17 mai 2015
Acte de conférence, colloque et atelier

Inferring Finite State Machines Without Reset Using a Characterizing W-set

Groz, R.,, Simao, A.,, Petrenko, A. and Oriat, C., "Inferring Finite State Machines Without Reset Using a Characterizing W-set" in Proceedings of the 27th IFIP International Conference on Testing Software and Systems (ICTSS 2015), pp. 161-177. Berlin Heidelberg: Springer-Verlag, LNCS 9447. Dubai, United Arab Emirates, du 23 au 25 novembre 2015
Acte de conférence, colloque et atelier

Could Micro Patterns be Used as Software Stability Indicator?

Ortu, M., Destefanis, G., Orru, M., Tonelli, R. and Marchesi, M. "Could Micro Patterns be Used as Software Stability Indicator?" in Workshop on Pattern Promotion and Anti-pattern Prevention (PPAP2015), pp. 2. École Polytechnique of Montréal, Canada, le 2 mars 2015
Acte de conférence, colloque et atelier

Checking Experiments for Finite State Machines with Symbolic Inputs

Petrenko, A. and Simao, A. "Checking Experiments for Finite State Machines with Symbolic Inputs" in Proceedings of the 27th IFIP International Conference on Testing Software and Systems (ICTSS 2015), pp. 3-18. Berlin Heidelberg: Springer-Verlag, LNCS 9447. Dubai, United Arab Emirates, du 23 au 25 novembre 2015
Acte de conférence, colloque et atelier

Building an Interactive Test Development Environment for Cyclic Executive Systems

Langelier, G., Dury, A., Petrenko, A. and Ramesh, S. "Building an Interactive Test Development Environment for Cyclic Executive Systems" in Proceedings of 10th IEEE International Symposium on Industrial Embedded Systems (SIES 2015), pp. 1-9. Siegen, Germany, du 8 au 10 juin 2015
Acte de conférence, colloque et atelier

Are Bullies more Productive? Empirical Study of Affectiveness vs. Issue Fixing Time

Ortu, M., Adams, B., Destefanis, G., Tourani, P., Marchesi, M. and Tonelli, R. "Are Bullies more Productive? Empirical Study of Affectiveness vs. Issue Fixing Time" in The 12th Working Conference on Mining Software Repositories (MSR 2015, co-located with ICSE 2015), pp. 11. Florence, Italy, du 16 au 17 mai 2015
Périodique

Integration testing of communicating systems with unknown components

Groz, R., Li. K. and Petrenko, A. "Integration testing of communicating systems with unknown components" Annals of Telecommunications, Springer, 70 (3) 2015 : 107-125
Périodique

Generalizing the DS-Methods for Testing Non-Deterministic FSMs

Petrenko, A. and Simao, A. "Generalizing the DS-Methods for Testing Non-Deterministic FSMs" The Computer Journal, 58 (7) 2015 : 1656-1672
Périodique

Component-Based Design by Solving Language Equations

Villa, T., Petrenko, A., Yevtushenko, N., Mishchenko, A. and Brayton, R. "Component-Based Design by Solving Language Equations" Proceedings of the IEEE, 103 (11) 2015 : 2152 - 2167
Rapport technique

From Sequence Diagram Test Scenario to the Statechart Model of the Tester

Alikacem, E. H., Petrenko, A. From Sequence Diagram Test Scenario to the Statechart Model of the Tester. Montréal, CRIM, 2015. 48 p. . [CRIM-15/03-17/MODL]

2014

Rapport technique

Which programming language should a company use? A Twitter-based analysis

Destefanis, G. Which programming language should a company use? A Twitter-based analysis. Montréal, CRIM, 2014. 16 p. . [CRIM-14/10-23-MODL]
[Texte complet]
Acte de conférence, colloque et atelier

Reachability in Hierarchical Machines

Nguena Timo, O., Petrenko, A. and Ramesh, S. "Reachability in Hierarchical Machines" in Proceedings of the IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014), pp. 475-482. San Francisco, USA, du 13 au 15 août 2014
Acte de conférence, colloque et atelier

Inferring Approximated Models for Systems Engineering

Petrenko, A., Li, K., Groz, R., Hossen, K. and Oriat, C. "Inferring Approximated Models for Systems Engineering" in Proceedings of the IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE), pp. 249-253. Miami, USA, du 9 au 11 janvier 2014
Acte de conférence, colloque et atelier

Generating Complete and Finite Test Suite for ioco: Is It Possible?

Simao, A. and Petrenko, A. "Generating Complete and Finite Test Suite for ioco: Is It Possible?" in Proceedings of 9th Workshop on Model-Based Testing (MBT 2014), Electronic Proceedings in Theoretical Computer Science (EPTCS) 141, pp. 56-70. Grenoble, France, le 6 avril 2014
Acte de conférence, colloque et atelier

Adaptive Testing of Nondeterministic Systems with FSM

Petrenko, A. and Yevtushenko, N. "Adaptive Testing of Nondeterministic Systems with FSM" in Proceedings of the IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE), pp. 224-228. Miami, USA, du 9 au 11 janvier 2014

2013

Veille et meilleures pratiques

White Paper - Symbolic code execution: a powerful approach for test generation

Dury, A. Symbolic code execution: a powerful approach for test generation. Montréal, CRIM, 2013. 10 p.
[Texte complet]
Acte de conférence, colloque et atelier

Remote Testing of Timed Specifications

David, A., Larsen, K.G., Mikučionis, M., Nguena Timo, O.L. and Rollet, A. "Remote Testing of Timed Specifications" in Proceedings of the 25th IFIP International Conference on Testing Software and Systems (ICTSS 2013), pp. 65-81. Istanbul, Turkey, du 13 au 15 novembre 2013
Acte de conférence, colloque et atelier

A Method and Tool for Test Optimization for Automotive Controllers

Petrenko, A., Dury, A,, Ramesh, S. and Mohalik, S. "A Method and Tool for Test Optimization for Automotive Controllers" in Proceedings of the 9th Workshop on Advances in Model Based Testing (A-MOST 2013) of the 6th IEEE International Conference on Software Testing, Verification and Validation (ICST 2013). Luxembourg, le 22 mars 2013
Périodique

A Formal Approach for Run-Time Verification of Web Applications using Scope-Extended LTL

Haydar, M., Petrenko, A., Boroday, S. and Sahraoui, H. "A Formal Approach for Run-Time Verification of Web Applications using Scope-Extended LTL" Information and Software Technology, 55 (12) 2013 : 2191–2208

2012

Périodique

On Reducing Test Length for FSMs with Extra States

Simao, A., Petrenko, A. and Yevtushenko, N. "On Reducing Test Length for FSMs with Extra States" Software Testing, Verification and Reliability, 22 (6) 2012 : 435-454
Périodique

Model-based testing of software and systems...

Petrenko, A., Simao, A. and Maldonado, J. C. "Model-based testing of software and systems: recent advances and challenges" International Journal on Software Tools for Technology Transfer, 14 (4) 2012 : 383-386
Périodique

Prioritising Test Cases

Ledru, Y., Petrenko, A., Boroday, S. and Mandran, N. "Prioritising Test Cases with String Distances" Automated Software Engineering, 19 (1) 2012 : 65-95
Acte de conférence, colloque et atelier

Generating Checking Sequences for Nondeterministic Finite State Machines

Petrenko, A., Simao, A. and Yevtushenko, N. "Generating Checking Sequences for Nondeterministic Finite State Machines" in Proceedings of the IEEE Fifth International Conference on Software Testing, Verification and Validation. The Best Paper Award (ICST 2012). Hôtel Omni, Québec, Montréal, Canada, du 17 au 21 avril 2012
Livre

The Unknown Component Problem

Villa, T., Yevtushenko, N., Brayton, R.K., Mishchenko, A., Petrenko, A. and Sangiovanni-Vincentelli, A. The Unknown Component Problem, Theory and Applications. : Springer, 2012. 311 p.
[Lire en ligne]

2011

Périodique

Generating Asynchronous Test Cases...

Simao, A. and Petrenko, A. "Generating Asynchronous Test Cases from Test Purposes" Information and Software Technology, 53 (11) 2011 : 1252-1262
Diaporama

Advanced Tools for TCMS Development and Maintenance...

Dury, A. Advanced Tools for TCMS Development and Maintenance, Bombardier Transport. Montréal, 19 octobre 2011, CRIM. 27 diapositives
Acte de conférence, colloque et atelier

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

Petrenko, A. and Yevtushenko, N. "Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs" in Proceedings of the 23d IFIP International Conference on Testing Software and Systems (ICTSS 2011), pp. 162-198. Paris, France, du 7 au 10 novembre 2011

2010

Acte de conférence, colloque et atelier

From Scenarios to Test Implementations via Promela

Hallal, H., Alikacem, E., Ulrich, A. et Boroday, S. "From Scenarios to Test Implementations via Promela" dans 22nd IFIP International Conference on Testing Software and Systems (ICTSS'10). Natal, Brazil, du 8 au 10 novembre 2010
Acte de conférence, colloque et atelier

From Test Purposes to Asynchronous Test Cases

Simao, A. and Petrenko, A. "From Test Purposes to Asynchronous Test Cases" in 6th Workshop on Advances in Model Based Testing (A-MOST 2010). Paris, France
Acte de conférence, colloque et atelier

WeSPaS - Web Specification ...

Haydar, M., Petrenko, A. and Sahraoui, H. "WeSPaS - Web Specification Pattern System" in Proceedings of the IEEE International Conference on Machine and Web Intelligence (ICMWI'2010). Algiers, Algeria
Acte de conférence, colloque et atelier

From Test Purposes and ...

Petrenko, A. "From Test Purposes and Specifications to Test Cases" in Dagstuhl Seminar Proceedings, 10421 Abstracts Collection -- Model-Based Testing in Practice. (ISSN 1862-4405). Dagstuhl, Germany
Acte de conférence, colloque et atelier

Rule-Based System for Flaw Specification and Detection (...)

Alikacem, E. and Sahraoui, H. "Rule-Based System for Flaw Specification and Detection in Object-Oriented Programs" in 13th TOOLS Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE 2010). Malaga, Spain
Livre

Proceedings of the 22nd IFIP ICTSS: Short Papers

Petrenko, A, Simão, A. and Maldonado, J. C. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers [ICTSS'10] Montréal : CRIM, 2010. 128 p.
Livre

Proceedings of the 22nd IFIP ICTSS

Petrenko, A., Simão, A. and Maldonado, J. C. Testing of Software and Systems: Proceedings of the 22nd IFIP Int. Conference on Testing Software and Systems (ICTSS'2010) Berlin Heidelberg : Springer-Verlag, 2010. [LNCS 6435]
Périodique

Checking Completeness of Tests for Finite State Machines

Simao, A. and Petrenko, A. "Checking Completeness of Tests for Finite State Machines" IEEE Transactions on Computers, 59 (8) 2010 : 1023-1032
Périodique

Fault Coverage-Driven Incremental ...

Simão, A. and Petrenko, A. "Fault Coverage-Driven Incremental Test Generation" The Computer Journal, 53 (9) 2010 : : 1508-1522
Rapport technique

A Transformational Approach for Asynchronous Test (...)

Simao, A., Petrenko, A. A Transformational Approach for Asynchronous Test Case Generation from Test Purposes. Montréal, CRIM, 2010. 26 p. . [CRIM-10/01-01]

2009

Acte de conférence, colloque et atelier

Testing in Context and Synthesis of the Unknown Component: Two Faces of the Same Coin

Petrenko, A., Yevtushenko, N. and Villa, T. "Testing in Context and Synthesis of the Unknown Component: Two Faces of the Same Coin" in Proceedings of the IEEE/ACM 18th International Workshop on Logic & Synthesis. CA, Berkeley, USA, du 31 juillet au 2 août 2009
Acte de conférence, colloque et atelier

Checking Sequence Generation Using State Distinguishing Subsequences

Simao, A. and Petrenko, A. "Checking Sequence Generation Using State Distinguishing Subsequences" in 5th Workshop on Advances in Model Based Testing (A-MOST 2009). Denver, USA
[Résumé]
Acte de conférence, colloque et atelier

Generating Reduced Tests for FSMs with Extra States

Simao, A., Petrenko, A. and Yevtushenko, N. "Generating Reduced Tests for FSMs with Extra States" in 21th IFIP International Conference on Testing of Communicating Systems / 9th International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2009), pp. 129–145. Eindhoven, The Netherlands
[Résumé]
Acte de conférence, colloque et atelier

Using String Distances for Test Case Prioritisation

Ledru, Y., Petrenko, A. and Boroday, S. "Using String Distances for Test Case Prioritisation" in 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009). Auckland, New Zealand
[Résumé]
Acte de conférence, colloque et atelier

Web-FIM: Automated Framework (...) of Business Software Models

Hallal, H. H., Dury, A. and Petrenko, A. "Web-FIM: Automated Framework for the Inference of Business Software Models" in 2009 Congress on Services - 1, pp. 130-138. CA, Los Angeles
[Résumé]
Acte de conférence, colloque et atelier

Inferring Behavioural Models from Traces of Business Applications

Dury, A., Hallal, H. H. and Petrenko, A. "Inferring Behavioural Models from Traces of Business Applications" in 2009 IEEE International Conference on Web Services, pp. 791-798 . Los Angeles, USA
Acte de conférence, colloque et atelier

Implementing MSC Tests with Quiescence Observation

Boroday, S., Petrenko, A. and Ulrich, A. "Implementing MSC Tests with Quiescence Observation" in 21th IFIP International Conference on Testing of Communicating Systems / 9th International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2009), pp. 49–65. Eindhoven, The Netherlands
[Résumé]
Acte de conférence, colloque et atelier

A Metric Extraction Framework (...) High-Level Description Language

Alikacem, E. H. and Sahraoui, H. A. "A Metric Extraction Framework Based on a High-Level Description Language" in Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009). Edmonton, Canada
Périodique

Transition Covering Tests ...

Huo, J. and Petrenko, A. "Transition Covering Tests for Systems with Queues" Software Testing, Verification and Reliability, 19 (1) 2009 : 55-83
[Résumé]
Périodique

Comparing finite state machine test coverage criteria

Simao, A., Petrenko, A. and Maldonado, J. C. "Comparing finite state machine test coverage criteria" IET Software, 3 (2) 2009 : 91-105
[Résumé]
Périodique

Fault Coverage-Driven Incremental Test Generation

Simao, A. and Petrenko, A. "Fault Coverage-Driven Incremental Test Generation" Computer Journal [Advance Access], 0 (0)
[Résumé]
Périodique

Refining specifications in adaptive testing of nondeterministic finite state machines

Petrenko, A. and Yevtushenko, N. "Refining specifications in adaptive testing of nondeterministic finite state machines" Vestnik Tomskogo gosudarstvennogo universiteta (upravlenie, vychislitelnaya technica i informatica), 1 (6) 2009 : 99-114
[Résumé]
Rapport technique

Incremental Test Generation Guided by Fault Coverage

Simao, A., Petrenko, A. Incremental Test Generation Guided by Fault Coverage. Montréal, CRIM, 2009. 29 p. . [CRIM-09/03-01]

2008

Périodique

Compositionally Progressive Solutions ...

Yevtushenko, N., Villa, T., Brayton, R. K. , Petrenko, A. and Sangiovanni-Vincentelli, A. L. "Compositionally Progressive Solutions of Synchronous FSM Equations" Discrete Event Dynamic Systems, 18 (1) 2008 : 51-89
[Résumé]
Acte de conférence, colloque et atelier

Generating Checking Sequences ...

Petrenko, A. and Simao, A. "Generating Checking Sequences for Partial Reduced Finite State Machines" in Proceedings of the 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software (TESTCOM/Fates 2008), pp. 153-168. Tokyo, Japan, le 10 juin 2008
[Résumé]
Acte de conférence, colloque et atelier

Test Suite Consistency Verification

Boroday, S., Petrenko, A. and Ulrich, A. "Test Suite Consistency Verification" in Proceedings of the 6th IEEE East-West Design & Test Symposium (EWDTS 2008), pp. 235-238. Lviv, Ukraine
[Résumé]
Acte de conférence, colloque et atelier

Specification Patterns ...

Haydar, M., Sahraoui, H. and Petrenko, A. "Specification Patterns for Formal Web Verification" in Proceedings of the 8th International Conference on Web Engineering (ICWE 2008), pp. 240-246. NY, Yorktown Heights, USA
[Résumé]
Acte de conférence, colloque et atelier

Modular System Verification ...

Groz, R., Li, K., Petrenko, A. and Shahbaz, M. "Modular System Verification by Inference, Testing and Reachability Analysis" in Proceedings of the 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software (TESTCOM/Fates 2008), pp. 216-233. Tokyo, Japan
[Résumé]
Chapitre de livre

Anomaly Detection and ...

Haydar, M., Malak, G., Sahraoui, H., Petrenko, A. and Boroday., S. "Anomaly Detection and Quality Evaluation of Web Applications" In Calero, C., Moraga, M. A. and M. Piattini (Drs). Handbook of Research on Web Information Systems Quality, Chapter V, pp. 86-103.. Hershey, PAIGI Global, 2008
[Résumé]

2007

Rapport technique

WeSPaS: A Specification Pattern System ...

Haydar, M., Sahraoui, H. WeSPaS: A Specification Pattern System for Web Verification. Montréal, CRIM, 2007. 64 p. . [CRIM-07/10-17]
Rapport technique

Checking FSM Test Completeness ...

Simao, A., Petrenko, A. Checking FSM Test Completeness Based on Sufficient Conditions. Montréal, CRIM, 2007. 25 p. . [CRIM-07/10-20]
Rapport technique

Test Generation for Non-Deterministic Systems ...

Boroday, S., Petrenko, A., Groz, R. Test Generation for Non-Deterministic Systems with Model and Module Checkers. Montreal, CRIM, 2007. [CRIM-07/02-02]
Périodique

Can a Model Checker Generate Tests for...

Boroday, S., Petrenko, A. and Groz, R. "Can a Model Checker Generate Tests for Non-Deterministic Systems?" Electronic Notes in Theoretical Computer Science, 190 (2) 2007 : 3-19
[Résumé]
Mémoire de maîtrise et thèse de doctorat

Rule-Based Quality ...

Yang, F. Rule-Based Quality Heuristics Formalization and Identification Montréal. Université de Montréal, 2007. 125 p. Maîtrise en sciences informatiques.
Mémoire de maîtrise et thèse de doctorat

A Model Checking Based Framework ...

Hallal, H. H. A Model Checking Based Framework for the Trace Analysis of Distributed Systems Montréal. Université McGill, 2007. 210 p. Thèse de doctorat en génie électrique et informatique.
Mémoire de maîtrise et thèse de doctorat

A Formal Framework for ...

Haydar, M. A Formal Framework for Run-Time Verification of Web Applications : An Approach Supported by Scope-Extended Linear Temporal Logic Montréal. Université de Montréal, 2007. 187 p. Thèse de doctorat en informatique.
Livre

Testing of Software and Communicating Systems ...

Petrenko, A., Veanes, M., Tretmans, J. and Grieskamp, W. Testing of Software and Communicating Systems: Work-in-Progress and Position Papers, Tool Demonstrations and Tutorial Abstracts of TestCom/FATES 2007. Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2007
Livre

TestCom/FATES 2007 ...

Petrenko, A., Veanes, M., Tretmans, J. and Grieskamp, W. Proceedings of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems - 7th International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007). Berlin Heidelbreg : Springer-Verlag, 2007. 377 p. . [LNCS 4581]
Livre

Proceedings of the 19th IFIP TC6/WG6.1 (...) (TestCom/FATES 2007)

Petrenko, A., Veanes, M., Tretmans, J. and Grieskamp, W. Proceedings of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems - 7th International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007). Berlin Heidelberg : Springer-Verlag, 2007. 377 p. . [LNCS 4581]
Acte de conférence, colloque et atelier

Formal Verification of Business Workflows ...

Dury, A., Boroday, S., Petrenko, A. and Lotz, V. "Formal Verification of Business Workflows and Role Based Access Control System" in Proceedings of the International Conference on Emerging Security Information, Systems and Technologies (SecureWare 2007). Valencia, Spain
[Résumé]
Acte de conférence, colloque et atelier

Experimental Evaluation of Coverage ...

Simao, A., Petrenko, A. and Maldonado, J. C. "Experimental Evaluation of Coverage Criteria for FSM-based Testing" in Proceedings of the XXI Brazilian Symposium on Software Engineering (SBES 2007), pp. 359-376. Joao Pessoa, Brazil
[Résumé]
Acte de conférence, colloque et atelier

Model Driven Test Adaptation as Repair

Boroday, S. and Hallal, H. "Model Driven Test Adaptation as Repair" in Testing of Software and Communicating Systems: Work-in-Progress and Position Papers, Tool Demonstrations and Tutorial Abstracts of TestCom/FATES 2007, pp. 5-9. Tallinn, Estonia
[Résumé]
Acte de conférence, colloque et atelier

Reverse Engineering Models from Traces to Validate ...

Ulrich, A and Petrenko, A. "Reverse Engineering Models from Traces to Validate Distributed Systems – An Industrial Case Study" in Proceedings of the Third European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2007), pp. 184-193. Haifa, Israel
[Résumé]
Acte de conférence, colloque et atelier

Can a Model Checker Generate Tests ...

Boroday, S., Petrenko, A. and Groz, R. "Can a Model Checker Generate Tests for Non-Deterministic Systems?" in Proceedings of the Third Workshop on Model Based Testing (MBT 2007). Braga, Portugal

2006

Rapport technique

Model Checking Access Control in Business Workflow

Dury, A., Boroday, S., Petrenko, A., Lotz, V. Model Checking Access Control in Business Workflow. Montreal, CRIM, 2006. 68 p. . [CRIM-06/10-11]
Périodique

A Formal Approach to Testing Properties ...

Hallal, H. H., Boroday, S., Petrenko, A. and Ulrich, A. "A Formal Approach to Testing Properties in Causally Consistent Distributed Traces" Formal Aspects of Computing, 18 (1) 2006 : 63-83
[Résumé]
Mémoire de maîtrise et thèse de doctorat

On Testing Concurrent Systems ...

Huo, J. On Testing Concurrent Systems through Contexts of Queues Montréal. McGill University, 2006. 162 p. Thesis in Electrical Engineering.
Acte de conférence, colloque et atelier

Why Automata Models are Sexy for Testers?

Petrenko, A. "Why Automata Models are Sexy for Testers?" in Proceedings of the International Conference Perspectives of Systems Informatics (PSI 2006). Novosibirsk, Russia
Acte de conférence, colloque et atelier

Generic Metric Extraction Framework

Alikacem, E. H. and Sahraoui, H. "Generic Metric Extraction Framework" in Proceedings of the 16th International Workshop on Software Measurement and Metrik Kongress (IWSM/MetriKon), pp. 383-390. Postdam, Germany
[Résumé]
Acte de conférence, colloque et atelier

FSM Test Translation Through Context

El-Fakih, K., Petrenko, A. and Yevtushenko, N. "FSM Test Translation Through Context" in Proceedings of the 18th IFIP International Conference on Testing of Communicating Systems (TestCom 2006), pp. 254-258. NY, New York City, USA
[Résumé]
Acte de conférence, colloque et atelier

Détection d'anomalies utilisant un langage de règle de qualité

Alikacem, E. H. et Sahraoui, H. A. "Détection d'anomalies utilisant un langage de règle de qualité" dans Actes de la 12e conférence Langage et Modèles à Objets (LMO 2006). Nîmes, France
[Texte complet] [Résumé]

2005

Périodique

Testing from Partial Deterministic FSM Specifications

Petrenko, A. and Yevtushenko, N. "Testing from Partial Deterministic FSM Specifications" IEEE Transactions on Computers, 54 (9) 2005 : 1154-1165
Périodique

Adaptive Test Generation for Nondeterministic Networks

Petrenko, A., Vetrova, M. and Yevtushenko, N. "Adaptive Test Generation for Nondeterministic Networks" Radio Electronics and Informatics, 13 (0) 2005 : 90-93
[Résumé]
Rapport technique

Adding Propositional Scopes ...

Haydar, M., Boroday, S., Petrenko, A., Sahraoui, H. Adding Propositional Scopes to Linear Temporal Logic. Montréal, CRIM, 2005. 24 p. . [CRIM-05/05-06]
Rapport technique

Covering Transitions of Concurrent Systems through Queues

Petrenko, A., Huo, J. Covering Transitions of Concurrent Systems through Queues. Montréal, CRIM, 2005. 27 p. . [CRIM-05/08-09]
Mémoire de maîtrise et thèse de doctorat

Formal Checking of Web ...

Barburas, D. Formal Checking of Web Based Applications Montréal. Université de Montréal, 2005. 75 p. Mémoire de maîtrise en science informatique.
Mémoire de maîtrise et thèse de doctorat

Determination of Software Quality ...

Méhio, N. Determination of Software Quality through a Generic Model Montréal. Université de Montréal, 2005. 100 p. Mémoire de maîtrise es science informatique.
Mémoire de maîtrise et thèse de doctorat

Analyse et visualisation d'abstractions ...

Bougherara, N. E. Analyse et visualisation d'abstractions orientées objets Montréal. Université du Québec à Montréal, 2005. 129 p. Mémoire de maîtrise en informatique.
Mémoire de maîtrise et thèse de doctorat

Custom and Model Based Detection ...

Singh, J. Custom and Model Based Detection of Deficiencies Related of Java Multithreading Montréal. Concordia University, 2005. 153 p. p. Master of Applied Science.
Diaporama

Détection d'anomalies utilisant un langage de description ...

Alikacem, E. H. Détection d'anomalies utilisant un langage de description de règle de qualité. Montréal, CRIM
Diaporama

Testing Multi-threaded ...

Huo, J. Testing Multi-threaded programs with Multiplexer. Montréal, CRIM. 18 diapositives
Acte de conférence, colloque et atelier

Covering Transitions of Concurrent Systems through Queues

Petrenko, A. and Huo, J. "Covering Transitions of Concurrent Systems through Queues" in Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05). IL, Chicago, USA, du 8 au 11 novembre 2005
[Résumé]
Acte de conférence, colloque et atelier

Multiplexing of Partially Ordered Events

Capmpbell, C., Veanes, M., Huo, J. and Petrenko, A. "Multiplexing of Partially Ordered Events" in Proceedings of the 17th IFIP International Conference on Testing of Communicating Systems (TestCom 2005), pp. 97-110. Quebec, Montréal, Canada
[Résumé]
Acte de conférence, colloque et atelier

Dynamic Analysis of Java Applications ...

Boroday, S., Petrenko, A., Sing, J. and Hallal, H. "Dynamic Analysis of Java Applications for MultiThreaded Antipatterns" in Proceedings of the Third International Workshops on Dynamics Analysis (WODA 2005). MI, St-Louis, USA
[Résumé]
Acte de conférence, colloque et atelier

Machines de mutations pour l'enrichissement de test ...

Kermarrec, A., Groz, R., Parreaux, B. et Petrenko, A. "Machines de mutations pour l'enrichissement de test de protocoles" dans Actes du Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'05). Bordeaux, France
[Résumé]
Acte de conférence, colloque et atelier

Propositional Scopes in Linear ...

Haydar, M., Boroday, S., Petrenko, A. et Sahraoui., H. "Propositional Scopes in Linear Temporal Logic" dans Actes du 5e Colloque International sur les Nouvelles Technologies de la Répartition (NOTERE 2005). Québec, Gatineau, Canada
[Résumé]
Acte de conférence, colloque et atelier

Properties and Scopes ...

Haydar, M., Boroday, S., Petrenko, A. and Sahraoui, H. "Properties and Scopes in Web Model Checking" in Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005). California, Long Beach, USA
[Résumé]
Acte de conférence, colloque et atelier

Conformance Tests FSM

Petrenko, A. and Yevtushenko, N. "Conformance Tests as Checking Experiments for Partial Nondeterministic FSM" in Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software (Fates 2005), pp. 185-200. Scotland, Edinburgh, UK
[Résumé]
Affiche

Auto-Adaptive Distributed Hash Tables

Dury, A. "Auto-Adaptive Distributed Hash Tables" dans Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing (GRID 2005). WA, USA

2004

Périodique

Confirming Configurations in EFSM Testing

Petrenko, A., Boroday, S. and Groz, R. "Confirming Configurations in EFSM Testing" IEEE Transactions on Software Engineering, 30 (1) 2004 : 29-42
[Résumé]
Livre

Formal Approaches to Software Testing ...

Petrenko, A. and Ulrich, A. Formal Approaches to Software Testing. Third International Workshop on Formal Approaches to Testing of Software, FATES 2003. Montreal, Quebec, Canada, October 6th, 2003 Berlin : Springer-Verlag, 2004. 267 p. . [LNCS 2931]
Diaporama

Sécurité réseaux ...

Dury, A. Sécurité réseaux : dangers, enjeux et R-D. Montréal, CRIM
Acte de conférence, colloque et atelier

Load Balancing for Access ...

Dury, A. "Load Balancing for Access Intensive Keys in Distributed Hash Tables" in Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AP2PC - AAMAS 2004). NY, New-York, USA
Acte de conférence, colloque et atelier

On Testing Partially Specified IOTS ...

Huo, J. and Petrenko, A. "On Testing Partially Specified IOTS through Lossless Queues" in Proceedings of the IFIP TC6/WG6.1 XVI International Conference on Testing of Communicating Systems (TestCom 2004). Oxford, UK
[Résumé]
Acte de conférence, colloque et atelier

Formal Verification of Web Applications ...

Haydar, M., Petrenko, A. and Sahraoui, H. "Formal Verification of Web Applications Modeled by Communicating Automata" in Proceedings of 24th IFIP WG 6.1 IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), pp. 115-132. Madrid, Spain
[Résumé]
Acte de conférence, colloque et atelier

Formal Framework for Automated Analysis ...

Haydar, M. "Formal Framework for Automated Analysis and Verification of Web-based Applications" in Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), pp. 410-413. Linz, Austria
[Résumé]
Acte de conférence, colloque et atelier

Balancing Access to Highly ...

Dury, A. "Balancing Access to Highly Accessed Keys in Peer-to-Peer Systems" in Proceedings of the 2004 International Conference on Services Computing (SCC 2004). Shanghai, China
Acte de conférence, colloque et atelier

Antipattern-Based Detection ...

Hallal, H., Alikacem, E., Tunney, P., Boroday, S. and Petrenko, A. "Antipattern-Based Detection of Defficiencies in Java Multithreaded Software" in Proceedings of the Fourth International Conference on Quality Software (QSIC2004), pp. 258-267. Braunschweig, Germany
[Résumé]
Acte de conférence, colloque et atelier

Load Balancing for Access Intensive ...

Dury, A. "Load Balancing for Access Intensive Keys in Distributed Hash Tables" in Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AP2PC - AAMAS 2004). NY, New-York, USA
[Résumé]
Acte de conférence, colloque et atelier

A Model Checking Approach ...

Hallal, H., Petrenko, A., Boroday, S. and Ulrich, A. "A Model Checking Approach to Network Fault Management" in Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI2004), pp. 284-289. FL, Orlando, USA
[Résumé]
Acte de conférence, colloque et atelier

Reengineering an Industrial Legacy Software ...

Lounis, H., Boukerche, K. and Sahraoui, H. A. "Reengineering an Industrial Legacy Software Towards an Object-Oriented Knowledge-Based System" in Proceedings of the Software Engineering – Knowledge Engineering Workshops (SEKE 2004), pp. 457-461. Alberta, Banff, Canada
[Résumé]
Acte de conférence, colloque et atelier

An Intelligent System for Hydro ...

Lounis, H., Boukerche, K. and Sahraoui, H. A. "An Intelligent System for Hydro Power Network Operations Plannin" in Proceedings of the Fourth Conference on Intelligent Systems Design and Applications (ISDA 2004). Budapest, Hungary

2003

Rapport technique

Sequential Synthesis ...

Yevtushenko, N., Villa, T., Brayton, R. K. , Petrenko, A., Sangiovanni-Vincentelli, A. L. Sequential Synthesis by Language Equation Solving. Berkeley, CA, University of California, College of Engineering, 2003. 51 p. . [UCB/ERL M03/9]
Rapport technique

A Study of Robustness and Delay-Insensitivity ...

Huo, J. A Study of Robustness and Delay-Insensitivity of Discrete Event Systems. Montreal, CRIM, 2003. 31 p. . [CRIM-03/04-02]
Périodique

Analysis of Concurrent System Behavior ...

Petrenko, A., Ulrich, A. and Chapenko, V. P. "Analysis of Concurrent System Behavior in Various Environments" Automatic Control and Computer Sciences, 37 (3) 2003 : 1-7
[Résumé]
Mémoire de maîtrise et thèse de doctorat

Formalizing Properties for Trace Analysis

Fan, Q. Formalizing Properties for Trace Analysis Montréal. University of McGill, 2003. 250 p. Master of Engineering in Electrical and Computer Engineering.
Mémoire de maîtrise et thèse de doctorat

On Queued Testing and its Application ...

Huo, J. On Queued Testing and its Application to Delay-Insensitive Systems Montréal. University of McGill, 2003. 90 p. Master of Engineering in Electrical and Computer Engineering.
Acte de conférence, colloque et atelier

Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations

Yevtushenko, N., Villa, T., Brayton, R.K., Petrenko, A. and Sangiovanni-Vincentelli, A.L. "Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations" in Proceedings of the 7th Conference DATE 2003, Design, Automation and Test in Europe (DATE'03), pp. 1154-1155. du 3 au 7 mars 2003
Acte de conférence, colloque et atelier

Compositionally Progressive Solutions of Synchronous ...

Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A. and Sangiovanni-Vincentelli, A. "Compositionally Progressive Solutions of Synchronous Language Equations" in Proceedings of the IEEE/ACM 12th International Workshop on Logic & Synthesis (IWLS'03). CA, Laguna Beach, USA
[Résumé]
Acte de conférence, colloque et atelier

An Automata-Based Approach to Property ...

Hallal, H., Boroday, S., Ulrich, A. and Petrenko, A. "An Automata-Based Approach to Property Testing in Event Traces" in Proceedings of the IFIP TC6/WG6.1 XV International Conference on Testing of Communicating Systems (TestCom 2003), pp. 180-196. Sofia Antipolis, France
[Résumé]
Acte de conférence, colloque et atelier

Testing Transition Systems ...

Petrenko, A., Yevtushenko, N. and Huo, J. L. "Testing Transition Systems with Input and Output Testers" in Proceedings of the IFIP TC6/WG6.1 XV International Conference on Testing of Communicating Systems (TestCom 2003), pp. 129-145. Sofia Antipolis, France
[Résumé]
Acte de conférence, colloque et atelier

Verifying Trustworthiness Requirements in Distributed Systems ...

Ulrich, A., Hallal, H., Petrenko, A. and Boroday, S. "Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis" in Proceedings of the IEEE 36th Hawaii International Conference on System Sciences (HICSS-36). HI, Hawaii, USA
[Résumé]
Acte de conférence, colloque et atelier

Formal Modeling of Communication Traces

Boroday, S., Hallal, H., Petrenko, A. and Ulrich, A. "Formal Modeling of Communication Traces" in Proceedings of the 2nd International Conference on Information System Technology and its Applications (ISTA 2003), pp. LNI vol. P30, pp. 97-108. Kharkov, Ukraine
[Résumé]
Diaporama

Vérification des protocoles ...

Eulleuch, N. Vérification des protocoles d’interactions dans les systèmes multi-agents. Montréal, CRIM. 40 diapositives
Diaporama

Architectures Peer-to-Peer ...

Dury, A. Architectures Peer-to-Peer et systèmes multi-agents. Montréal, CRIM. 23 diapositives

2002

Périodique

Races of Actions in ...

Petrenko, A., Ulrich, A. and Chapenko, V. P. "Races of Actions in Parallel Systems" Automatic Control and Computer Sciences, 36 (6) 2002 : 40-47
[Résumé]
Mémoire de maîtrise et thèse de doctorat

CORBA, versus RMI ...

Ziani, N. CORBA, versus RMI – Étude de cas : Agent Mobile « Guest » dans une plate-forme CORBA Montréal. Université de Montréal, 2002. 69 p. Mémoire de maîtrise en sciences appliquées en informatique.
Diaporama

Introduction aux systèmes ...

Boukerche, K. Introduction aux systèmes à base de connaissances. Montréal, CRIM. 44 diapositives
Diaporama

Logiciels libres ...

Besson, N., Dury, A. Logiciels libres : les logiciels qui vous veulent du bien! . Montréal, CRIM. 45 diapositives
Diaporama

Verification of Webbed Applications ...

Haydar, M., Barburas, M. Verification of Webbed Applications Using Model CheckingX. Montréal, CRIM. 21 diapositives
Acte de conférence, colloque et atelier

Toward an Ontology-Based ...

Snoussi, H., Magnin, L. and Nie, J.-Y. "Toward an Ontology-Based Web Data Extraction" in Workshop on Business Agents and the Semantic Web - Proceedings of the Fifteenth Canadian Conference on Artificial Intelligence (AI'2002). Alberta, Calgary, Canada
[Résumé]
Acte de conférence, colloque et atelier

Adaptive Agents to Hetero...

Magnin, L., Pham, V. T., Dury, A., Besson, N. and Sahraoui, H. "Adaptive Agents to Heterogeneous Platforms, New protocols & Evolving Organizations" (AAMAS-II), pp. 9-19. London, England
[Résumé]
Acte de conférence, colloque et atelier

Our Guest Agents ...

Magnin, L., Pham, T. V., Dury, A., Besson, N. and Thiefaine, A. "Our Guest Agents are Welcome to Your Agent Platforms" in Proceedings of the ACM Symposium on Applied Computing (SAC 2002), pp. 107-114. Madrid, Spain
[Résumé]
Acte de conférence, colloque et atelier

Assessing Hydro Power System ...

Lounis, H., Boukadoum, M. and Siveton, V. "Assessing Hydro Power System Relevant Variables: a Comparison Between a Neural Network and Different Machine Learning Approaches" in Proceedings of the First International ICSC Congress on Neuro Fuzzy Technologies. La Habana, Cuba
[Résumé]
Acte de conférence, colloque et atelier

Solving Automata Equation for ...

Spitsina, N. V., Yevtushenko, N. V. and Petrenko, A. "Solving Automata Equation for a Generalized Composition Operation" in Proceedings of the 4th Conference on Computer-Aided Technologies in Applied Mathematics (CATAM2002). Tomsk, Russia
Acte de conférence, colloque et atelier

Solution of Synchronous Language ...

Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A. and Sangiovanni-Vincentelli, A. "Solution of Synchronous Language Equations for Logic Synthesis" in Proceedings of the 4th Conference on Computer-Aided Technologies in Applied Mathematics (CATAM2002), pp. 132-137. Tomsk, Russia
[Résumé]
Acte de conférence, colloque et atelier

Queued Testing of Transition ...

Petrenko, A. and Yevtushenko, N. "Queued Testing of Transition Systems with Inputs and Outputs" in Proceedings of the Workshop on Formal Approaches to Testing Of Software (Fates'02), A Satellite Workshop of Concur'02. Brno, Czech Republic
[Résumé]
Acte de conférence, colloque et atelier

Equisolvability of Series vs. Controller's ...

Yevtushenko, N., Villa, T., Petrenko, A. and Sangiovanni-Vincentelli, A. "Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations" in Proceedings of the IEEE/ACM 11th International Workshop on Logic & Synthesis (IWLS'02), pp. 45-50. LA, New Orleans, USA
Acte de conférence, colloque et atelier

Techniques for Abstracting SDL ...

Boroday, S., Groz, R., Petrenko, A. and Quemener, Y.-M. "Techniques for Abstracting SDL Specifications" in Proceedings of the 3rd SAM (SDL and MSC) Workshop (SAM2002): Telecommunication and beyond: the broader applicability of SDL and MSC (SAM2002). Wales, Aberystwyth, United Kingdom
[Résumé]
Acte de conférence, colloque et atelier

Test Generation for CEFSM ...

Boroday, S., Petrenko, A., Groz, R. and Quemener, Y.-M. "Test Generation for CEFSM Combining Specification and Fault Coverage" in Application to Internet Technologies and Service, Proceedings of the IFIP TC6/WG 6.1 XIV International Conference on Testing of Communicating Systems (TestCom 2002). Berlin, Germany

2001

Mémoire de maîtrise et thèse de doctorat

Abstractions via un modèle ...

Cantave, M. H. R. Abstractions via un modèle générique d’applications orientée objets Montréal. Université Laval, Faculté des Sciences et Génie, 2001. 129 p. Mémoire de maîtrise en informatique.
Mémoire de maîtrise et thèse de doctorat

Variable Abstraction in SDL

Wang, X. Variable Abstraction in SDL Montréal. McGill University, School of Computer Science, 2001Master of Science.
Mémoire de maîtrise et thèse de doctorat

State Abastraction in SDL

Hu, Y. State Abastraction in SDL Montréal. Université de Montréal, 2001. 126 p. Mémoire de maîtrise en informatique.
Acte de conférence, colloque et atelier

Fault Model-Driven Test Derivation from Finite State Models

Petrenko, A. "Fault Model-Driven Test Derivation from Finite State Models" in Modeling and Verification of Parallel Processes, LNCS Tutorials of the 4th Summer School (MOVEP 2000, June 19-23), pp. 196-205. Nantes, France, le 1 janvier 2001
Acte de conférence, colloque et atelier

Guest, système d'agents ...

Pham, T. V., Magnin, L. et Dury, A. "Guest, système d'agents récursifs, mobiles et multi-plateformes" dans Actes des IXe Journées francophones pour l'intelligence artificielle distribuée et les systèmes multi-agents (JFIADSMA 2001), pp. 303-306. Québec, Montréal, Canada
[Résumé]
Acte de conférence, colloque et atelier

Heterogeneous Web Data ...

Snoussi, H., Magnin, L. and Nie, J.-Y. "Heterogeneous Web Data Extraction using Ontologies" in Third International Bi-Conference Workshop on Agent-oriented information systems (AOIS-2001) - Proceedings of the 5th International Conference on Autonomous Agents 2001 (AOIS-2001). Montréal, Canada
[Résumé]
Acte de conférence, colloque et atelier

Using SDL Tools to Test ...

Hallal, H., Petrenko, A., Ulrich, A. and Boroday, S. "Using SDL Tools to Test Properties of Distributed Systems" in Proceeddings of the Formal Approches to Testing of Software (FATES’01), Workshop of the International Conference on Concurrency Theory (CONCUR'01), pp. 355-372. Aalborg, Dennmark
[Résumé]
Acte de conférence, colloque et atelier

Solution of Language Equations ...

Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A. and Sangiovanni-Vincentelli, A. "Solution of Language Equations for Logic Synthesis" in Proceedings of the IEEE 10th International Workshop on Logic & Synthesis (IWLS 2001). CA, Lake Taohe, USA
[Résumé]
Acte de conférence, colloque et atelier

Solution of Parallel Language ...

Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A. and Sangiovanni-Vincentelli, A. "Solution of Parallel Language Equations for Logic Synthesis" in Proceedings of the International Conference on Computer Aided Design (ICCAD2001). CA, San Jose, USA
[Résumé]
Acte de conférence, colloque et atelier

Verification and Testing of Concurrent ...

Petrenko, A. and Ulrich, A. "Verification and Testing of Concurrent Systems with Action Races" in Proceedings of the 13th Workshop Test Methods and Reliability of Circuits and Systems. Southern Bavaria, Miesbach, Germany
Diaporama

Architecture modulaire ...

Pham, V. T. Architecture modulaire et récursive de la plate-forme multiagents GUEST. Montréal, CRIM
Diaporama

Genetic Algorithms ...

Azar, D. Genetic Algorithms in Building and Improving Software Quality Estimation Models. Montréal, CRIM. 20 diapositives
Diaporama

Objets/agents multifacettes ...

M'cheick, H. Objets/agents multifacettes distribués. Montréal, CRIM
Diaporama

L'analyse des traces d'exécution de ...

Hallal, H. L'analyse des traces d'exécution de systèmes répartis basée sur des modèles de comportement.. Montréal, CRIM. 31 diapositives
Diaporama

L'analyse basée sur des modèles des traces ...

Hallal, H. L'analyse basée sur des modèles des traces de communications dans les systèmes répartis. Montréal, CRIM

2000

Rapport technique

Supervisory Control with Divergence ...

Hallal, H., Negulescu, R., Petrenko, A. Supervisory Control with Divergence Freedom in Two Safety Models. Montréal, Centre de recherche informatique de Montréal, 2000. 109 p. . [CRIM-00/01-02]
Mémoire de maîtrise et thèse de doctorat

Divergence-Free ...

Hallal, H. H. Divergence-Free Supervisory Control and Applications Montréal. McGill University, 2000. 116 p. Thesis of Master of Science.
Mémoire de maîtrise et thèse de doctorat

Detecting Race Conditions

Lu, R. Detecting Race Conditions in Distributed Concurrent Systems Montréal. McGill University, School of Computer Science, 2000. 83 p. Thesis of Master of Science.
Périodique

Les agents, fourmis logicielles

Magnin, L. "Les agents, fourmis logicielles" Direction informatique, 13 (10) 2000 : 17
Diaporama

Abstractions via un ...

Cantave, R. Abstractions via un modèle générique d'applications OO. Montréal, Centre de recherche informatique de Montréal. 35 diapositives
Acte de conférence, colloque et atelier

Toward the Automatic ...

Sahraoui, H. A., Lounis, H., Boukadoum, M. and Ethève, F. "Toward the Automatic Assesment of Evolvability for Reusable Class Libraries " in Proceedings of the 15th IEEE Automated Software Engineering Conference. Grenoble, France
[Résumé]
Acte de conférence, colloque et atelier

Design of Divergence-free ...

Hallal, H., Negulescu, R. and Petrenko, A. "Design of Divergence-free Protocol Converters Using Supervisory Control Techniques" in Proceedings of the 7th IEEE International Conference on Electronic Circuits and Systems (ICECS'2K), pp. 705-708. Beirut, Lebanon
[Résumé]
Acte de conférence, colloque et atelier

Using Fuzzy Threshold ...

Sahraoui, H., Boukadoum, M. and Lounis, H. "Using Fuzzy Threshold Values for Predicting Class Libraries Interface Evoulution" in Proceedings of the 4th International ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering. Sofia Antipolis / Cannes, France
Acte de conférence, colloque et atelier

An Empirical Study ...

Piattini, M., Calero, C., Sahraoui, H. A. and Lounis, H. "An Empirical Study with Object-Relational Databases Metrics" in Proceedings of the 4th International ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering. Sofia Antipolis / Cannes, France
Acte de conférence, colloque et atelier

On Test Derivation ...

Petrenko, A. and Yevtushenko, N. "On Test Derivation from Partial Specifications" in Proceedings of the IFIP Joint International (Conference FORTE/PSTV'2000) on Formal Description Techniques (FORTE XIII) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XX), pp. 85-102. Pisa, Italy
[Résumé]
Acte de conférence, colloque et atelier

Verification and Testing ...

Petrenko, A. and Ulrich, A. "Verification and Testing of Concurrent Systems with Action Races" in Proceedings of the IFIP 13th International Conference on Testing of Communication Systems (TestCom 2000), pp. 261-280. Ottawa, Canada
[Résumé]
Acte de conférence, colloque et atelier

Fault Model-Driven ...

Petrenko, A. "Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography" in Proceedings of Modeling and Verification of Parallel Processes (MOVEP'2000), pp. 36-43. Nantes, France
[Résumé]
Acte de conférence, colloque et atelier

Synthesis by Language ...

Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A and Sangiovanni-Vincentelli, A. "Synthesis by Language Equation Solving" in IEEE International Workshop on Logic Synthesis (IWLS'2000), pp. 11-14. CA, Dana Point, USA

1999

Rapport technique

ATM’s Protocol throughput ...

Negulescu, C., Borcoci, E., Negulescu, A. ATM’s Protocol throughput Evaluation : a New Formal Techniques Based Approach. Montréal, Centre de recherche informatique de Montréal, 1999. 50 p. . [CRIM-99/09-134]
Rapport technique

A Dynamic VPN ...

Negulescu, A., Dini, P., Negulescu, C. A Dynamic VPN Service for an Intelligent Network/IP-Telephony Infrastructure. Montréal, Centre de recherche informatique de Montréal, 1999. 32 p. . [CRIM-99/09-133]
Rapport technique

Socially Committed Agents ...

Esmahi, L., Bernard, J.-C. Socially Committed Agents : an Approach Gased on CBR and Dependency Relations. Montréal, Centre de recherche informatique de Montréal, 1999. 59 p. . [CRIM-99/09-132]
Rapport technique

Services Web Multicast ...

Drine, R., Soulhi, S., Obaid, A. Services Web Multicast sur un réseau non filaire. Montréal, Centre de recherche informatique de Montréal, 1999. 69 p. . [CRIM-99/08-131]
Rapport technique

Multicast Communications ...

Negulescu, A., Dini, P. Multicast Communications in Mobile Networks = Les Communications « Multicast » dans les réseaux mobiles. Montréal, Centre de recherche informatique de Montréal, 1999. 21 p. . [CRIM-99/08-129]
Rapport technique

Hybrid Messaging Services ...

Negulescu, A., Dini, P. Hybrid Messaging Services: the MS-Square Messaging Architecture = Services hybrides de messagerie : l’architecture de messagerie MS-Square. Montréal, Centre de recherche informatique de Montréal, 1999. 63 p. . [CRIM-99/08-128]
Rapport technique

Messaging Services Over ...

Negulescu, A., Dini, P. Messaging Services Over Wap and Mobile Wireless Networks Architectures = Services de messagerie pour wap et pour les réseaux mobiles sans-fil. Montréal, Centre de recherche informatique de Montréal, 1999. 32 p. . [CRIM-99/08-126]
Rapport technique

Inter-layer Feature ...

Negulescu, A., Dini, P. Inter-layer Feature Interactions Analysis in Broadband Networks : A Sonet Case Study. Montréal, Centre de recherche informatique de Montréal, 1999. 23 p. . [CRIM-99/07-125]
Rapport technique

An Internet QoS ...

Li, S., Dini, P., Negulescu, A. An Internet QoS-Oriented Differentiated Services Implementation Case Study. Montréal, Centre de recherche informatique de Montréal, 1999. 31 p. . [CRIM-99/07-124]
Rapport technique

Threshold’s Adaptability ...

Bocoum, M., Dini, P., Negulescu, A. A Threshold’s Adaptability in Fingerprint Authentication Systems. Montréal, Centre de recherche informatique de Montréal, 1999. 34 p. . [CRIM-99/07-116]
Rapport technique

A Survey of Modern ...

Bocoum, M., Dini, P., Negulescu, A. A Survey of Modern Biometrics Authentication Techniques. Montréal, Centre de recherche informatique de Montréal, 1999. 28 p. . [CRIM-99/07-115]
Rapport technique

Une approche persuasive ...

Esmahi, L., Dini, P. Une approche persuasive pour le raisonnement sociale dans les systèmes multi-agents. Montréal, Centre de recherche informatique de Montréal, 1999. 62 p. . [CRIM-99/06-107]
Rapport technique

A New Multicast ...

Negulescu, A., Dini, P. A New Multicast Messaging Service over Hybrid Networks: MS-square. Montreal, Centre de recherche informatique de Montréal, 1999. 32 p. . [CRIM-99/04-108]
Périodique

Un ingrédient critique ...

Seffah, A. et Soulhi, S. "Un ingrédient critique pour réussir la distribution" Direction informatique, 12 (8) 1999 : 13
Périodique

A Concept Formation ...

Sahraoui, H. A., Lounis, H., Melo, W. and Mili, H. "A Concept Formation Based Approach to Object Identification in Procedural Code" Automated Software Engineering , 6 (4) 1999 : 387-410
[Résumé]
Périodique

Training Software Developers ...

Seffah, A. "Training Software Developers in Critical Skills " IEEE Software, 16 (3) 1999 : 66-70
Périodique

Mastering Object-Oriented ...

Seffah, A., Desmarais, M. and Khuwaja, R. "Mastering Object-Oriented Technology Using a Web-Based Training and Assessment System" Computer Applications in Engineering Education Journal, 7 (3) 1999 : 162-170
Périodique

Using Partial-Orders ...

Petrenko, A., Ulrich, A., Chapenko, V. P. and Timokhovich, E. A. "Using Partial-Orders for Detecting Faults in Concurrent Systems" Automatic Control and Computer Sciences, 33 (1)
Acte de conférence, colloque et atelier

Investigating Quality Factors ...

Briand, L. C., Wüst, J., Ikonomovski, S. and Lounis, H. "Investigating Quality Factors in Object-Oriented Designs: an Industrial Case Study" in Proceedings of the 21st IEEE International Conference on Software Engineering (ICSE'99), pp. 345-353. CA, Los Angeles, USA
Acte de conférence, colloque et atelier

Internet, environnement ...

Magnin, L. "Internet, environnement complexe pour agents situés" dans Conférence Intelligence Artificielle Située (IAS'99), pp. 213-221. Paris, France
[Texte complet]
Acte de conférence, colloque et atelier

A Metric Based Technique ...

Micheli, T., Sahraoui, H. A. and Godin, R. "A Metric Based Technique for Design Flaws Detection And Correction" in Proceedings of 14th IEEE Automated Software Engineering Conference (ASE'99). FL., Cocoa Beach, USA
Acte de conférence, colloque et atelier

GenA : Multiplatform ...

Magnin, L. and Alikacem, E. H. "GenA : Multiplatform Generic Agents" in First International Workshop on Mobile Agents for Telecommunication Applications (MATA'99). Ottawa, Canada
[Résumé]
Acte de conférence, colloque et atelier

Confirming Configurations in EFSM

Petrenko, A., Boroday, S. and Groz, R. "Confirming Configurations in EFSM" in Formal Methods for Protocol Engineering and Distributed Systems : FORTE XII/ PSTV XIX : IFIP TC6 WG6. Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, (FORTE/PSTV'99), pp. 5-24. Beijing, China
Acte de conférence, colloque et atelier

Using Coupling Measurement ...

Briand, L., Wüst, J. and Lounis, H. "Using Coupling Measurement for Impact Analysis in Object-Oriented Systems" in Proceedings of the International Conference on Software Maintenance (ICSM'99). Oxford, England
Acte de conférence, colloque et atelier

Quality Estimation Models

Sahraoui, H. and Azar, D. "Quality Estimation Models Optimization Using Genetic Algorithms : Case of Maintainability" in Proceeding of 2nd European Software Measurement Conference (FESMA'99). Amsterdam, The Netherlands
Acte de conférence, colloque et atelier

Extending the Actor Concept ...

Bari, M., Lévesque, G. and Seffah, A. "Extending the Actor Concept for Modeling Time in Use Cases" in IEEE Canadian Conference on Electrical and Computer Engineering. Alberta, Edmonton, Canada
Acte de conférence, colloque et atelier

Impact du couplage ...

Sahraoui, H. A., Lounis, H. et Mao, Y. "Impact du couplage sur la réutilisabilité des classes : une étude de cas" dans Actes de la 5ème Conférence internationale Langages et Modèles à Objets (LMO'99). Villefranche sur Mer, France
Acte de conférence, colloque et atelier

An Architectural Framework ...

Seffah, A., Belkhatir, N. and Magnin, L. "An Architectural Framework for Process Support and Distribution over the Internet" in International Workshop on Process Technology. Grenoble, France
Acte de conférence, colloque et atelier

Test Generation Driven ...

Koufareva, I., Petrenko, A. and Yevtushenko, N. "Test Generation Driven by User-defined Fault Models" in Proceedings of the 12th International Workshop on Testing of Communicating Systems (IWTCS'99), pp. 215-233. Budapest, Hungary
[Résumé]
Acte de conférence, colloque et atelier

Assessing Skills ...

Seffah, A., Moncef, B. and Desmarais, M. "Assessing Skills in Object-Oriented Technology Using a Web-based System" in Proceedings of the Conference on Integrating Technology in Computer Science Education. Cracovia, Poland
Chapitre de livre

Software Maintenance

Lounis, H., Sahraoui, H. A. and Melo, W. L. "Software Maintenance, Reverse Engineering and Reengineering" The 24th Wiley Encyclopedia of Electrical and Electronics Engineering, vol. 19, edited by John G Wesley. Madison, WIUniversity of Wisconsin-Madison, 1999. pp. 492-507
Chapitre de livre

Software Quality

Melo, W. L., Lounis, H. and Sahraoui, H. A. "Software Quality" In The 24th Wiley Encyclopedia of Electrical and Electronics Engineering, vol. 19, edited by John G Wesley.. Madison, WIUniversity of Wisconsin-Madison, 1999. pp. 557-565

1998

Acte de conférence, colloque et atelier

SIEME: an Interaction Based Simulation Model

Magnin, L. "SIEME: an Interaction Based Simulation Model" in Proceedings of the 12th European Simulation Multiconference (ESM '98). Manchester, United Kingdom, du 16 au 19 juin 1998
Acte de conférence, colloque et atelier

Formal methods for ...

Petrenko, A. "Formal Methods for Design and Testing of Composite Reactive Systems" in Proceedings of the 4th International Conference on Information Systems Analysis and Synthesis (ISAS'98) In context of the World Multiconference on Systemics, Cybernetics and Informatics (SCI'98). FL., Orlando, USA
Acte de conférence, colloque et atelier

Managing QoS ...

Dini, P. "Managing QoS in Wireless Networks Using Mobile Agents" in Proceedings of the 10th Conference on Wireless Communications (Wireless'98). Alberta, Calgary, Canada
Acte de conférence, colloque et atelier

Rectangles and Circles ...

Magnin, L. "Rectangles and Circles: Towards Realistic Simulation of Robots Playing Soccer" in Proceedings of the First International Workshop on Collective Robotics (CRW’98). Paris, France
Acte de conférence, colloque et atelier

Recognizing Finite-State ...

Yevtushenko, N., Kufareva, I. and Petrenko, A. "Recognizing Finite-State-Machine Properties" in Proceedings of the Third Siberian Congress on Industrial and Applied Mathematics (INPRIM-98). Novosibirsk, Russia
Acte de conférence, colloque et atelier

Dynamic Server Selection ...

Badidi, E., Keller, R. K., Kropf, P. G. and Van Dongen, V. "Dynamic Server Selection in Distributed Object Computing Systems" in Proceedings of the Workshop on Distributed Computing on the WEB, pp. 39-47. Rostock, Germany