(1 - 7 from 10
)
Report on the 15th ERCIM Formal Methods for Industrial Critical ...
www.ercim.eu
by Stefan Kowalewski and Marco Roveri. The 15th ERCIM Formal Methods for Industrial ... The award was presented by Stefan Kowalewski and Marco Roveri, PC co-chair of FMICS (see photo). Marco Roveri, Alessandro Fantechi, and ...
FMICS 2010: Call For Participation
es-static.fbk.eu
Wei Wei and Jeremy W. Bryans. 8: Range Analysis of Microcontroller Code using Bit-Level Congruences. Joerg Brauer and Andy King and Stefan Kowalewski.
FMICS Fmics2013/Programme Committee
lvl.info.ucl.ac.be
... Holger Hermanns (Saarland University, Germany); Stefan Kowalewski (RWTH Aachen, Germany); Juliana Küster Filipe Bowles (University of ...
sorted by relevance / date