Formal Safety and Security Assessment of an Avionic Architecture with Alloy von Brunel, Julien, Rioux, Laurent, Paul, Stéphane, Faucogney, Anthony, Vallée, Frédérique

Volltext

Mega-modeling of complex, distributed, heterogeneous CPS systems von Villar, Eugenio, Merino, Javier, Posadas, Hector, Henia, Rafik, Rioux, Laurent

Volltext

1st International Workshop on the Integration of Safety and Security Engineering (ISSE ’14) von Rioux, Laurent, Favaro, John

Volltext

TEMPO: performance viewpoint for component-based design of real-time systems von Henia, Rafik, Rioux, Laurent, Sordon, Nicolas

Volltext

Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design? von Henia, R., Machrouh, J., Rioux, L.

Volltext bestellen

Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System von Henia, R., Rioux, L., Sordon, N., Vergnaud, T.

Volltext bestellen

Finding a Path to Model Consistency von de Fombelle, Gregory, Blanc, Xavier, Rioux, Laurent, Gervais, Marie-Pierre

Volltext

METHOD FOR EVALUATING A MAXIMUM RESPONSE TIME OF A TASK TO BE ANALYSED von HENIA, Rafik, SORDON, Nicolas, RIOUX, Laurent

Volltext bestellen

BACQ -- Application-oriented Benchmarks for Quantum Computing von Barbaresco, Frédéric, Rioux, Laurent, Labreuche, Christophe, Nowak, Michel, Olivier, Noé, Nicolazic, Damien, Hess, Olivier, Guilmin, Anne-Lise, Wang, Robert, Sassolas, Tanguy, Louise, Stéphane, Snizhko, Kyrylo, Misguich, Grégoire, Auffèves, Alexia, Whitney, Robert, Vergnaud, Emmanuelle, Schopfer, Félicien

Volltext bestellen

First International Workshop on Model Based Engineering for Robotics (RoSym’10) von Rioux, Laurent, Brugali, Davide, Gérard, Sébastien

Volltext

An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy von Rivas, Juan M., Gutiérrez, J. Javier, Aldea, Mario, Cuevas, César, González Harbour, Michael, Drake, José María, Medina, Julio L., Rioux, Laurent, Henia, Rafik, Sordon, Nicolas

Volltext

BACQ -- Application-oriented Benchmarks for Quantum Computing von Barbaresco, Frédéric, Rioux, Laurent, Labreuche, Christophe, Nowak, Michel, Olivier, Noé, Nicolazic, Damien, Hess, Olivier, Anne-Lise Guilmin, Wang, Robert, Sassolas, Tanguy, Stéphane, Louise, Snizhko, Kyrylo, Misguich, Grégoire, Auffèves, Alexia, Whitney, Robert, Vergnaud, Emmanuelle, Schopfer, Félicien

Volltext

PROCEDE D'EVALUATION D'UN TEMPS D'EXECUTION DE TACHES SUR DES BLOCS MATERIELS von RIOUX, LAURENT, HENIA, RAFIK, SORDON, NICOLAS

Volltext bestellen

Formal Safety and Security Assessment of an Avionic Architecture with Alloy von Brunel, Julien, Rioux, Laurent, Paul, Stéphane, Faucogney, Anthony, Vallée, Frédérique

Volltext

PROCEDE D'EVALUATION D'UN TEMPS MAXIMAL DE REPONSE D'UNE TACHE A ANALYSER von HENIA, Rafik, SORDON, Nicolas, RIOUX, Laurent

Volltext bestellen

METHOD FOR EVALUATING A MAXIMUM RESPONSE TIME OF A TASK TO BE ANALYSED von HENIA, Rafik, SORDON, Nicolas, RIOUX, Laurent

Volltext bestellen

PROCEDE D'EVALUATION D'UN TEMPS MAXIMAL DE REPONSE D'UNE TACHE A ANALYSER von HENIA, Rafik, SORDON, Nicolas, RIOUX, Laurent

Volltext bestellen

First international workshop on model based engineering for robotics (RoSym'10) von Rioux, Laurent, Brugali, Davide, Gérard, Sébastien

Volltext

PROCEDE D'EVALUATION D'UN TEMPS D'EXECUTION DE TACHES SUR DES BLOCS MATERIELS von RIOUX, LAURENT, HENIA, RAFIK, SORDON, NICOLAS

Volltext bestellen

Method of automatic production of specifications von JACOLOT CHRISTIAN, RIOUX LAURENT

Volltext bestellen