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
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
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
High-Level Petri Net Model Checking with AlPiNA Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Linard, Alban; Risoldi, Matteo; Buchs, Didier 2011
add to browser selection
AlPiNA: A Symbolic Model Checker Buchs, Didier; Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Risoldi, Matteo 2010
add to browser selection
Properties specification language for algebraic Petri nets Marechal Marin, Alexis Ayar; Buchs, Didier 2010
add to browser selection
AlPiNA: an Algebraic Petri Net Analyzer Buchs, Didier; Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Risoldi, Matteo 2010
add to browser selection
Developing Domain-Specific Modeling Languages by Metamodel Semantic Enrichment and Composition: a Case Study Pedro, Luis; Risoldi, Matteo; Buchs, Didier; Amaral, Vasco 2010
add to browser selection
Toward efficient state space generation of algebraic Petri nets Buchs, Didier; Hostettler, Steve Patrick 2010
add to browser selection
A language and a methodology for prototyping user interfaces for control systems Risoldi, Matteo; Amaral, Vasco; Barroca, Bruno; Bazargan, Kaveh; ... Zoss, Pierrick 2009
<< previous | 1 | 2 |