Author of the publication

SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.

, , , , and . DATE, page 358-363. IEEE Computer Society, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Optimizing the implementation of real-time Simulink models onto distributed automotive architectures., , , , and . Journal of Systems Architecture - Embedded Systems Design, 59 (10-D): 1115-1127 (2013)Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-Chip., , and . RTSS, page 73-83. IEEE Computer Society, (2001)A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform., , , , , and . IEEE Real Time Technology and Applications Symposium, page 189-. IEEE Computer Society, (2003)Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures., , , , and . DATE, page 504-509. EDA Consortium, San Jose, CA, USA, (2007)Simulation-Driven Optimization of Real-Time Control Tasks., , , , and . HPCC/CSS/ICESS, page 991-1000. IEEE, (2015)Optimizations of an application-level protocol for enhanced dependability in FlexRay., , , , , and . DATE, page 1076-1081. IEEE, (2009)Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines., and . ECRTS, page 353-362. IEEE Computer Society, (2012)Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods., and . ECRTS, page 279-290. IEEE Computer Society, (2010)The MORIS Control System., , , and . RTS, page 77-82. IEEE Computer Society, (1996)Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores., , , , and . SoCC, page 109-110. IEEE, (2005)