Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Ciprian Teodorov"'
Publikováno v:
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE).
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:
2021 IEEE International Workshop on Rapid System Prototyping (RSP).
Publikováno v:
FPL
The mapping of software verification algorithms on FPGA promise orders of magnitude faster verification. FP-GASwarm shows 900X speedup over software swarm verification. However, this approach misses important optimization opportunities and glosses ov
Publikováno v:
7th International Conference on Information Systems Security and Privacy, ICISSP 2021
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne-Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
ICISSP
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne-Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
ICISSP
International audience; With the increasing number of cyber-attacks on cyber-physical systems, many security precautions and solutions have been suggested. However, most of these solutions aim to prevent the access of an adversary to the system. Thou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::678961a22815e09f0047a02076d2acb8
https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03188864
https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03188864
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
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:
MODELS Companion
The Advanced Persistent Threats (APT) are sophisticated and well-resourced attacks targeting valuable assets. For APTs both the attack and the defense require advanced planning and strategies similar to military operations. The existing cyber-securit
Autor:
Bassirou Diène, Joel J. P. C. Rodrigues, EL Hadji Malick Ndoye, Ousmane Diallo, Ciprian Teodorov
Publikováno v:
2020 5th International Conference on Smart and Sustainable Technologies (SpliTech).
The current traditional database management mechanisms and analytics architectures are not generally suitable for addressing the intrinsic characteristics of diversity, heterogeneity, large-scale, dynamic and large amount of data generated by the Int