Show items per page
Elements: 36
Page 1 on 2
 TitleAuthors / EditorsDate
add to browser selection
Featherweight Swift: A Core Calculus for Swift's Type System Racordon, Dimitri; Buchs, Didier 2020
add to browser selection
An Annotation System for Specifying Aliasing Invariants on Object Fields. Proceedings of the 4th International Conference on the Art, Science and Engineering of Programming Coet, Aurélien 2020
add to browser selection
A Formalism to Model Higher-Order Function Morard, Damien 2020
add to browser selection
A Formal Definition of Swift's Value Semantics Racordon, Dimitri 2020
add to browser selection
Functional Block Programming and Debugging Racordon, Dimitri; emmastac, Emmanouela; Morard, Damien; Buchs, Didier 2020
add to browser selection
Owlc: a contextual two-dimensional web ontology language Aljalbout, Sahar; Buchs, Didier; Falquet, Gilles 2019
add to browser selection
A domain-specific language approach to hybrid cps modelling Klikovits, Stefan 2019
add to browser selection
Revisiting memory assignment semantics in imperative programming languages Racordon, Dimitri 2019
add to browser selection
Implementing a language with explicit assignment semantics Racordon, Dimitri; Buchs, Didier 2019
add to browser selection
Introducing Contextual Reasoning to the Semantic Web with OWLc Aljalbout, Sahar; Buchs, Didier; Falquet, Gilles 2019
add to browser selection
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development Klikovits, Stefan; Al-Ali, Rima; Amrani, Moussa; Barisic, Ankica; ... Vanherpen, Ken 2019
add to browser selection
A practical implementation of contextual reasoning on the semantic web Aljalbout, Sahar; Falquet, Gilles; Buchs, Didier 2018
add to browser selection
Semantic languages for developing correct language translations Barroca, Bruno; Amaral, Vasco; Buchs, Didier 2018
add to browser selection
A practical type system for safe aliasing Racordon, Dimitri; Buchs, Didier 2018
add to browser selection
CREST - A DSL for Reactive Cyber-Physical Systems Klikovits, Stefan; Linard, Alban; Buchs, Didier 2018
add to browser selection
ML4CREST: Machine Learning for CPS Models Klikovits, Stefan; Coet, Aurélien; Buchs, Didier 2018
add to browser selection
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning Buchs, Didier; Klikovits, Stefan; Linard, Alban; Mencattini, Romain; Racordon, Dimitri 2018
add to browser selection
Petri Sport: A Sport for Petri Netters Klikovits, Stefan; Linard, Alban; Racordon, Dimitri; Buchs, Didier 2018
add to browser selection
Symbolic model-checking with Set Rewriting Lopez Bobeda, Edmundo 2015
add to browser selection
Program understanding using ontologies and dynamic analysis Belmonte Torrejon, Javier 2014
<< previous | 1 | 2 |