| 2008 |
|---|
| 31 | EE | Woei Shyang Siaw,
Charles Lakos,
Zbigniew Michalewicz,
Sven Schellenberg:
Experiments in applying evolutionary algorithms to software verification.
IEEE Congress on Evolutionary Computation 2008: 3531-3536 |
| 2007 |
|---|
| 30 | EE | Charles Lakos,
Laure Petrucci:
Modular state space exploration for timed petri nets.
STTT 9(3-4): 393-411 (2007) |
| 2005 |
|---|
| 29 | EE | Charles Lakos:
A Petri Net View of Mobility.
FORTE 2005: 174-188 |
| 28 | EE | Joseph Kuehn,
Charles Lakos,
Robert Esser:
A Proposal For Relative Time Petri Nets.
SEFM 2005: 240-249 |
| 27 | EE | Catherine Menon,
Michael Johnson,
Charles Lakos:
Inconsistency Management and View Updates.
Electr. Notes Theor. Comput. Sci. 141(3): 27-51 (2005) |
| 2004 |
|---|
| 26 | EE | Catherine Menon,
Charles Lakos:
Towards a Semantic Basis for Rosetta.
ACSC 2004: 175-184 |
| 25 | EE | Charles Lakos,
Laure Petrucci:
Modular Analysis of Systems Composed of Semiautonomous Subsystems.
ACSD 2004: 185-196 |
| 24 | | Yan Jin,
Charles Lakos,
Robert Esser:
Modular Consistency Analysis of Component-Based Design.
Journal of Research and Practice in Information Technology 36(3): 187-208 (2004) |
| 2003 |
|---|
| 23 | EE | Yan Jin,
Robert Esser,
Charles Lakos:
Lightweight Consistency Analysis of Dataflow Process Networks.
ACSC 2003: 291-300 |
| 22 | EE | Yan Jin,
Robert Esser,
Charles Lakos,
Jörn W. Janneck:
Modular Analysis of Dataflow Process Networks.
FASE 2003: 184-199 |
| 21 | EE | Yan Jin,
Charles Lakos,
Robert Esser:
Component-Based Design and Analysis: A Case Study.
SEFM 2003: 126- |
| 2002 |
|---|
| 20 | | Javier Esparza,
Charles Lakos:
Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings
Springer 2002 |
| 19 | EE | Charles Lakos:
The Challenge of Object Orientation for the Analysis of Concurrent Systems.
ICATPN 2002: 59-67 |
| 2001 |
|---|
| 18 | EE | Charles Lakos:
Object Oriented Modeling with Object Petri Nets.
Concurrent Object-Oriented Programming and Petri Nets 2001: 1-37 |
| 17 | EE | Rémi Bastide,
Charles Lakos,
Philippe A. Palanque:
A Cooperative Petri Net Editor.
Concurrent Object-Oriented Programming and Petri Nets 2001: 534-535 |
| 16 | EE | Glenn Lewis,
Charles Lakos:
Incremental State Space Construction for Coloured Petri Nets.
ICATPN 2001: 263-282 |
| 2000 |
|---|
| 15 | | Charles Lakos,
Glenn Lewis:
A Practical Approach to Incremental Specification.
FMOODS 2000: 233-256 |
| 14 | EE | Charles Lakos:
Composing Abstractions of Coloured Petri Nets.
ICATPN 2000: 323-345 |
| 13 | EE | Charles Lakos,
Glenn Lewis:
Behavior Inheritance for Object Lifecycles.
TOOLS (33) 2000: 262- |
| 1999 |
|---|
| 12 | | Charles Lakos,
John Lamp:
The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets.
Application of Petri Nets to Communication Networks 1999: 37-68 |
| 11 | | Charles Lakos,
Glenn Lewis:
A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets.
ECOOP Workshop for PhD Students in OO Systems 1999: 106-111 |
| 10 | | Charles Lakos,
Glenn Lewis:
A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets.
ECOOP Workshops 1999: 320 |
| 1997 |
|---|
| 9 | | Charles Lakos:
On the Abstraction of Coloured Petri Nets.
ICATPN 1997: 42-61 |
| 8 | EE | Charles Lakos,
Glenn Lewis:
Animating Formal Specifications Using Java Applets.
TOOLS (25) 1997: 196-209 |
| 1996 |
|---|
| 7 | | Charles Lakos:
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets.
Application and Theory of Petri Nets 1996: 380-399 |
| 1995 |
|---|
| 6 | | Charles Lakos:
From Coloured Petri Nets to Object Petri Nets.
Application and Theory of Petri Nets 1995: 278-297 |
| 1994 |
|---|
| 5 | | Charles Lakos,
Søren Christensen:
A General Systematic Approach to Arc Extensions for Coloured Petri Nets.
Application and Theory of Petri Nets 1994: 338-357 |
| 1991 |
|---|
| 4 | | Charles Lakos,
C. D. Keen:
Modelling Layered Protocols in LOOPN.
PNPM 1991: 106-115 |
| 1988 |
|---|
| 3 | | Charles Lakos:
Including an Explicit Memory Model in a Machine Description.
Australian Computer Journal 20(1): 10-18 (1988) |
| 1980 |
|---|
| 2 | | Charles Lakos:
Implementing BCPL on the Borroughs B6700.
Softw., Pract. Exper. 10(8): 673-683 (1980) |
| 1978 |
|---|
| 1 | | Charles Lakos,
Arthur H. J. Sale:
Is Disciplined Programming Transferable and is it Insightful?
Australian Computer Journal 10(3): 87-97 (1978) |
