A formal approach to AADL model-based software engineering von Mkaouar, Hana, Zalila, Bechir, Hugues, Jérôme, Jmaiel, Mohamed

Volltext

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems von Brau, Guillaume, Hugues, Jérôme, Navet, Nicolas

Volltext

Trade-off analysis for SysML models using decision points and CSPs von Leserf, Patrick, de Saqui-Sannes, Pierre, Hugues, Jérôme

Volltext

Special issue on Reliable Software Technologies (AEiC2022) von Hugues, Jerome

Volltext

Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems von Hugues, Jérôme, Sokolsky, Oleg

Volltext

A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014 von Hugues, Jerome

Volltext

A MDE-Based Optimisation Process for Real-Time Systems von Gilles, Olivier, Hugues, Jérôme

Volltext

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists von Creuse, Léo, Dross, Claire, Garion, Christophe, Hugues, Jérôme, Huguet, Joffrey

Volltext

Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language von Hugues, Jerome, Procter, Sam

Volltext

ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem von Singhoff, Frank, Hugues, Jerome, Nam Tran, Hai, Bardaro, Gianluca, Blouin, Dominique, Bozzano, Marco, Denzler, Patrick, Dissaux, Pierre, Senn, Eric, Xu, Xiong, Yang, Zhibin

Volltext

Mechanization of the Ravenscar Profile in Coq von Hugues, J.

Volltext

PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications von Vergnaud, Thomas, Hugues, Jérôme, Pautet, Laurent, Kordon, Fabrice

Volltext

From the prototype to the final embedded system using the Ocarina AADL tool suite von Hugues, Jerome, Zalila, Bechir, Pautet, Laurent, Kordon, Fabrice

Volltext

Message from the Program Chair

Volltext

On the effect of clock offsets and quantization on learning-based adversarial games von Fotiadis, Filippos, Kanellopoulos, Aris, Vamvoudakis, Kyriakos G., Hugues, Jerome

Volltext

Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models von Hugues, Jérôme, Garion, Christophe

Volltext

SPARK by Example: an introduction to formal verification through the standard C++ library von Creuse, Léo, Huguet, Joffrey, Garion, Christophe, Hugues, Jérôme

Volltext

Editorial to the Special Issue of Rapid System Prototyping'10 von Kent, Kenneth B., Hugues, Jérôme

Volltext

ADEPT 2023 Workshop Summary von Tran, Hai Nam, Singhoff, Frank, Hugues, Jérôme, Dissaux, Pierre, Lewis, Bruce, Shackleton, Hazel, Kiniry, Joseph, Zeyda, Frank, Mittal, Rakshit, Blouin, Dominique, Bhobe, Anish, Pautet, Laurent, Bae, Kyungmin, Ölveczky, Peter Csaba, Larson, Brian R, Ahmad, Ehsan, Kosmidis, Leonidas, Valente, Hugo, A de Miguel, Miguel, Pérez, Ángel G, Alonso, Alejandro, Zamorano, Juan, A de la Puente, Juan

Volltext

From AADL Architectural Models to Petri Nets: Checking Model Viability von Renault, X., Kordon, F., Hugues, J.

Volltext