E-LIB Suche - Ergebnisse für: Cuijpers, Pieter J.L.

1

An interview study about the use of logs in embedded softwa..:

Yang, Nan ; Cuijpers, Pieter ; Hendriks, Dennis...
Empirical Software Engineering. 28 (2023) 2 - p. , 2023

Link: https://doi.org/10.1007/..

2

Assume-Guarantee Reasoning for Additive Hybrid Behaviour:

, In: Theories of Programming and Formal Methods; Lecture Notes in Computer Science,

Cuijpers, Pieter J. L. ; Hansen, Jonas ; Larsen, Kim G. - p. 297-322 , 2023

Link: https://doi.org/10.1007/..

3

Cost of Robustness of Independent WCRT Analysis for CBS of ..:

, In: 2023 IEEE 19th International Conference on Factory Communication Systems (WFCS),

Bril, Reinder J. ; Hassani, Hamid ; Cuijpers, Pieter J.L.. - p. 1-4 , 2023

Link: https://doi.org/10.1109/..

4

Balancing Flexible Production and Consumption of Energy usi..:

, In: 2022 11th Mediterranean Conference on Embedded Computing (MECO),

Hansen, Jonas ; Larsen, Kim Guldstr ; Cuijpers, Pieter J.L. - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

5

The Hazard Value: A Quantitative Network Connectivity Measu..:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN),

Cuijpers, Pieter ; Schmid, Stefan ; Schnepf, Nicolas. - p. 239-250 , 2022

Link: https://doi.org/10.1109/..

6

An Interview Study of how Developers use Execution Logs in ..:

, In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),

Yang, Nan ; Cuijpers, Pieter ; Schiffelers, Ramon.. - p. 61-70 , 2021

Link: https://doi.org/10.1109/..

7

An interview study of how developers use execution logs in ..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Software Engineering in Practice,

Yang, Nan ; Cuijpers, Pieter ; Schiffelers, Ramon.. - p. 61-70 , 2021

Link: https://dl.acm.org/doi/1..

8

Single-state state machines in model-driven software engine..:

Yang, Nan ; Cuijpers, Pieter ; Schiffelers, Ramon..
Empirical Software Engineering. 26 (2021) 6 - p. , 2021

Link: https://doi.org/10.1007/..

9

Painting Flowers: Reasons for Using Single-State State Mach..:

, In: 2020 IEEE/ACM 17th International Conference on Mining Software Repositories (MSR),

Yang, Nan ; Schiffelers, Ramon ; Lukkien, Johan.. - p. 362-373 , 2020

Link: https://doi.org/10.1145/..

10

Painting Flowers : Reasons for Using Single-State State ..:

, In: Proceedings of the 17th International Conference on Mining Software Repositories,

Yang, Nan ; Cuijpers, Pieter ; Schiffelers, Ramon.. - p. 362-373 , 2020

Link: https://dl.acm.org/doi/1..

11

Work-in-Progress: Layering Concerns for the Analysis of Cre..:

, In: 2020 16th IEEE International Conference on Factory Communication Systems (WFCS),

Hassani, Hamid ; Cuijpers, Pieter J. L. ; Bril, Reinder J. - p. 1-4 , 2020

Link: https://doi.org/10.1109/..

12

A Retargetable Fault Injection Framework for Safety Validat..:

, In: 2019 IEEE International Conference on Software Architecture Companion (ICSA-C),

Fu, Yuting ; Terechko, Andrei ; Bijlsma, Tjerk... - p. 69-76 , 2019

Link: https://doi.org/10.1109/..

13

Independent WCRT analysis for individual priority classes i..:

Cao, Jingyue ; Cuijpers, Pieter J. L. ; Bril, Reinder J..
Real-Time Systems. 54 (2018) 4 - p. 861-911 , 2018

Link: https://doi.org/10.1007/..

14

Independent yet Tight WCRT Analysis for Individual Priority..:

, In: Proceedings of the 24th International Conference on Real-Time Networks and Systems,

Cao, Jingyue ; Cuijpers, Pieter J.L. ; Bril, Reinder J.. - p. 55-64 , 2016

Link: https://dl.acm.org/doi/1..

15

Response modeling runtime schedulers for timing analysis of..:

Lele, Alok ; Moreira, Orlando ; Cuijpers, Pieter J.L..
Journal of Systems Architecture. 65 (2016) - p. 15-29 , 2016

Link: https://doi.org/10.1016/..