A Case Study in Verification Based on Trace Abstractions. - Nils Klarlund; Mogens Nielsen; Kim Sunesen (Formal Systems Specification, 1994)

Behavioural Equivalence for Infinite Systems - Partially Decidable! - Kim Sunesen; Mogens Nielsen (Application and Theory of Petri Nets, 1996)

Automated Logical Verification Based on Trace Abstractions. - Nils Klarlund; Mogens Nielsen; Kim Sunesen (PODC, 1996)

Using VDMTools to Model and Validate the Cash Dispenser Example. - Peter Gorm Larsen; Paul Mukherjee; Kim Sunesen (Formal Aspects Comput., 2000)

A Temporal Logic Characterisation of Observational Determinism. - Marieke Huisman; Pratik Worah; Kim Sunesen (CSFW, 2006)

A Compilation- and Simulation-Oriented Architecture Description Language for Multicore Systems. - Timo Stripf; Oliver Oey; Thomas Bruckschlögl; Ralf König 001; George Goulas; Panayiotis Alefragis; Nikolaos S. Voros; Jordy Potman; Kim Sunesen; Steven Derrien; Olivier Sentieys; Jürgen Becker 001 (CSE, 2012)

From Scilab to High Performance Embedded Multicore Systems: The ALMA Approach. - Jürgen Becker 001; Timo Stripf; Oliver Oey; Michael Hübner 001; Steven Derrien; Daniel Ménard; Olivier Sentieys; Gerard K. Rauwerda; Kim Sunesen; Nikolaos Kavvadias; Kostas Masselos; George Goulas; et al. (DSD, 2012)

The DeSyRe Project: On-Demand System Reliability. - Ioannis Sourdis; Christos Strydis; Christos-Savvas Bouganis; Babak Falsafi; Georgi Nedeltchev Gaydadjiev; Alirad Malek; R. Mariani; Dionisios N. Pnevmatikatos; Dhiraj K. Pradhan; Gerard K. Rauwerda; Kim Sunesen; Stavros Tzilis (DSD, 2012)

A flexible approach for compiling scilab to reconfigurable multi-core embedded systems. - Timo Stripf; Oliver Oey; Thomas Bruckschlögl; Ralf König 001; Michael Hübner 001; Jürgen Becker 001; Gerard K. Rauwerda; Kim Sunesen; Nikolaos Kavvadias; Grigoris Dimitroulakos; Kostas Masselos; Dimitrios Kritharidis; et al. (ReCoSoC, 2012)

From Scilab to multicore embedded systems: Algorithms and methodologies. - George Goulas; Panayiotis Alefragis; Nikolaos S. Voros; Christos Valouxis; Christos Gogos; Nikolaos Kavvadias; Grigoris Dimitroulakos; Kostas Masselos; Diana Göhringer; Steven Derrien; Daniel Ménard; Olivier Sentieys; et al. (ICSAMOS, 2012)

Software Modification Aided Transient Error Tolerance for Embedded Systems. - Rishad A. Shafik; Gerard K. Rauwerda; Jordy Potman; Kim Sunesen; Dhiraj K. Pradhan; Jimson Mathew; Ioannis Sourdis (DSD, 2013)

DeSyRe: On-demand system reliability. - Ioannis Sourdis; Christos Strydis; Antonino Armato; Christos-Savvas Bouganis; Babak Falsafi; Georgi Nedeltchev Gaydadjiev; Sebastián Isaza; Alirad Malek; R. Mariani; Dionisios N. Pnevmatikatos; Dhiraj K. Pradhan; Gerard K. Rauwerda; et al. (Microprocess. Microsystems, 2013)

Compiling Scilab to high performance embedded multicore systems. - Timo Stripf; Oliver Oey; Thomas Bruckschlögl; Jürgen Becker 001; Gerard K. Rauwerda; Kim Sunesen; George Goulas; Panayiotis Alefragis; Nikolaos S. Voros; Steven Derrien; Olivier Sentieys; Nikolaos Kavvadias; et al. (Microprocess. Microsystems, 2013)

Designing reliable cyber-physical systems overview associated to the special session at FDL'16. - Gadi Aleksandrowicz; Eli Arbel; Roderick Bloem; Timon D. ter Braak; Sergei Devadze; Görschwin Fey; Maksim Jenihhin; Artur Jutman; Hans G. Kerkhoff; Robert Könighofer; Jan Malburg; Shiri Moran; et al. (FDL, 2016)

WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach. - Steven Derrien; Isabelle Puaut; Panayiotis Alefragis; Marcus Bednara; Harald Bucher; Clément David; Yann Debray; Umut Durak; Imen Fassi; Christian Ferdinand; Damien Hardy; Angeliki Kritikakou; et al. (DATE, 2017)

A generic drift reduction technique for orientation estimation from biomechanical angular velocity. - Anne Haitjema; Frank J. Wouda; Jasper Reenalda; Kim Sunesen; Bert-Jan F. van Beijnum; Peter H. Veltink (BSN, 2023)