juli1pb.wordpress.com
Publications – juli1 diary
https://juli1pb.wordpress.com/publications
Steel city road runners. Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d’intergiciels critiques. PhD Thesis (PDF Version). Evaluating and Mitigating the Impact of Complexity in Software Models. 8211; SEI Technical Report – December 2015. Improving Quality Using Architecture Fault Analysis with Confidence Arguments. 8211; SEI Technical Report – March 2015. AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment. 8211; on the SEI blog. On the SEI blog. DF-RE...
margull.de
Dr. Ulrich Margull _ IT - CONSULTING _ FLATCAST Streaming Portal für WebCasts
http://www.margull.de/Publikationen/index.html
Veröffentlichungen und Vorträge. Im Rahmen meiner Tätigkeit für verschiedene Firmen sind die folgenden Vorträge und Veröffentlichungen entstanden. Deterministic Execution Sequence in Component. Based Multi-Contributor Powertrain Control Systems. Denis Claraz, Stefan Kuntz, Ulrich Margull, Michael Niemetz, Gerhard Wirrer,. ERTS² 2012, Toulouse. Modeling and Simulation of Embedded Real-Time Multicore Systems,. Partly Proportionate Fair Multiprocessor Scheduling. Of Heterogeneous Task Systems,. Ulrich Margu...
lfm.iti.kit.edu
Veröffentlichungen
http://lfm.iti.kit.edu/publications.php
Logik und Formale Methoden. Studien- und Diplomarbeiten, Hiwi-Stellen. So finden Sie uns. Improved On-The-Fly Livelock Detection: Combining Partial Order Reduction and Parallelism for DFS-FIFO. Alfons Laarman, David Faragó. Proceedings of the 5th NASA Formal Methods Symposium (NFM 2013), NASA Ames Research Center, CA, USA, May 14-16, 2013. LNCS, Springer, 2013. A Proof Assistant for Alloy Specifications. Ulrich Geilmann, Aboubakr Achraf El Ghazi. A Dual-Engine for Early Analysis of Critical Systems.
voelter.de
voelter - ingenieurbüro für softwaretechnologie
http://www.voelter.de/publications
31082015 Computer Languages, Systems and Structures. S Erdweg, T. van der Storma, M. Vo lter, L. Tratt et al. Evaluating and Comparing Language Workbenches - Existing Results and Benchmarks for the Future. M Voelter, B. Kolb, J. Warmer. Projecting a Modular Future. 01122013 Journal of Automated Software Engineering PDF. M Voelter, Daniel Ratiu, Bernd Kolb, Bernhard Schaetz. Mbeddr - Instantiating a Language Workbench in the Embedded Software Domain. I Groher, M. Voelter. Uwe Zdun, Michael Kircher, M....
margull.com
Dr. Ulrich Margull _ IT - CONSULTING _ FLATCAST Streaming Portal für WebCasts
http://www.margull.com/Publikationen/index.html
Veröffentlichungen und Vorträge. Im Rahmen meiner Tätigkeit für verschiedene Firmen sind die folgenden Vorträge und Veröffentlichungen entstanden. Deterministic Execution Sequence in Component. Based Multi-Contributor Powertrain Control Systems. Denis Claraz, Stefan Kuntz, Ulrich Margull, Michael Niemetz, Gerhard Wirrer,. ERTS² 2012, Toulouse. Modeling and Simulation of Embedded Real-Time Multicore Systems,. Partly Proportionate Fair Multiprocessor Scheduling. Of Heterogeneous Task Systems,. Ulrich Margu...