Charles Lakos

According to our database, Charles Lakos authored at least 34 papers between 1978 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.

Camille Coti, Charles Lakos, Laure Petrucci

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2012

Extending pnml Scope: A Framework to Combine Petri Nets Types.

Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci

Trans. Petri Nets Other Model. Concurr., 2012

2011

Extending PNML Scope: the Prioritised Petri Nets Experience.

Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2010

Modular State Spaces for Prioritised Petri Nets.

Charles Lakos, Laure Petrucci

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

2009

Modelling Mobile IP with Mobile Petri Nets.

Charles Lakos

Trans. Petri Nets Other Model. Concurr., 2009

2008

Experiments in applying evolutionary algorithms to software verification.

Woei Shyang Siaw, Charles Lakos, Zbigniew Michalewicz, Sven Schellenberg

Proceedings of the IEEE Congress on Evolutionary Computation, 2008

2007

Modular state space exploration for timed petri nets.

Charles Lakos, Laure Petrucci

Int. J. Softw. Tools Technol. Transf., 2007

2005

Inconsistency Management and View Updates.

Catherine Menon, Michael Johnson, Charles Lakos

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

A Proposal For Relative Time Petri Nets.

Joseph Kuehn, Charles Lakos, Robert Esser

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

A Petri Net View of Mobility.

Charles Lakos

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Modular Consistency Analysis of Component-Based Design.

Yan Jin, Charles Lakos, Robert Esser

J. Res. Pract. Inf. Technol., 2004

Modular Analysis of Systems Composed of Semiautonomous Subsystems.

Charles Lakos, Laure Petrucci

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

Towards a Semantic Basis for Rosetta.

Catherine Menon, Charles Lakos

Proceedings of the Computer Science 2004, 2004

2003

Component-Based Design and Analysis: A Case Study.

Yan Jin, Charles Lakos, Robert Esser

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Modular Analysis of Dataflow Process Networks.

Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Lightweight Consistency Analysis of Dataflow Process Networks.

Yan Jin, Robert Esser, Charles Lakos

Proceedings of the Computer Science 2003, 2003

2002

The Challenge of Object Orientation for the Analysis of Concurrent Systems.

Charles Lakos

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Object Oriented Modeling with Object Petri Nets.

Charles Lakos

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

A Cooperative Petri Net Editor.

Rémi Bastide, Charles Lakos, Philippe A. Palanque

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

Incremental State Space Construction for Coloured Petri Nets.

Glenn Lewis, Charles Lakos

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

Behavior Inheritance for Object Lifecycles.

Charles Lakos, Glenn Lewis

Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

A Practical Approach to Incremental Specification.

Charles Lakos, Glenn Lewis

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

Composing Abstractions of Coloured Petri Nets.

Charles Lakos

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets.

Charles Lakos, Glenn Lewis

Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99), 1999

The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets.

Charles Lakos, John W. Lamp

Proceedings of the Application of Petri Nets to Communication Networks, 1999

1997

Animating Formal Specifications Using Java Applets.

Charles Lakos, Glenn Lewis

Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

On the Abstraction of Coloured Petri Nets.

Charles Lakos

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets.

Charles Lakos

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

From Coloured Petri Nets to Object Petri Nets.

Charles Lakos

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994

A General Systematic Approach to Arc Extensions for Coloured Petri Nets.

Charles Lakos, Søren Christensen

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1991

Modelling Layered Protocols in LOOPN.

Charles Lakos, C. D. Keen

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

1988

Including an Explicit Memory Model in a Machine Description.

Charles Lakos

Aust. Comput. J., 1988

1980

Implementing BCPL on the Borroughs B6700.

Charles Lakos

Softw. Pract. Exp., 1980

1978

Is Disciplined Programming Transferable and is it Insightful?

Charles Lakos, Arthur H. J. Sale

Aust. Comput. J., 1978