Keijo

Keijo Heljanko

Professor

Postal Address: Aalto University
School of Science
Department of Information and Computer Science
PO Box 15400, FI-00076 Aalto, Finland
Street address:
 (for Couriers)		 Aalto University
School of Science
Department of Information and Computer Science
Konemiehentie 2, FI-02150 Espoo, Finland.
Room: B334
Telephone: +358 9 47025134
FAX: +358 9 47023369
Email: keijo.heljanko@aalto.fi
Office hours: By email appointment

Publications

Curriculum Vitae

Distributed Computation Group

Teaching

  • T-79.5308 Scalable Cloud Computing P (5 cr), Autumn 2012
  • T-79.5306 Reactive Systems P (5 cr), Spring 2013
  • T-79.7001 Postgraduate Course on Theoretical Computer Science P (2-10 cr), Spring 2013

    • 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 and Workshops

    PC (co-)chair:

  • ACSD 2012 - 12th International Conference on Application of Concurrency to System Design (ACSD 2012) (co-located with Petri Nets 2012)
  • AIPA/SVARM 2012 - Joint Workshop Automation in Proof Assistants / Synthesis, Verification, and Analysis of Rich Models (co-located with ETAPS 2012)
  • PDMC 2012 - 11th International Workshop on Parallel and Distributed Methods in verifiCation (co-located with QEST 2012)
  • PDMC 2011 - 10th International Workshop on Parallel and Distributed Methods in verifiCation (co-located with CAV 2011)

    • Organizing Committee Member:

  • Third International SAT/SMT Summer School 2013, affiliated with SAT 2013
  • HWMCC 2012 - 5th Hardware Model Checking Competition 2012, affiliated with FMCAD 2012
  • HWMCC 2011 - 4th Hardware Model Checking Competition 2011, affiliated with FMCAD 2011

    • Track chair:

  • SEAA 2012 - 38th EUROMICRO Conference on Software Engineering and Advanced Applications, Track: Cloud Software (CS)

    • PC Member:

  • ACSD 2013 - 13th International Conference on Application of Concurrency in System Design
  • FMCAD 2013 - 13th International Conference on Formal Methods in Computer-Aided Design
  • GRAPHITE 2013 - 2nd Workshop on GRAPH Inspection and Traversal Engineering
  • SEAA 2013 - 39th EUROMICRO Conference on Software Engineering and Advanced Applications, Track: Cloud Software (CS)
  • TIME 2013 - 20th International Symposium on Temporal Representation and Reasoning
  • MEMICS 2012 - 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
  • TIME 2012 - 19th International Symposium on Temporal Representation and Reasoning
  • AVoCS 2012 - 12th International Workshop on Automated Verification of Critical Systems
  • Concur 2012 - 23nd International Conference on Concurrency Theory
  • 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
  • SEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Track: Cloud Software
  • 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:

  • Scalable Batch Processing for the Cloud, given in the PhD schools: The Contrail summer school on Cloud and Grid Computing, June 27-July 1, Belambra, Hyeres-les-Palmiers, France; and EIT ICT Labs Summer School on Cloud Computing, June 6-10, Espoo, Finland.
  • Unfolding based Model Checking, Advanced course on Petri nets 2010, Rostock, Germany, 22nd of September 2010.
  • 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

  • SARANA - Safety Evaluation and Reliability Analysis of Nuclear Automation
  • PDMV - Parallel and Distributed Methods in Verification
  • RECOMP - Reduced Certification Costs Using Trusted Multi-core Platforms
  • Cloud SW - Cloud Software
  • TVSDS - Testing, Verification, and Synthesis of Distributed Systems
  • StMcDes - Symbolic Testing and Model Checking of Distributed Embedded Systems

    • Past projects

  • LIME2 - LightweIght formal Methods for distributed component-based Embedded systems
  • MODSAFE - Model-Based Safety Evaluation of Automation Systems
  • CAV - Computer Aided Verification Theory and Tools
  • 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 Checking
  • Constraint Programming Based on Default Rules

    • Software

    Experiments