Keijo

Keijo Heljanko

Associate Professor

Aalto people page http://people.aalto.fi/keijo_heljanko.

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

Publications

Curriculum Vitae

Teaching

  • CS-E4120 Scalable Cloud Computing (5 cr), Autumn 2017
  • CS-E4110 Concurrent Programming (5 cr), Autumn 2017

    • 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 Aalto 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:

  • HWMCC 2015 - 8th Hardware Model Checking Competition 2013, affiliated with FMCAD 2015
  • HWMCC 2014 - 7th Hardware Model Checking Competition 2013, affiliated with CAV 2014
  • Third International SAT/SMT Summer School 2013, affiliated with SAT 2013
  • HWMCC 2013 - 6th Hardware Model Checking Competition 2013, affiliated with FMCAD 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 2016 - 16th International Conference on Application of Concurrency in System Design
  • GAM 2016 - Graphs as Models 2016 Workshop
  • ACSD 2015 - 15th International Conference on Application of Concurrency in System Design
  • FMCAD 2015 - 15th International Conference on Formal Methods in Computer-Aided Design
  • TIME 2015 - 22nd International Symposium on Temporal Representation and Reasoning
  • AVOCS 2015 - 15th International Workshop on Automated Verification of Critical Systems
  • FOCLASA 2015 - 14th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems
  • GAM 2015 - Graphs as Models 2015 Workshop
  • ACSD 2014 - 14th International Conference on Application of Concurrency in System Design
  • AVOCS 2014 - 14th International Workshop on Automated Verification of Critical Systems
  • CAV 2014 - 26th International Conference on Computer Aided Verification
  • Concur 2014 - 25th International Conference on Concurrency Theory
  • FMCAD 2014 - 14th International Conference on Formal Methods in Computer-Aided Design
  • FMICS 2014 - 19th International Workshop on Formal Methods for Industrial Critical Systems
  • GRAPHITE 2014 - 3rd Workshop on GRAPH Inspection and Traversal Engineering
  • NWPT 2014 - 26th Nordic Workshop on Programming Theory
  • ACSD 2013 - 13th International Conference on Application of Concurrency in System Design
  • FMCAD 2013 - 13th International Conference on Formal Methods in Computer-Aided Design
  • TIME 2014 - 21st International Symposium on Temporal Representation and Reasoning
  • FOCLASA 2013 - 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems
  • SEAA 2014 - SEAA 2014 : 40th Euromicro Conference on Software Engineering and Advanced Applications, Track: Cloud Software (CS)
  • 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

    • Invited talks:

  • Using Unfoldings in Automated Testing of Multithreaded Programs given at the 25th Nordic Workshop on Programming Theory, NWPT 2013, Tallinn, Estonia, 20th November 2013.

    • Tutorials:

  • Improved Testing of Multithreaded Programs with Dynamic Symbolic Execution including Additional DPOR-slides at the 4th International Halmstad Summer School on Testing, HSST 2014, Halmstad University, Sweden.
  • Hands-on tutorial on ``Satisfiability Modulo Theories (SMT)'' at both 3rd and 4th International SAT/SMT PhD Summer School 2013 & 2014, affiliated with SAT 2013 & 2014, (jointly organised with Tommi Junttila and Tomi Janhunen).
  • Scalable Cloud Computing given in the EIT ICT Labs Cloud Computing PhD School, Espoo, Finland, 6th of June 2013.
  • Scalable Cloud Computing given in the EIT ICT Labs Cloud Computing PhD School, Espoo, Finland, 5th of June 2012.
  • 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

    Projects

  • APTV - Advanced Parallel Testing and Verification Methods for Distributed Systems
  • D2I - Data to Intelligence

    • Past projects

  • SARANA - Safety Evaluation and Reliability Analysis of Nuclear Automation
  • PDMV - Parallel and Distributed Methods in Verification
  • Cloud SW - Cloud Software
  • RECOMP - Reduced Certification Costs Using Trusted Multi-core Platforms
  • 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
  • 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