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

List of contributors:

, In: Multi-Paradigm Modelling Approaches for Cyber-Physical Systems,
Al-Ali, Rima ; Amaral, Vasco ; Amrani, Moussa... - p. ix-xi , 2021
Link: https://doi.org/10.1016/..
 
?
2

Application and Theory of Petri Nets and Concurrency: 42nd .. 

Theoretical Computer Science and General Issues, 12734
Buchs, Didier ; Carmona, Josep - 1st ed. 2021 . , 2021
Link: https://doi.org/10.1007/..
 
?
3

CREST – a DSML for hybrid CPS modelling:

, In: Multi-Paradigm Modelling Approaches for Cyber-Physical Systems,
Klikovits, Stefan ; Buchs, Didier - p. 221-242 , 2021
Link: https://doi.org/10.1016/..
 
?
4

Petri Nets: A Formal Language to Specify and Verify Concurr..:

, In: Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems,
Buchs, Didier ; Klikovits, Stefan ; Linard, Alban - p. 177-208 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Solving Schedulability as a Search Space Problem with Decis..:

, In: Search-Based Software Engineering; Lecture Notes in Computer Science,
Racordon, Dimitri ; Coet, Aurélien ; Stachtiari, Emmanouela. - p. 73-87 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Pragmatic reuse for DSML development: Composing a DSL for h..:

Klikovits, Stefan ; Buchs, Didier
Software and Systems Modeling.  20 (2020)  3 - p. 837-866 , 2020
Link: https://doi.org/10.1007/..
 
?
7

LogicKit: bringing logic programming to swift:

, In: Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming,
Racordon, Dimitri ; Buchs, Didier - p. 13-16 , 2020
Link: https://dl.acm.org/doi/1..
 
?
8

Featherweight Swift: a Core calculus for Swift's type syste:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering,
Racordon, Dimitri ; Buchs, Didier - p. 140-154 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

Introducing Contextual Reasoning to the Semantic Web with O..:

, In: Graph-Based Representation and Reasoning; Lecture Notes in Computer Science,
Aljalbout, Sahar ; Buchs, Didier ; Falquet, Gilles - p. 13-26 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Implementing a language with explicit assignment semantics:

, In: Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages,
Racordon, Dimitri ; Buchs, Didier - p. 12-21 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

A practical type system for safe aliasing:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering,
Racordon, Dimitri ; Buchs, Didier - p. 133-146 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

CREST - A DSL for Reactive Cyber-Physical Systems:

, In: System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering; Lecture Notes in Computer Science,
Klikovits, Stefan ; Linard, Alban ; Buchs, Didier - p. 29-45 , 2018
Link: https://doi.org/10.1007/..
 
?
13

Ardoises: Collaborative & Interactive Editing Using Layered..:

, In: 2017 17th International Conference on Application of Concurrency to System Design (ACSD),
Linard, Alban ; Buchs, Didier - p. 136-145 , 2017
Link: https://doi.org/10.1109/..
 
?
14

Semantic languages for developing correct language translat..:

Barroca, Bruno ; Amaral, Vasco ; Buchs, Didier
Software Quality Journal.  26 (2017)  2 - p. 417-453 , 2017
Link: https://doi.org/10.1007/..
 
?
15

TREXMO: A Translation Tool to Support the Use of Regulatory..:

Savic, Nenad ; Racordon, Dimitri ; Buchs, Didier..
Annals of Occupational Hygiene.  60 (2016)  8 - p. 991-1008 , 2016
Link: https://doi.org/10.1093/..
 
1-15