Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ

Wyszukujesz frazę ""Rioux, Laurent"" wg kryterium: Autor


Tytuł :
Time4Sys – Integrating Timing Verification in your Engineering Practices
Autorzy :
Fejoz , Loïc
Havet , Lionel
Didier , Aurélien
Viaud , Benoit
Bui Long , Anh-Toan
Nguyen , Thanh Dat
Ouhammou , Yassine
Grolleau , Emmanuel
Gogonel , Adriana
Maxim , Cristian
Cucu-Grosjean , Liliana
Henia , Rafik
Rioux , Laurent
Sordon , Nicolas
Ayache , Nicolas
Rehm , Joris
Pokaż więcej
Temat :
[ INFO.INFO-ES ] Computer Science [cs]/Embedded Systems
ComputingMilieux_MISCELLANEOUS
Źródło :
- 39th IEEE Real-Time Systems Symposium Workshop, Dec 2018, Nashville, United States. 2018, 〈http://2018.rtss.org/rtsswork/〉
- 39th IEEE Real-Time Systems Symposium Workshop
Tytuł :
Time4Sys – Integrating Timing Verification in your Engineering Practices
Autorzy :
Fejoz, Loïc
Havet, Lionel
Didier, Aurélien
Viaud, Benoit
Bui Long, Anh-Toan
Nguyen, Thanh Dat
Ouhammou, Yassine
Grolleau, Emmanuel
Gogonel, Adriana
Maxim, Cristian
Cucu-Grosjean, Liliana
Henia, Rafik
Rioux, Laurent
Sordon, Nicolas
Ayache, Nicolas
Rehm, Joris
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
- 39th IEEE Real-Time Systems Symposium Workshop
- 39th IEEE Real-Time Systems Symposium Workshop, Dec 2018, Nashville, United States. 2018
Tytuł :
Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems
Autorzy :
Hammadeh, Zain
Quinton, Sophie
Panunzio, Marco
Henia, Rafik
Rioux, Laurent
Ernst, Rolf
Pokaż więcej
Temat :
fixed priority
real-time
Computer Science
slack analysis
weakly-hard
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
000 Computer science, knowledge, general works
execution budget
Źródło :
ECRTS 2017 - 29th Euromicro Conference on Real-Time Systems, Jun 2017, Dubrovnik, Croatia. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2017.17⟩
ECRTS 2017 - 29th Euromicro Conference on Real-Time Systems
Tytuł :
Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA
Autorzy :
Henia, Rafik
Rioux, Laurent
Sordon, Nicolas
Hammadeh, Zain
Ernst, Rolf
Quinton, Sophie
Pokaż więcej
Temat :
scheduling analysis
model transformation
model-based design
weakly-hard real-time systems
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
RTAS 2017 - IEEE Real-Time and Embedded Technology and Applications Symposium
RTAS 2017 - IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2017, Pittsburgh, United States. pp.1-2
Tytuł :
Bounding Deadline Misses in Weakly-Hard Real-Time Systems with Task Dependencies
Autorzy :
Hammadeh, Zain A. H.
Ernst, Rolf
Quinton, Sophie
Henia, Rafik
Rioux, Laurent
Pokaż więcej
Temat :
[INFO]Computer Science [cs]
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Design, Automation & Test in Europe Conference & Exhibition (DATE 2017)
Design, Automation & Test in Europe Conference & Exhibition (DATE 2017), Mar 2017, Lausanne, Switzerland
Tytuł :
Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems
Autorzy :
Parquier, Baptiste
Rioux, Laurent
Henia, Rafik
Soulat, Romain
Roux, Olivier Henri
Lime, Didier
André, Étienne
Pokaż więcej
Temat :
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Źródło :
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016)
5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩
Tytuł :
Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems
Autorzy :
Parquier, Baptiste
Rioux, Laurent
Henia, Rafik
Soulat, Romain
Roux, Olivier Henri
Lime, Didier
André, Étienne
Pokaż więcej
Temat :
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Źródło :
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016)
5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩
Tytuł :
Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems
Autorzy :
Parquier, Baptiste
Rioux, Laurent
Henia, Rafik
Soulat, Romain
Roux, Olivier Henri
Lime, Didier
André, Étienne
Pokaż więcej
Temat :
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Źródło :
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016)
5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩
Tytuł :
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures
Autorzy :
Brunel, Julien
Chemouil, David
Rioux, Laurent
Bakkali, Mohamed
Vallée, Frédérique
Pokaż więcej
Temat :
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło :
11th Workshop on Model-Driven Engineering, Verification and Validation
11th Workshop on Model-Driven Engineering, Verification and Validation, Sep 2014, Spain. pp.39-48
Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014)
11th Workshop on Model-Driven Engineering, Verification and Validation, Sep 2014, Spain. 1235, pp.39-48, 2014
Tytuł :
Formal Safety and Security Assessment of an Avionic Architecture with Alloy
Autorzy :
Brunel, Julien
Rioux, Laurent
Paul, Stéphane
Faucogney, Anthony
Vallée, Frédérique
Pokaż więcej
Temat :
TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
Mathematics
Electronic computers. Computer science
Computer Science - Software Engineering
QA1-939
QA75.5-76.95
Źródło :
Electronic Proceedings in Theoretical Computer Science, Vol 150, Iss Proc. ESSS 2014, Pp 8-19 (2014)

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies