elvior.com
Consortiums | Elvior
http://www.elvior.com/consortium/consortiums
Elvior participates or has been participated in several European consortium projects for research and development. Future Internet Social and Technological Alignment Research project. FI-STAR will establish early trials in the Health Care domain building on Future Internet (FI) technology. FI-STAR will execute seven trials across Europe and serve more than four million people. Eurescom-European Institute for Research and Strategic Studies in Telecommunications GmbH. John Paul II Hospital, Krakow, CUP 2000.
holides.eu
Related Projects | HoliDes
http://www.holides.eu/related-projects
Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems. CP-SETIS Project (Towards Cyber-Physical Systems engineering tools interoperability standardization). DEMANES Project Project (Design, monitoring and operation of Adaptive Networked embedded Systems). Http:/ www.demanes.eu/. Http:/ www.demanes.eu/. Http:/ www.deserve-project.eu/. Http:/ www.mbat-artemis.eu/. ARTEMIS project MBAT will provide European industry with a new leading-edge V&V technology in form of a Ref...
swt.informatik.uni-freiburg.de
Andreas Dereani — Software Engineering
http://swt.informatik.uni-freiburg.de/staff/dereani
Only in current section. Student Projects and Thesis Topics. Softwaretechnik / Software Engineering (Lecture). Cyber-Physical Systems - Hybrid Models (Lecture). Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE). Automata Theory (Seminar, Proseminar). Program Analysis and Software Testing (Seminar). Software Design, Modelling, and Analysis in UML (Lecture). Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE). Automata Theory (Seminar, Proseminar). Automata Theory (Seminar, Proseminar).
aichernig.blogspot.com
Bernhard K. Aichernig: My Projects
http://aichernig.blogspot.com/p/my-projects.html
Bernhard K. Aichernig. Edited Books and Journals. Dependable Internet of Things in Adverse Environments, First TU Graz LEAD Project, 2016-2019. Trust via cost function driven model based test case generation for non-functional properties of systems of systems, FFG IKT der Zukunft, 2014-2017. Critical System Engineering Acceleration. EU ARTEMIS Joint Undertaking Project, 2013-2016. Combined Model-based Analysis and Testing of Embedded Systems. EU ARTEMIS Joint Undertaking Project, 2011-2014.
ejoebstl.wordpress.com
Links | Elisabeth Jöbstl
https://ejoebstl.wordpress.com/links
IST – Institute for Software Technology. Graz University of Technology. Bernhard K. Aichernig. Leave a Reply Cancel reply. Enter your comment here. Fill in your details below or click an icon to log in:. Address never made public). You are commenting using your WordPress.com account. ( Log Out. You are commenting using your Twitter account. ( Log Out. You are commenting using your Facebook account. ( Log Out. You are commenting using your Google account. ( Log Out. Notify me of new comments via email.
crystal-artemis.eu
Crystal -Dissemination
http://www.crystal-artemis.eu/dissemination.html
Process, methods and tools manager perspective. Development management at industrial company perspective. Related ARTEMIS RTP projects perspective. 3rd European Conference on Interoperability. Project poster ARTEMIS Co-Summit 2015. Project poster ARTEMIS Spring Event. AUTOSAR/Simulink Interoperability Simulation: See how OSLC can enhance your AUTOSAR work flow by including links to design artefacts such as requirements and behavioral models. watch the. VISUALIZATION OF THE IOS MAPPING.
crystal-artemis.eu
Crystal -Events
http://www.crystal-artemis.eu/events.html
Process, methods and tools manager perspective. Development management at industrial company perspective. Related ARTEMIS RTP projects perspective. 3rd European Conference on Interoperability. Publications (conference and journal). Presentations at events the organization participates to. 3rd European Conference on Interoperability. 2nd European Conference on Interoperability. List of dissemination activities. Cooperation with other projects. A particular activity for fostering this cooperation was CRYST...
transformers-project.eu
TRANSFORMERS - Links
http://www.transformers-project.eu/mainmenu/links
This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement no 605170. The European Green Cars Initiative. The NoWaste Project aims to develop this system and demonstrate its feasibility with a test ring. And a vehicle demonstrator. What will be used in TRANSFORMERS:. Definition of a reference mission. The objective of CONVENIENT is to achieve complete vehicle energy management by proposing highly ...
compilers.cs.uni-saarland.de
Klaas Boesche - Compiler Design Lab, Saarland University
http://compilers.cs.uni-saarland.de/people/boesche
Unix for Unix/Linux Beginners (in German). Programming languages and Type Systems. Combining static analyses and SMT solving. Synthesis and Verification in compilers. 2012-12 to 2014-10 Mode Analysis within MBAT. Proseminar: Das Erfüllbarkeitsproblem SAT. Reading Group: Recent Advances in Programming Languages and Compilers. Shallow Embedding of DSLs via Online Partial Evaluation - GPCE 2015. Leißa, R., Boesche, K., Hack, S., Membarth, R. and Slusallek, P. Typestate Inference with Preconditions. BSc Thes...
di.ens.fr
J. Feret
http://www.di.ens.fr/~feret
Static analysis of mobile systems. Static analysis of biological systems. Static analysis of critical embedded software. How does ASTRÉE deals with digital filters? Réduction de modèles de voies de signalisation intracellulaire. Réduction de modèles de voies de signalisation intracellulaire. An overview of the ASTRÉE/ASTRÉEA static analyzer. East China Normal University. Jérôme FERET. Research fellow at INRIA. DI - École Normale Supérieure. 45, rue d'Ulm. 75 230 Paris Cedex 05 - - France. Eighth Internat...