News and Events
[back to main]
Year 2013
- Invited paper at ESLsyn
2013, Austin, Texas,
USA. Title: Precision Timed Infrastructure: Design Challenges (preprint).
- New article (preprint) Temporal Issues in Cyber-Physical Systems.
- PC member of
ACM SIGAda's Annual
International Conference High Integrity Language Technology (HILT
2013), Nov 12-14, Pittsburgh, Pennsylvania, USA.
- Tutorial at
the Internationl
Conference on Software Engineering (ICSE 2013), May 25,
2013. Title: The
Company Approach to Teaching Software Engineering Project Courses
- Keynote speaker at
the Fourth International
Symposium on Highly Efficient Accelerators and Reconfigurable
Technologies (HEART 2013), June 13-14, Edinburgh,
Scotland. Title: Execution
time should be as short as possible, but not shorter.
- PC member of
the 26th
Conference on Software Engineering Education and Training
(CSEE&T), May 19-21, San Francisco, California, USA.
- PC member of the 5th International
Workshop on Equation-Based Object-Oriented Modeling Languages and
Tools (EOOLT 2013), April 19, Nottingham, UK.
- PC member of the 3rd Workshop on
Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy
2013), April 8, Philadelphia, USA.
Year 2012
- Short paper accepted to the work-in-progress (WiP) session
at RTSS 2012, San Juan,
Puerto
Rico. Title: High-Confidence
Cyber-Physical Co-Design (preprint).
- Invited talk at
the National
Workshop on the New Clockwork for Time-Critical
Systems. Title: Precision Timed Infrastructure - Promoting Time to a First-Class Citizen in System Design.
- Invited talks at TU Vienna and University of
Salzburg. Title: Modeling, Simulating, and Compiling with Timing Semantics.
- Paper accepted to MPM
2012, Innsbruck,
Austria. Title:
Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems (preprint).
- PC member of the 19th IEEE
Real-Time and Embedded Technology and Applications Symposium (RTAS
2013), Philadelphia, USA.
- Paper accepted to ICCD
2012, Montreal,
Canada. Title: A
PRET Microarchitecture Implementation with Repeatable Timing and
Competitive Performance.
- New article
(preprint):
Modelyze:
a Gradually Typed Host Language for Embedding Equation-Based
Modeling Languages.
- PC member
of the
Third Analytic Virtual Integration of Cyber-Physical Systems
Workshop, San Juan, Puerto Rico, 2012.
- Invited talk at
the RAWFP
workshop. Slides
are
available here.
- Invited talk at the IFIP WG 2.4 meeting. Slides
are
available here.
- PC member of
the 9th
International Modelica Conference, Munich, Germany, 2012.
- Paper accepted
to ICST
2012, Montreal,
Canada. Title: Towards
Automated Anomaly Report Assignment in Large Complex Systems using
Stacked Generalization.
- Article accepted to
journal IEEE
Transaction on Education. The Company Approach to Software
Engineering Project Courses. See
the open
access accepted version and
the IEEE early
access version.
- Paper accepted
to PADL
2012, Philadelphia, Pennsylvania,
USA. Title: Node-Based
Connection Semantics for Equation-Based Object-Oriented Modeling
Languages.
- PC member of the Second Workshop
on the Design, Modeling and Evaluation of Cyber Physical Systems
(CyPhy'12), Halmstad, Sweden, 2012.
- Paper accepted
to SAC 2012,
Riva del Garda, Trento,
Italy. Tile: A
Comparison of Two Metacompilation Approaches to Implementing a Complex
Domain-specific Language. Technical report version
is available
here.
- PC member of
the 25th
IEEE-CS Conference on Software Engineering Education and Training
(CSEE&T), Nanjing, Jiangsu, China, 2012.
Year 2011
- PC member of
the 25th
IEEE-CS Conference on Software Engineering Education and Training
(CSEE&T), Nanjing, Jiangsu, China, 2012.
- Received the Swedish Research Council's
(Vetenskapsrådets) post-doctoral fellowship grant for a two years
period. In December 2011 I will
join Edward A. Lee's
research group at UC
Berkeley, California, USA.
- New article
(preprint) The
Company Approach to Software Engineering Project Courses.
- Co-chair and PC member of 4th
International Workshop on Equation-Based Object-Oriented Modeling
Languages and Tools (EOOLT 2011), September 5, 2011, ETH Zürich,
Switzerland.
- Invited guest talks at UC Berkeley (February) and TU Berlin
(March) 2011. Slides are
available here.
- Invited talk at MODPROD
2011, Linköping, Sweden. Slides are
available here.
- PC member of the First IEEE
Workshop on Design, Modeling and Evaluation of Cyber Physical Systems
(CyPhy'11), Istanbul, Turkey, 2011.
- PC member of
the 24th
IEEE-CS Conference on Software Engineering Education and Training
(CSEE&T), Waikiki, Honolulu, Hawaii, 2011.
Year 2010
- Defended my PhD
thesis "Meta-Languages
and Semantics for Equation- Based Modeling and Simulation",
October, 2010.
- May 2010 - Teaching parts of a PhD course in strict functional
programming in OCaml. See
the course page
or
the lecture
notes on FP in OCaml.
- Best
paper presentation award at
conference CSEE&T,
Pittsburgh, USA, March 2010. The paper
is available
here.
- Co-chair and PC member of 3rd
International Workshop on Equation-Based Object-Oriented Modeling
Languages and Tools (EOOLT 2010), October 2010, Oslo, Norway.
- Invited talk at MODPROD
2010, Linköping, Sweden. Slides
available here.
- Paper
at CSEE&T
2010, CMU, Pittsburgh,
USA: Should Software
Engineering Projects be the Backbone or the Tail of Computing
Curricula?".
Year 2009
- Paper at Modelica conference 2009, Como, Italy: Extendable Physical Unit Checking with Understandable Error Reporting.
- Paper at ASWEC 2009, Queensland, Australia: IEEE link
- Paper "Higher-Order Acausal Models" published in journal Simulation News Europe 19(1):5-16, 2009.
- Tutorial at MATHMOD 2009, Vienna, Austria: Modelica Tutorial - Modeling and Simulation with OpenModelicaand MathModelica
- Poster at MODPROD 2009, Linköping, Sweden: Evaluation of Secure Distributed TLM-based Co-Simulation over Wide Area Networks
- Invited paper at MATHMOD 2009, Vienna, Austria:
Growing an Equation-Based Object-Oriented Modeling Language.
Year 2008
Year 2007
Year 2006
