Kim Sunesen

According to our database, Kim Sunesen authored at least 16 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

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

Proceedings of the 19th IEEE International Conference on Body Sensor Networks, 2023

2017

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, Gerard K. Rauwerda, Simon Reder, Martin Sicks, Timo Stripf, Kim Sunesen, Timon D. ter Braak, Nikolaos S. Voros, Jürgen Becker

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

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, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2013

Compiling Scilab to high performance embedded multicore systems.

Timo Stripf, Oliver Oey, Thomas Bruckschlögl, Jürgen Becker, Gerard K. Rauwerda, Kim Sunesen, George Goulas, Panayiotis Alefragis, Nikolaos S. Voros, Steven Derrien, Olivier Sentieys, Nikolaos Kavvadias, Grigoris Dimitroulakos, Kostas Masselos, Dimitrios Kritharidis, Nikolaos Mitas, Thomas Perschke

Microprocess. Microsystems, 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, Robert M. Seepers, Rishad A. Shafik, Kim Sunesen, Dimitris Theodoropoulos, Stavros Tzilis, Michalis Vavouras

Microprocess. Microsystems, 2013

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

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

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, Michael Hübner, Timo Stripf, Oliver Oey, Jürgen Becker, Gerard K. Rauwerda, Kim Sunesen, Dimitrios Kritharidis, Nikolaos Mitas

Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

A flexible approach for compiling scilab to reconfigurable multi-core embedded systems.

Timo Stripf, Oliver Oey, Thomas Bruckschlögl, Ralf König, Michael Hübner, Jürgen Becker, Gerard K. Rauwerda, Kim Sunesen, Nikolaos Kavvadias, Grigoris Dimitroulakos, Kostas Masselos, Dimitrios Kritharidis, Nikolaos Mitas, George Goulas, Panayiotis Alefragis, Nikolaos S. Voros, Steven Derrien, Daniel Ménard, Olivier Sentieys, Diana Göhringer, Thomas Perschke

Proceedings of the 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 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

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

From Scilab to High Performance Embedded Multicore Systems: The ALMA Approach.

Jürgen Becker, Timo Stripf, Oliver Oey, Michael Hübner, Steven Derrien, Daniel Ménard, Olivier Sentieys, Gerard K. Rauwerda, Kim Sunesen, Nikolaos Kavvadias, Kostas Masselos, George Goulas, Panayiotis Alefragis, Nikolaos S. Voros, Dimitrios Kritharidis, Nikolaos Mitas, Diana Göhringer

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

A Compilation- and Simulation-Oriented Architecture Description Language for Multicore Systems.

Timo Stripf, Oliver Oey, Thomas Bruckschlögl, Ralf König, George Goulas, Panayiotis Alefragis, Nikolaos S. Voros, Jordy Potman, Kim Sunesen, Steven Derrien, Olivier Sentieys, Jürgen Becker

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2006

A Temporal Logic Characterisation of Observational Determinism.

Marieke Huisman, Pratik Worah, Kim Sunesen

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2000

Using VDMTools to Model and Validate the Cash Dispenser Example.

Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen

Formal Aspects Comput., 2000

1996

Automated Logical Verification Based on Trace Abstractions.

Nils Klarlund, Mogens Nielsen, Kim Sunesen

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Behavioural Equivalence for Infinite Systems - Partially Decidable!

Kim Sunesen, Mogens Nielsen

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1994

A Case Study in Verification Based on Trace Abstractions.

Nils Klarlund, Mogens Nielsen, Kim Sunesen

Proceedings of the Formal Systems Specification, 1994