Charles Lakos

Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci: Extending pnml Scope: A Framework to Combine Petri Nets Types. T. Petri Nets and Other Models of Concurrency 6: 46-70 (2012)

Charles Lakos, Laure Petrucci: Modular State Spaces for Prioritised Petri Nets. Monterey Workshop 2010: 136-156

Charles Lakos: Modelling Mobile IP with Mobile Petri Nets. T. Petri Nets and Other Models of Concurrency 3: 127-158 (2009)

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

Charles Lakos, Laure Petrucci: Modular state space exploration for timed petri nets. STTT 9(3-4): 393-411 (2007)

Catherine Menon, Michael Johnson, Charles Lakos: Inconsistency Management and View Updates. Electr. Notes Theor. Comput. Sci. 141(3): 27-51 (2005)

Charles Lakos: A Petri Net View of Mobility. FORTE 2005: 174-188

Joseph Kuehn, Charles Lakos, Robert Esser: A Proposal For Relative Time Petri Nets. SEFM 2005: 240-249

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)

Catherine Menon, Charles Lakos: Towards a Semantic Basis for Rosetta. ACSC 2004: 175-184

Charles Lakos, Laure Petrucci: Modular Analysis of Systems Composed of Semiautonomous Subsystems. ACSD 2004: 185-196

Yan Jin, Robert Esser, Charles Lakos: Lightweight Consistency Analysis of Dataflow Process Networks. ACSC 2003: 291-300

Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck: Modular Analysis of Dataflow Process Networks. FASE 2003: 184-199

Yan Jin, Charles Lakos, Robert Esser: Component-Based Design and Analysis: A Case Study. SEFM 2003: 126-

Charles Lakos: The Challenge of Object Orientation for the Analysis of Concurrent Systems. ICATPN 2002: 59-67

Javier Esparza, Charles Lakos (Eds.): Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings. Lecture Notes in Computer Science 2360, Springer 2002, isbn 3-540-43787-8

Glenn Lewis, Charles Lakos: Incremental State Space Construction for Coloured Petri Nets. ICATPN 2001: 263-282

Charles Lakos: Object Oriented Modeling with Object Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 1-37

Rémi Bastide, Charles Lakos, Philippe A. Palanque: A Cooperative Petri Net Editor. Concurrent Object-Oriented Programming and Petri Nets 2001: 534-535

Charles Lakos: Composing Abstractions of Coloured Petri Nets. ICATPN 2000: 323-345

Charles Lakos, Glenn Lewis: A Practical Approach to Incremental Specification. FMOODS 2000: 233-256

Charles Lakos, Glenn Lewis: Behavior Inheritance for Object Lifecycles. TOOLS (33) 2000: 262-

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

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

Charles Lakos, Glenn Lewis: A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets. ECOOP Workshops 1999: 320

Charles Lakos: On the Abstraction of Coloured Petri Nets. ICATPN 1997: 42-61

Charles Lakos, Glenn Lewis: Animating Formal Specifications Using Java Applets. TOOLS (25) 1997: 196-209

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

Charles Lakos: From Coloured Petri Nets to Object Petri Nets. Application and Theory of Petri Nets 1995: 278-297

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

Charles Lakos, C. D. Keen: Modelling Layered Protocols in LOOPN. PNPM 1991: 106-115

Charles Lakos: Including an Explicit Memory Model in a Machine Description. Australian Computer Journal 20(1): 10-18 (1988)

Charles Lakos: Implementing BCPL on the Borroughs B6700. Softw., Pract. Exper. 10(8): 673-683 (1980)

Charles Lakos, Arthur H. J. Sale: Is Disciplined Programming Transferable and is it Insightful? Australian Computer Journal 10(3): 87-97 (1978)