Zobrazeno 1 - 10
of 79
pro vyhledávání: '"Frédéric Jouault"'
Publikováno v:
22nd IEEE International Conference on Software Quality, Reliability and Security (QRS)
22nd IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2022, Guangzhou, China. ⟨10.1109/QRS-C57518.2022.00020⟩
22nd IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2022, Guangzhou, China. ⟨10.1109/QRS-C57518.2022.00020⟩
Nowadays, System-on-Chip (SoC) components are found everywhere in all kinds of smart devices. Each System-on-Chip contains many different blocks that provide specific functionalities, such as WiFi or Bluetooth connectivity. Whereas integrating each s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::086caff171bd096411e6d171c64d8206
https://doi.org/10.36227/techrxiv.21135706
https://doi.org/10.36227/techrxiv.21135706
Publikováno v:
Software and Systems Modeling. 20:1633-1652
Model transformation is an effective technique to produce target models from source models. Most transformation approaches focus on generating a single target model from a given source model. However, there are situations where a collection of possib
Autor:
Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
Publikováno v:
Proceedings-ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.889-893, ⟨10.1145/3550356.3561562⟩
21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.889-893, ⟨10.1145/3550356.3561562⟩
International audience; Giving accurate and relevant static analysis feedback to modeling tool users significantly helps them design useful models. This feedback is even more valuable when it comes with completion proposals, called quick fixes, which
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::542201a440afb9282761acd92d90a660
https://hal.archives-ouvertes.fr/hal-03780420
https://hal.archives-ouvertes.fr/hal-03780420
Unified verification and monitoring of executable UML specifications. A transformation-free approach
Publikováno v:
Software and Systems Modeling
Software and Systems Modeling, Springer Verlag, 2021, ⟨10.1007/s10270-021-00923-9⟩
Software and Systems Modeling, Springer Verlag, 2021, ⟨10.1007/s10270-021-00923-9⟩
The increasing complexity of embedded systems renders software verification more complex, requiring monitoring and formal techniques, like model-checking. However, to use such techniques, system engineers usually need formal expertise to express the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::32025546d4a5c9547a712babfbd4505f
https://hal.archives-ouvertes.fr/hal-03463358
https://hal.archives-ouvertes.fr/hal-03463358
Autor:
Frédéric Jouault, Philippe Dhaussy, Valentin Besnard, Matthias Brun, Ciprian Teodorov, Jérôme Delatour
Publikováno v:
MoDeVVa
MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
MODELS Companion
MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
MODELS Companion
To design embedded systems, multiple models of their environments are typically required for different purposes such as simulation, verification, and actual execution. Some of these models abstract the actual physical environment to facilitate Verifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::634c868de14a6b400cd6bdbd239e0d8e
https://hal.archives-ouvertes.fr/hal-02929122
https://hal.archives-ouvertes.fr/hal-02929122
Publikováno v:
MODELS Companion
SecureMDE 2020
SecureMDE 2020, Nov 2020, Virtual Event, Canada
SecureMDE 2020
SecureMDE 2020, Nov 2020, Virtual Event, Canada
Embedded systems are more and more connected to a variety of networks, which increases their attack surface. At the same time, more and more objects are augmented with embedded systems, which increases the potential impact of attacks. Cybersecurity m
Autor:
Ciprian Teodorov, Théo Le Calvar, Jérôme Delatour, Matthias Brun, Frédéric Jouault, Valentin Besnard
Publikováno v:
MoDELS
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020)
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020)
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
International audience; Models have been shown to be useful during virtually all stages of the software lifecycle. They can be reverse engineered from existing artifacts, or created as part of a system’s execution, but in many cases models are crea
Publikováno v:
3rd Workshop on Model-Driven Engineering Tools
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
MODELS Companion
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
MODELS Companion
International audience; This paper presents a UML implementation of the MDETools’19 challenge problem with EMI (our Embedded/Experimental Model Interpreter). EMI is a model interpreter that can be used to execute, simulate, and formally verify UML
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d02fb7bd6356dc6d7c47165d8042f130
https://hal.archives-ouvertes.fr/hal-02375996
https://hal.archives-ouvertes.fr/hal-02375996
Publikováno v:
MODELS Companion
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.395-402, ⟨10.1109/MODELS-C.2019.00061⟩
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.395-402, ⟨10.1109/MODELS-C.2019.00061⟩
International audience; Models of real-world systems can be extremely complex. In order to make such models amenable to engineering processes, multiple simpler views are typically defined that each cover a subset of the source model aspects. In such
Publikováno v:
34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19)
34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19), Apr 2019, Limassol, Cyprus
SAC
34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19), Apr 2019, Limassol, Cyprus
SAC
International audience; Model transformation has proven to be an effective technique to produce target models from source models. Most transformationapproaches focus on generating a single target model from a given source model. However there exists
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::451aa5b3e3e44112f27600ace1d0b980
https://hal.science/hal-01948080
https://hal.science/hal-01948080