Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Idani, Akram
42  Ergebnisse:
Personensuche X
?
1

Transpilation of Petri-nets into B: Shallow and Deep Embedd..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Idani, Akram - p. 80-98 , 2024
Link: https://doi.org/10.1007/..
 
?
2

A Process-Centric Approach to Insider Threats Identificatio..:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,
Idani, Akram ; Ledru, Yves ; Vega, German - p. 231-247 , 2024
Link: https://doi.org/10.1007/..
 
?
3

On Executing State-Based Specifications and Partial Order R..:

Körner, Philipp , 2023
Link: https://nbn-resolving.de..
 
?
4

A Formal MDE Framework for Inter-DSL Collaboration:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Chehida, Salim ; Idani, Akram ; Cortes-Cornax, Mario. - p. 232-249 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Revisiting Ontology Evolution Patterns: A Formal xDSL Appro..:

, In: Advances in Model and Data Engineering in the Digitalization Era; Communications in Computer and Information Science,
Idani, Akram ; Djedidi, Rim ; Vega, German - p. 165-178 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Visual animation of B specifications using executable DSLs:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Yar, Asfand ; Idani, Akram ; Ledru, Yves. - p. 617-626 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

The B Method Meets MDE: Review, Progress and Future:

, In: Research Challenges in Information Science; Lecture Notes in Business Information Processing,
Idani, Akram - p. 495-512 , 2022
Link: https://doi.org/10.1007/..
 
?
8

A Lightweight Development of Outbreak Prevention Strategies..:

, In: 2021 2nd European Symposium on Software Engineering,
Idani, Akram - p. 85-93 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Formal model-driven executable DSLs: Application to Petri-n..:

Idani, Akram
Innovations in Systems and Software Engineering.  18 (2021)  4 - p. 543-566 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Alliance of model-driven engineering with a proof-based for..:

Idani, Akram ; Ledru, Yves ; Vega, German
Innovations in Systems and Software Engineering.  16 (2020)  3-4 - p. 289-307 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Merging Railway Standard Notations in a Formal DSL-Based Fr..:

, In: Communications in Computer and Information Science; Software Architecture,
Yar, Asfand ; Idani, Akram ; Collart-Dutilleul, Simon - p. 411-419 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Towards a model driven formal approach for merging data, ac..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Idani, Akram ; Cortes-Cornax, Mario - p. 1-5 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Meeduse: A Tool to Build and Run Proved DSLs:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Idani, Akram - p. 349-367 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Dependability of Model-Driven Executable DSLs: Critical Rev..:

, In: Communications in Computer and Information Science; Software Architecture,
Idani, Akram - p. 358-373 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Towards a Tool-Based Domain Specific Approach for Railway S..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,
Idani, Akram ; Ledru, Yves ; Ait Wakrime, Abderrahim.. - p. 23-40 , 2019
Link: https://doi.org/10.1007/..
 
1-15