|
Keijo Heljanko
Professor
Teaching
T-79.5301 Reactive Systems P (4 cr), Spring 2010
T-79.4001 Seminar on Theoretical Computer Science (3 cr), Spring 2010
T-79.4301 Parallel and Distributed Systems (4 cr), Autumn 2009
Open Positions
Master's Thesis, Research Assistant, and PhD student positions
Thesis Instruction
If you want to make your Student Project, B.Sc.(Tech.) Thesis, M.Sc.(Tech.) Thesis,
or if you want to start doctoral studies at TKK under my supervision, please send me email.
Conferences
PC member:
CAV 2011
- 23rd International Conference on Computer Aided Verification
Concur 2011
- 22nd International Conference on Concurrency Theory
ACSD 2011
- 11th International Conference on Application of Concurrency in System Design
SOFSEM 2011
- 37th Conference on Current Trends in Theory and Practice of Computer Science,
Track: Foundations of Computer Science
PDMC/HiBi 2010
- 9th International Workshop on Parallel and Distributed Methods in Verification joint with
2nd International Workshop on High Performance Computational Systems Biology (HiBi 2010)
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,
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:
Bounded Model Checking for Finite-State Systems Lecture 1, Lecture 2, Quantitative Model Checking PhD School, Copenhagen,
2-5 March 2010, organized by the European Network of Excellence in
Embedded Systems Design (ARTIST Design) and the Danish VKR Center of
Excellence (MT-LAB).
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
CAV - Computer Aided Verification Theory and Tools
TVSDS - Testing, Verification, and Synthesis of Distributed Systems
StMcDes - Symbolic Testing and Model Checking of Distributed Embedded Systems
LIME2 - LightweIght formal Methods for distributed component-based Embedded systems
MODSAFE - Model-Based Safety Evaluation of Automation Systems
Past projects
LIME - LightweIght formal Methods for distributed component-based Embedded systems
Advanced Constraint Programming Techniques for Large Structured Problems
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: Thursday, 02-Sep-2010 10:25:47 EEST.
Keijo Heljanko
|
tkk.fi