|
Keijo Heljanko
Professor
Teaching
T-79.4301 Parallel and Distributed Systems (4 cr), Autumn 2009
T-79.5301 Reactive Systems P (4 cr), Spring 2009
Thesis Instruction
If you want to make your B.Sc.(Tech.) or M.Sc.(Tech.) Thesis at TKK under
my supervision, please send me email or come to see me during my office hours.
Conferences
PC member:
ACSD 2010
- 10th International Conference on Application of Concurrency in System Design
PDMC 2009
- 8th International Workshop on Parallel and Distributed Methods in Verification
TIME 2009
- 16th International Symposium on Temporal Representation and Reasoning 2009
ACSD 2009
- 9th International Conference on Application of Concurrency in System Design
SOFSEM 2009
- 35th Conference on Current Trends in Theory and Practice of Computer Science
(SOFSEM 2009), Track: Techiques and Tools for Formal Verification
ACSD 2008
- 8th International Conference on Application of Concurrency in System Design
PDMC 2008
- 7th International Workshop on Parallel and Distributed Methods in Verification
ACSD 2007
- 7th International Conference on Application of Concurrency in System Design
TIME 2007
- 14th International Symposium on Temporal Representation and Reasoning 2007
UFO 2007
- Workshop on Unfolding and Partial Order Techniques
TIME 2006
- 13th International Symposium on Temporal Representation and Reasoning 2006
Tutorials:
Advanced Tutorial on Bounded Model Checking at ACSD 2006 / Petri Nets 2006
Book
Esparza, J. and Heljanko, K.:
Unfoldings - A Partial-Order Approach to Model Checking.
EATCS Monographs in Theoretical Computer Science, Springer-Verlag, ISBN 978-3-540-77425-9, 172 p., 2008.
Book Flyer.
Author created final book draft made available through our publishing agreement with Springer. Can not be made available on any other Web sites than the author homepages.
Projects
Computer Aided Verification Theory and Tools
Testing, Verification, and Synthesis of Distributed Systems
Advanced Constraint Programming Techniques for Large Structured Problems
LIME - LightweIght formal Methods for distributed component-based Embedded systems
MODSAFE - Model-Based Safety Evaluation of Automation Systems
Past projects
Applications of Rule-Based Constraint Programming
Formal Methods in Distributed Systems
Conformance Testing and Bounded Model CheckingConstraint Programming Based on Default Rules
[TCS main]
[Contact Info]
[Personnel]
[Research]
[Publications]
[Software]
[Studies]
[News Archive]
[Links]
Latest update: 10 November 2009.
Keijo Heljanko
|