Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Matthias Brun"'
Autor:
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Publikováno v:
Proceedings of the ACM on Programming Languages, 7 (OOPSLA1)
The Rust programming language provides a powerful type system that checks linearity and borrowing, allowing code to safely manipulate memory without garbage collection and making Rust ideal for developing low-level, high-assurance systems. For such s
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
Publikováno v:
Journal of Market Access & Health Policy, Vol 12, Iss 1, Pp 5-20 (2024)
The aim of this study was to evaluate the comparative clinical effectiveness and cost-utility of the active transcutaneous Osia® System versus the passive transcutaneous Baha® Attract System for patients with conductive or mixed hearing loss or sin
Externí odkaz:
https://doaj.org/article/a5628e3036e4427a8fd3d2f4394d78b5
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:
IEEE Design & Test
IEEE Design & Test, IEEE, 2018, ⟨10.1109/MDAT.2018.2791801⟩
IEEE Design & Test, IEEE, 2018, ⟨10.1109/MDAT.2018.2791801⟩
International audience; —When testing a time-critical system, some scenarios can be hard to run when acting only on the input sequence. The proper execution of a given scenario might require for instance a minimal execution time for a given piece o
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:
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
MoDELS
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
MoDELS
International audience; The increasing complexity of embedded systems renders verification of software programs more complex and may require applying monitoring and formal techniques, like model-checking. However, to use such techniques, system engin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b5c4cc07da8dcd61572ccf4c450f60c
https://hal.archives-ouvertes.fr/hal-02433749/document
https://hal.archives-ouvertes.fr/hal-02433749/document