1. Adelaide Research & Scholarship

Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 23 (Search time: 0.001 seconds).
Item hits:
PreviewIssue DateTitleAuthor(s)
2000Behaviour inheritance for object lifecyclesLakos, C.; Lewis, G.; Mitchell, R.; Jezequel, J.; Bosch, J.; Meyer, B.; Cameron Wills, A.; Woodman, M.; TOOLS Conference (33rd : 2000 : Le Mont-Saint-Michel, France)
2005Distributed and modular state space exploration for timed petri netsLakos, C.; Petrucci, L.; Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (6th : 2005 : Aarhus, Denmark)
2007Modular state space exploration for timed petri netsLakos, C.; Petrucci, L.
2000A practical approach to incremental specificationLakos, C.; Lewis, G.; Smith, J.; Talcott, C.; International Conference on Formal Methods for Open Object-Based Distributed Systems (4th : 2000 : Stanford, California, USA)
2004Modular consistency analysis of component-based designsJin, Y.; Lakos, C.; Esser, R.
2003Lightweight consistency analysis of dataflow process networksJin, Y.; Esser, R.; Lakos, C.; Oudshoorn, M.; Australasian Computer Science Conference (26th : 2003 : Adelaide, South Australia)
2001Incremental state space construction for coloured petri netsLewis, G.; Lakos, C.; Colom, J.; Koutny, M.; Applications and Theory of Petri Nets (2001 : Newcastle upon Tyne, UK)
2001Object oriented modeling with Object Petri NetsLakos, C.; Agha, G.; Cindio, F.; Rozenberg, G.
2004Towards a semantic basis for RosettaMenon, C.; Lakos, C.; Kong, C.; Estivill Castro, V.; Australasian Computer Science Conference (27th : 2004 : Dunedin, New Zealand)
2005State space exploration of object-based systems using equivalence reduction and the sweepline methodLakos, C.; Kristensen, L.; Peled, D.; Tsay, Y.; Automated Technology for Verification and Analysis. International Syumposium (3rd : 2005 : Taipei, Taiwan)

Discover