Charles Lakos

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