Logotype Mälardalenn University

Staff

Stefan Bygde   
Stefan Bygde, PhD student

E-mail:
Room:U1-089
Phone:021-101386, 070-6195283
Research group:Programming Languages
PhD supervisor:Björn Lisper
Web:Official university homepage

Research    Publications    Projects   

Biography

Stefan is a PhD student working with parametric Worst-Case Execution Time analysis since fall 2006. He has an licentiate degree in computer science from Mälardalen University, received in 2010.

 

Latest publications [ Show all publications ]


Improved Precision in Polyhedral Analysis with Wrapping, Stefan Bygde, Björn Lisper, Niklas Holsti (Tidorum LTD), Technical Report, MRTC, June, 2012

Static Analysis of Bounded Polyhedra, Stefan Bygde, Björn Lisper, Niklas Holsti (Tidorum LTD), Nordic Workshop of Programming Theory (NWPT), p 83-85, Märlardalen University, Västerås, Sweden, Editor(s):Paul Pettersson and Cristina Seceleanu, October, 2011

Fully Bounded Polyhedral Analysis of Integers with Wrapping, Stefan Bygde, Björn Lisper, Niklas Holsti (Tidorum LTD), International Workshop on Numerical and Symbolic Abstract Domains (NSAD'11), Venice, Italy, September, 2011
 

Research projects

 
Research    Publications    Projects   
  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.11.03