Charles Lakos

Publication Activity (10 Years)

Years Active: 1978-2016
Publications (10 Years): 2

Top Topics

Experimental Study

Top Venues

Trans. Petri Nets Other Model. Concurr.

PNSE @ Petri Nets

Publications

Camille Coti, Charles Lakos, Laure Petrucci
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. CoRR (2016)
Camille Coti, Charles Lakos, Laure Petrucci
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. PNSE @ Petri Nets (2016)
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
Extending pnml Scope: A Framework to Combine Petri Nets Types. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
Extending PNML Scope: the Prioritised Petri Nets Experience. PNSE (2011)
Charles Lakos, Laure Petrucci
Modular State Spaces for Prioritised Petri Nets. Monterey Workshop (2010)
Charles Lakos
Modelling Mobile IP with Mobile Petri Nets. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Woei Shyang Siaw, Charles Lakos, Zbigniew Michalewicz, Sven Schellenberg
Experiments in applying evolutionary algorithms to software verification. IEEE Congress on Evolutionary Computation (2008)
Charles Lakos, Laure Petrucci
Modular state space exploration for timed petri nets. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Charles Lakos
A Petri Net View of Mobility. FORTE (2005)
Joseph Kuehn, Charles Lakos, Robert Esser
A Proposal For Relative Time Petri Nets. SEFM (2005)
Catherine Menon, Michael Johnson, Charles Lakos
Inconsistency Management and View Updates. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Yan Jin, Charles Lakos, Robert Esser
Modular Consistency Analysis of Component-Based Design. J. Res. Pract. Inf. Technol. 36 (3) (2004)
Catherine Menon, Charles Lakos
Towards a Semantic Basis for Rosetta. ACSC (2004)
Charles Lakos, Laure Petrucci
Modular Analysis of Systems Composed of Semiautonomous Subsystems. ACSD (2004)
Yan Jin, Charles Lakos, Robert Esser
Component-Based Design and Analysis: A Case Study. SEFM (2003)
Yan Jin, Robert Esser, Charles Lakos
Lightweight Consistency Analysis of Dataflow Process Networks. ACSC (2003)
Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck
Modular Analysis of Dataflow Process Networks. FASE (2003)
Charles Lakos
The Challenge of Object Orientation for the Analysis of Concurrent Systems. ICATPN (2002)
Charles Lakos
Object Oriented Modeling with Object Petri Nets. Concurrent Object-Oriented Programming and Petri Nets (2001)
Rémi Bastide, Charles Lakos, Philippe A. Palanque
A Cooperative Petri Net Editor. Concurrent Object-Oriented Programming and Petri Nets (2001)
Glenn Lewis, Charles Lakos
Incremental State Space Construction for Coloured Petri Nets. ICATPN (2001)
Charles Lakos, Glenn Lewis
A Practical Approach to Incremental Specification. FMOODS (2000)
Charles Lakos, Glenn Lewis
Behavior Inheritance for Object Lifecycles. TOOLS (33) (2000)
Charles Lakos
Composing Abstractions of Coloured Petri Nets. ICATPN (2000)
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)
Charles Lakos, John W. Lamp
The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets. Application of Petri Nets to Communication Networks (1999)
Charles Lakos, Glenn Lewis
A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets. ECOOP Workshops (1999)
Charles Lakos, Glenn Lewis
Animating Formal Specifications Using Java Applets. TOOLS (25) (1997)
Charles Lakos
On the Abstraction of Coloured Petri Nets. ICATPN (1997)
Charles Lakos
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. Application and Theory of Petri Nets (1996)
Charles Lakos
From Coloured Petri Nets to Object Petri Nets. Application and Theory of Petri Nets (1995)
Charles Lakos, Søren Christensen
A General Systematic Approach to Arc Extensions for Coloured Petri Nets. Application and Theory of Petri Nets (1994)
Charles Lakos, C. D. Keen
Modelling Layered Protocols in LOOPN. PNPM (1991)
Charles Lakos
Including an Explicit Memory Model in a Machine Description. Aust. Comput. J. 20 (1) (1988)
Charles Lakos
Implementing BCPL on the Borroughs B6700. Softw. Pract. Exp. 10 (8) (1980)
Charles Lakos, Arthur H. J. Sale
Is Disciplined Programming Transferable and is it Insightful? Aust. Comput. J. 10 (3) (1978)