E-LIB Suche - Ergebnisse für: Blouin, Dominique

1

A Model-based Approach for Assessing the Security of Cyber-..:

, In: Proceedings of the 19th International Conference on Availability, Reliability and Security,

Teixeira De Castro, Hugo ; Hussain, Ahmed ; Blanc, Gregory... - p. 1-10 , 2024

Link: https://dl.acm.org/doi/1..

2

An Introduction to ALISA and Its Usage for an Industrial Ra..:

Blouin, Dominique ; Crisafulli, Paolo ; Maxim, Cristian.
ACM SIGAda Ada Letters. 43 (2023) 1 - p. 69-72 , 2023

Link: https://doi.org/10.1145/..

3

Towards an Ontological Framework for Validity Frames:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Mittal, Rakshit ; Eslampanah, Raheleh ; Lima, Lucas.. - p. 801-805 , 2023

Link: https://doi.org/10.1109/..

4

ADEPT 2022 workshop: a summary of strengths and weaknesses ..:

Singhoff, Frank ; Hugues, Jerome ; Nam Tran, Hai...
ACM SIGAda Ada Letters. 43 (2023) 1 - p. 37-41 , 2023

Link: https://doi.org/10.1145/..

5

5th International Workshop on Multi-Paradigm Modeling for C..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Paredis, Randy ; Amrani, Moussa ; Exelmans, Joeri... - p. 484-485 , 2023

Link: https://doi.org/10.1109/..

6

Towards a Development Process for Multi-CPU Distributed Syn..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Lubat, Eric ; Jenn, Eric ; Blouin, Dominique. - p. 549-558 , 2023

Link: https://doi.org/10.1109/..

7

Solving the instance model-view update problem in AADL:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Mittal, Rakshit ; Blouin, Dominique ; Bhobe, Anish. - p. 55-65 , 2022

Link: https://dl.acm.org/doi/1..

8

Multi-paradigm modeling for cyber–physical systems: A syste..:

Barišić, Ankica ; Ruchkin, Ivan ; Savić, Dušan...
Journal of Systems and Software. 183 (2022) - p. 111081 , 2022

Link: https://doi.org/10.1016/..

9

OSATE-DIM solves the instance model-view update problem in ..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Mittal, Rakshit ; Blouin, Dominique - p. 1-6 , 2022

Link: https://dl.acm.org/doi/1..

10

Multi-paradigm modeling for early analysis of ROS-based rob..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Senn, Eric ; Bourdon, Lucie W. J. ; Blouin, Dominique - p. 677-683 , 2022

Link: https://dl.acm.org/doi/1..

11

A benchmark of incremental model transformation tools based..:

Mkaouar, Hana ; Blouin, Dominique ; Borde, Etienne
Software and Systems Modeling. 22 (2022) 1 - p. 175-201 , 2022

Link: https://doi.org/10.1007/..

12

An integrated ontology for multi-paradigm modelling for cyb..:

, In: Multi-Paradigm Modelling Approaches for Cyber-Physical Systems,

Blouin, Dominique ; Al-Ali, Rima ; Giese, Holger... - p. 123-145 , 2021

Link: https://doi.org/10.1016/..

13

Preface to the 3rd Multi-Paradigm Modeling for Cyber-Physic..:

, In: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Amrani, Moussa ; Blouin, Dominique ; Challenger, Moharram... - p. 284-285 , 2021

Link: https://doi.org/10.1109/..

14

PNPEq: Verification of Scheduled Conditional Behavior in Em..:

, In: 2021 28th Asia-Pacific Software Engineering Conference (APSEC),

Mittal, Rakshit ; Blouin, Dominique ; Bandyopadhyay, Soumyadip - p. 509-514 , 2021

Link: https://doi.org/10.1109/..

15

Multi-paradigm modelling for cyber–physical systems: a desc..:

Amrani, Moussa ; Blouin, Dominique ; Heinrich, Robert...
Software and Systems Modeling. 20 (2021) 3 - p. 611-639 , 2021

Link: https://doi.org/10.1007/..