Publications

CRIM publishes a variety of documents, available online or upon request, for IT professionals and the scientific community: scientific articles, technical reports, conference proceedings, seminars and workshops, and strategic watch publications.

2016

Conference , Workshops Proceedings

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, October 17 to 19, 2016
Conference , Workshops Proceedings

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, October 12 to 20, 2016
Conference , Workshops Proceedings

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, June 6 to 9, 2016
Conference , Workshops Proceedings

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, November 17 to 18, 2016
Conference , Workshops Proceedings

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, April 10 to 15, 2016
Journal

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
Journal

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

Conference , Workshops Proceedings

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, May 24 to 29, 2015
Conference , Workshops Proceedings

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, June 23 to 25, 2015
Conference , Workshops Proceedings

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, June 7 to 11, 2015
Conference , Workshops Proceedings

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,  May 17, 2015
Conference , Workshops Proceedings

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, November 23 to 25, 2015
Conference , Workshops Proceedings

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,  March 2, 2015
Conference , Workshops Proceedings

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, November 23 to 25, 2015
Conference , Workshops Proceedings

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, June 8 to 10, 2015
Conference , Workshops Proceedings

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, May 16 to 17, 2015
Journal

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
Journal

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
Journal

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
Technical report

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

Technical report

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]
[Full text]
Conference , Workshops Proceedings

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, August 13 to 15, 2014
Conference , Workshops Proceedings

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, January 9 to 11, 2014
Conference , Workshops Proceedings

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,  April 6, 2014
Conference , Workshops Proceedings

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, January 9 to 11, 2014

2013

Watch and best practices

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.
[Full text]
Conference , Workshops Proceedings

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, November 13 to 15, 2013
Conference , Workshops Proceedings

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,  March 22, 2013
Journal

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

Journal

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
Journal

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
Journal

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
Conference , Workshops Proceedings

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, April 17 to 21, 2012
Book

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.
[Read online]

2011

Journal

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
Slideshow

Advanced Tools for TCMS Development and Maintenance...

Dury, A. Advanced Tools for TCMS Development and Maintenance, Bombardier Transport. Montréal, October 19, 2011, CRIM. 27 diapositives
Conference , Workshops Proceedings

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, November 7 to 10, 2011

2010

Conference , Workshops Proceedings

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, November 8 to 10, 2010
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
[Full text]
Conference , Workshops Proceedings

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
[Full text]
Book

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.
Book

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]
Journal

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
Journal

Fault Coverage-Driven Incremental ...

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

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

Conference , Workshops Proceedings

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, August 31 July to 2, 2009
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Abstract]
Conference , Workshops Proceedings

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
[Abstract]
Conference , Workshops Proceedings

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
[Abstract]
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
[Abstract]
Conference , Workshops Proceedings

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
Journal

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
[Abstract]
Journal

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
[Abstract]
Journal

Fault Coverage-Driven Incremental Test Generation

Simao, A. and Petrenko, A. "Fault Coverage-Driven Incremental Test Generation" Computer Journal [Advance Access], 0 (0)
[Abstract]
Journal

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
[Full text] [Abstract]
Technical report

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

Journal

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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,  June 10, 2008
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Book Chapter

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
[Abstract]

2007

Technical report

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]
Technical report

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]
Technical report

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]
Journal

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
[Full text] [Abstract]
Thesis and Dissertation

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.
Thesis and Dissertation

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.
Thesis and Dissertation

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.
Book

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
Book

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]
Book

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]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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

Technical report

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]
Journal

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
[Abstract]
Thesis and Dissertation

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.
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Abstract]

2005

Journal

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
Journal

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
[Full text] [Abstract]
Technical report

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]
Technical report

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]
Thesis and Dissertation

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.
Thesis and Dissertation

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.
Thesis and Dissertation

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.
Thesis and Dissertation

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.
Slideshow

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
Slideshow

Testing Multi-threaded ...

Huo, J. Testing Multi-threaded programs with Multiplexer. Montréal, CRIM. 18 diapositives
Conference , Workshops Proceedings

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, November 8 to 11, 2005
[Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Abstract]
Poster

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

Journal

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
[Full text] [Abstract]
Book

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]
Slideshow

Sécurité réseaux ...

Dury, A. Sécurité réseaux : dangers, enjeux et R-D. Montréal, CRIM
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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

Technical report

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]
Technical report

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]
Journal

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
[Full text] [Abstract]
Thesis and Dissertation

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.
Thesis and Dissertation

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.
Conference , Workshops Proceedings

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. March 3 to 7, 2003
Conference , Workshops Proceedings

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
[Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Slideshow

Vérification des protocoles ...

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

Architectures Peer-to-Peer ...

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

2002

Journal

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
[Full text] [Abstract]
Thesis and Dissertation

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.
Slideshow

Introduction aux systèmes ...

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

Logiciels libres ...

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

Verification of Webbed Applications ...

Haydar, M., Barburas, M. Verification of Webbed Applications Using Model CheckingX. Montréal, CRIM. 21 diapositives
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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

Thesis and Dissertation

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.
Thesis and Dissertation

Variable Abstraction in SDL

Wang, X. Variable Abstraction in SDL Montréal. McGill University, School of Computer Science, 2001Master of Science.
Thesis and Dissertation

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.
Conference , Workshops Proceedings

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,  January 1, 2001
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text]
Slideshow

Architecture modulaire ...

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

Genetic Algorithms ...

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

Objets/agents multifacettes ...

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

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
Slideshow

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

Technical report

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]
Thesis and Dissertation

Divergence-Free ...

Hallal, H. H. Divergence-Free Supervisory Control and Applications Montréal. McGill University, 2000. 116 p. Thesis of Master of Science.
Thesis and Dissertation

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.
Journal

Les agents, fourmis logicielles

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

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
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Abstract]
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
[Full text]

1999

Technical report

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]
Technical report

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]
Technical report

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]
Technical report

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]
Technical report

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]
Technical report

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]
Technical report

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]
Technical report

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]
Technical report

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]
Technical report

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]
Technical report

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]
Technical report

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]
Technical report

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]
Journal

Un ingrédient critique ...

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

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
[Full text] [Abstract]
Journal

Training Software Developers ...

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

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
Journal

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)
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
[Full text] [Abstract]
Conference , Workshops Proceedings

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
Book Chapter

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
Book Chapter

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

Conference , Workshops Proceedings

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, June 16 to 19, 1998
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
Conference , Workshops Proceedings

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
  • Le CRIM est en mode recrutement. Passez le mot ! Détails du poste ici : https://t.co/szn28lqjKh https://t.co/cUbhWRDdTB
  • Programmation GPU et ses applications/GPU programming and applications. Au CRIM le 5 mai, 13h. Réservez votre place… https://t.co/q70V0VmiDn