Get started
Author

Kim Sunesen

A Temporal Logic Characterisation of Oservational Determinism
2006 · M. Huisman, P. Worah, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 76
CRISP: Cutting Edge Reconfigurable ICs for Stream Processing
2011 · Tapani Ahonen, Timon D. ter Braak, et al. · Springer eBooks · 21
Automated logical verification based on trace abstractions
1996 · Nils Klarlund, Mogens Nielsen, et al. · ACM Symposium on Principles of Distributed Computing (PODC) · 20
Compiling Scilab to high performance embedded multicore systems
2013 · Timo Stripf, Oliver Oey, et al. · Microprocessors and Microsystems · 16
DeSyRe: On-demand system reliability
2013 · I. Sourdis, C. Strydis, et al. · Microprocessors and Microsystems · 13
PDF
Automated Logical Verification based on Trace Abstractions
1995 · Nils Klarlund, Mogens Nielsen, et al. · BRICS Report Series · 12
PDF
WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach
2017 · Steven Derrien, Isabelle Puaut, et al. · Design, Automation, and Test in Europe · 10
A case study in verification based on trace abstractions
1996 · Nils Klarlund, Mogens Nielsen, et al. · Lecture notes in computer science · 9
A Case Study in Automated Verification Based on Trace Abstractions
1995 · Nils Klarlund, Mogens Nielsen, et al. · BRICS Report Series · 8
PDF
Further Results on Partial Order Equivalences on Infinite Systems
1998 · Kim Sunesen · BRICS Report Series · 7
PDF
Designing Reliable Cyber-Physical Systems
2017 · Gadi Aleksandrowicz, Eli Arbel, et al. · Lecture notes in electrical engineering · 6
PDF
From Scilab to High Performance Embedded Multicore Systems: The ALMA Approach
2012 · Juergen Becker, Timo Stripf, et al. · Euromicro Conference on Digital System Design (DSD) · 6
Behavioural equivalence for infinite systems — Partially decidable!
1996 · Kim Sunesen, Mogens Nielsen · Lecture notes in computer science · 6
Software Modification Aided Transient Error Tolerance for Embedded Systems
2013 · Rishad A. Shafik, Gerard Rauwerda, et al. · Euromicro Conference on Digital System Design (DSD) · 5
Model-based Development of Enhanced Ground Proximity Warning System for Heterogeneous Multi-Core Architectures
2016 · Umut Durak, David Müller, et al. · elib (German Aerospace Center) · 4
PDF
A Compilation- and Simulation-Oriented Architecture Description Language for Multicore Systems
2012 · Timo Stripf, Oliver Oey, et al. · IEEE International Conference on Computational Science and Engineering (CSE) · 4
The DeSyRe Project: On-Demand System Reliability
2012 · I. Sourdis, C. Strydis, et al. · Euromicro Conference on Digital System Design (DSD) · 3
Behavioural Equivalence for Infinite Systems—Partially Decidable!
1995 · Mogens Nielsen, Kim Sunesen · BRICS Report Series · 3
PDF
A generic drift reduction technique for orientation estimation from biomechanical angular velocity
2023 · Anne Haitjema, Frank J. Wouda, et al. · Wearable and Implantable Body Sensor Networks · 2
PDF
A flexible approach for compiling scilab to reconfigurable multi-core embedded systems
2012 · Timo Stripf, Oliver Oey, et al. · International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) · 2
Designing reliable cyber-physical systems overview associated to the special session at FDL'16
2016 · Gadi Aleksandrowicz, Eli Arbel, et al. · Forum on specification and Design Languages · 1
Scalable Sensor Data Processor: A Multi-Core Payload Data Processor ASIC
2015 · L. Berrojo, Robson Luiz Moreno, et al. · ESASP · 1
From Scilab to multicore embedded systems: Algorithms and methodologies
2012 · George Goulas, Panayiotis Alefragis, et al. · International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation · 1
Scalable Sensor Data Processor: Development and Validation
2016 · Rossano P. Pinto, L. Berrojo, et al. · ESASP
Using VDMTools to Model and Validate the Cash Dispenser Example
2000 · Peter Gorm Larsen, Paul Mukherjee, et al. · Formal Aspects of Computing
Works count: 29
Citation count: 236
H-index: 8
I10-index: 7
Year
Topic
Type