David Broman

News and Events

• 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.
• 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.