Visiting Scholar (UC Berkeley) |
Assistant Professor (Linköping University)
University of California at Berkeley
545N Cory Hall
Berkeley CA 94720-1770
News and Events
All news and events...
- Tutorial at
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
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.
- Short paper accepted to the work-in-progress (WiP) session
at RTSS 2012, San Juan,
Rico. Title: High-Confidence
Cyber-Physical Co-Design (preprint).
- Invited talk at
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
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
Canada. Title: A
PRET Microarchitecture Implementation with Repeatable Timing and
- New article
a Gradually Typed Host Language for Embedding Equation-Based
- PC member
Third Analytic Virtual Integration of Cyber-Physical Systems
Workshop, San Juan, Puerto Rico, 2012.