WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach
Derrien, Steven, Puaut, Isabelle, Alefragis, Panayiotis, Bednara, Marcus, Bucher, Harald, David, Clement, Debray, Yann, Durak, Umut, Fassi, Imen, Ferdinand, Christian, Hardy, Damien, Kritikakou, Angeliki, Rauwerda, Gerard, Reder, Simon, Sicks, Martin, Stripf, Timo, Sunesen, Kim, ter Braak, Timon, Voros, Nikolaos, Becker, Jurgen
Published in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 (01.03.2017)
Published in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 (01.03.2017)
Get full text
Conference Proceeding
Compiling Scilab to high performance embedded multicore systems
Stripf, Timo, Oey, Oliver, Bruckschloegl, Thomas, Becker, Juergen, Rauwerda, Gerard, Sunesen, Kim, Goulas, George, Alefragis, Panayiotis, Voros, Nikolaos S., Derrien, Steven, Sentieys, Olivier, Kavvadias, Nikolaos, Dimitroulakos, Grigoris, Masselos, Kostas, Kritharidis, Dimitrios, Mitas, Nikolaos, Perschke, Thomas
Published in Microprocessors and microsystems (01.11.2013)
Published in Microprocessors and microsystems (01.11.2013)
Get full text
Journal Article
A generic drift reduction technique for orientation estimation from biomechanical angular velocity
Haitjema, Anne, Wouda, Frank J., Reenalda, Jasper, Sunesen, Kim, van Beijnum, Bert-Jan F., Veltink, Peter H.
Published in 2023 IEEE 19th International Conference on Body Sensor Networks (BSN) (09.10.2023)
Published in 2023 IEEE 19th International Conference on Body Sensor Networks (BSN) (09.10.2023)
Get full text
Conference Proceeding
Using VDMTools to Model and Validate the Cash Dispenser Example
Larsen, Peter Gorm, Mukherjee, Paul, Sunesen, Kim
Published in Formal aspects of computing (01.12.2000)
Published in Formal aspects of computing (01.12.2000)
Get full text
Journal Article
A temporal logic characterisation of observational determinism
Huisman, M., Worah, P., Sunesen, K.
Published in 19th IEEE Computer Security Foundations Workshop (CSFW'06) (2006)
Published in 19th IEEE Computer Security Foundations Workshop (CSFW'06) (2006)
Get full text
Conference Proceeding
Designing reliable cyber-physical systems overview associated to the special session at FDL'16
Aleksandrowicz, Gadi, Arbel, Eli, Bloem, Roderick, Ter Braak, Timon, Devadze, Sergei, Fey, Goerschwin, Jenihhin, Maksim, Jutman, Artur, Kerkhoff, Hans G., Konighofer, Robert, Malburg, Jan, Moran, Shiri, Raik, Jaan, Rauwerda, Gerard, Riener, Heinz, Rock, Franz, Shibin, Konstantin, Sunesen, Kim, Wan, Jinbo, Zhao, Yong
Published in 2016 Forum on Specification and Design Languages (FDL) (01.09.2016)
Published in 2016 Forum on Specification and Design Languages (FDL) (01.09.2016)
Get full text
Conference Proceeding
Software Modification Aided Transient Error Tolerance for Embedded Systems
Shafik, Rishad A., Rauwerda, Gerard, Potman, Jordy, Sunesen, Kim, Pradhan, Dhiraj, Mathew, Jimson, Sourdis, Ioannis
Published in 2013 Euromicro Conference on Digital System Design (01.09.2013)
Published in 2013 Euromicro Conference on Digital System Design (01.09.2013)
Get full text
Conference Proceeding
A Compilation- and Simulation-Oriented Architecture Description Language for Multicore Systems
Stripf, T., Oey, O., Bruckschloegl, T., Koenig, R., Becker, J., Goulas, George, Alefragis, Panayiotis, Voros, Nikolaos S., Potman, Jordy, Sunesen, Kim, Derrien, Steven, Sentieys, Olivier
Published in 2012 IEEE 15th International Conference on Computational Science and Engineering (01.12.2012)
Published in 2012 IEEE 15th International Conference on Computational Science and Engineering (01.12.2012)
Get full text
Conference Proceeding
From Scilab to High Performance Embedded Multicore Systems: The ALMA Approach
Becker, J., Stripf, T., Oey, O., Huebner, M., Derrien, S., Menard, D., Sentieys, O., Rauwerda, G., Sunesen, K., Kavvadias, N., Masselos, K., Goulas, G., Alefragis, P., Voros, N. S., Kritharidis, D., Mitas, N., Goehringer, D.
Published in 2012 15th Euromicro Conference on Digital System Design (01.09.2012)
Published in 2012 15th Euromicro Conference on Digital System Design (01.09.2012)
Get full text
Conference Proceeding
A flexible approach for compiling scilab to reconfigurable multi-core embedded systems
Stripf, T., Oey, O., Bruckschloegl, T., Koenig, R., Huebner, M., Becker, J., Goulas, George, Alefragis, Panayiotis, Voros, Nikolaos S., Rauwerda, Gerard, Sunesen, Kim, Derrien, Steven, Menard, Daniel, Sentieys, Olivier, Kavvadias, Nikolaos, Dimitroulakos, Grigoris, Masselos, Kostas, Goehringer, Diana, Perschke, Thomas, Kritharidis, Dimitrios, Mitas, Nikolaos
Published in 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC) (01.07.2012)
Published in 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC) (01.07.2012)
Get full text
Conference Proceeding
From Scilab to multicore embedded systems: Algorithms and methodologies
Goulas, G., Alefragis, P., Voros, N. S., Valouxis, C., Gogos, C., Kavvadias, N., Dimitroulakos, G., Masselos, K., Goehringer, D., Derrien, S., Menard, D., Sentieys, O., Huebner, M., Stripf, T., Oey, O., Becker, J., Rauwerda, G., Sunesen, K., Kritharidis, D., Mitas, N.
Published in 2012 International Conference on Embedded Computer Systems (SAMOS) (01.07.2012)
Published in 2012 International Conference on Embedded Computer Systems (SAMOS) (01.07.2012)
Get full text
Conference Proceeding