Author of the publication

Integrated Modeling Workflow for Security Assurance.

, , and . ISoLA (1), volume 9952 of Lecture Notes in Computer Science, page 926-941. (2016)

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

Model-Based Analysis of Wireless System Architectures for Real-Time Applications., , and . IEEE Trans. Mob. Comput., 12 (2): 219-232 (2013)A Real-Time Ubiquitous System for Assisted Living: Combined Scheduling of Sensing and Communication for Real-Time Tracking., , , , , and . IEEE Trans. Computers, 57 (6): 795-808 (2008)Resource allocation contracts for open analytic runtime models., , , and . EMSOFT, page 13-22. ACM, (2011)Behavioral complexity quantification (Becom-Q)., , and . WETSoM@ICSE, page 29-35. ACM, (2016)Handling mixed-criticality in SoC-based real-time embedded systems., , , , , and . EMSOFT, page 235-244. ACM, (2009)Rapid Early-Phase Virtual Integration., , , , , and . RTSS, page 33-44. IEEE Computer Society, (2009)Modeling towards incremental early analyzability of networked avionics systems using virtual integration., , , , , and . ACM Trans. Embed. Comput. Syst., 11 (4): 81:1-81:23 (2012)Guaranteeing the End-to-End Latency of an IMA System with an Increasing Workload., , , , and . IEEE Trans. Computers, 63 (6): 1460-1473 (2014)Time-Parameterized Sensing Task Model for Real-Time Tracking., , , and . RTSS, page 245-255. IEEE Computer Society, (2005)An Architecture-Centric Process for MILS Development., , , and . MILS@HiPEAC, Zenodo, (2016)