Search
Results
-
Mixed-criticality systems: Design and certification challenges
(2013)2013 International Conference on Hardware/Software Codesign and System Synthesis : CODES+ISSS 2013, Montreal, Quebec, Canada, 29 September - 4 October 2013Conference Paper -
Interference Constraint Graph - A New Specification for Mixed-Criticality Systems
(2013)2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)Conference Paper -
An Algorithm for Online Reconfiguration of Resource Reservations for Hard Real-Time Systems
(2012)24th Euromicro Conference on Real-Time Systems (ECRTS 2012)Conference Paper -
Combining Optimistic and Pessimistic DVS Scheduling
(2010)International Conference on Computer-Aided Design (ICCAD), 2010 IEEE/ACMConference Paper -
An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor
(2014)Proceedings of the 51st Annual Design Automation ConferenceConference Paper -
Timed Model Checking with Abstractions
(2012)Proceedings of the tenth ACM international conference on Embedded softwareConference Paper -
Resource Adaptations with Servers for Hard Real-Time Systems
(2010)EMSOFT 10: Proceedings of the tenth ACM international conference on Embedded softwareConference Paper -
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
(2010)Lecture Notes in Computer Science ~ Leveraging applications of formal methods, verification, and validation : proceedingsConference Paper -
Designing Applications with Predictable Runtime Characteristics for the Baremetal Intel SCC
(2014)Lecture Notes in Computer Science ~ Euro-Par 2013: Parallel Processing Workshops : BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013 : Aachen, Germany, August 26-27, 2013 : Revised Selected PapersConference Paper -
Scheduling of Mixed-Criticality Applications on Resource-Sharing Multicore Systems
(2013)2013 Proceedings of the International Conference on Embedded Software (EMSOFT) : September 29 – October 4, 2013 Montreal Marriott Chateau Champlain Hotel Montreal, CanadaConference Paper