Show items per page
Elements: 24
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
Semantic languages for developing correct language translations Barroca, Bruno; Amaral, Vasco; 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
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
AlPiNA: A Symbolic Model Checker Buchs, Didier; Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Risoldi, Matteo 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
Properties specification language for algebraic Petri nets Marechal Marin, Alexis Ayar; Buchs, Didier 2010
add to browser selection
Sigma Decision Diagrams Buchs, Didier; Hostettler, Steve Patrick 2009
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
add to browser selection
Composing visual syntax for domain specific languages Pedro, Luis; Risoldi, Matteo; Buchs, Didier; Barroca, Bruno; Amaral, Vasco 2009
add to browser selection
A methodology for control systems GUI prototyping - a case study Risoldi, Matteo; Buchs, Didier; Masetti, Lorenzo; Amaral, Vasco; Barroca, Bruno 2008
add to browser selection
A domain specific language and methodology for control systems GUI specification, verification and prototyping Risoldi, Matteo; Buchs, Didier 2007
add to browser selection
Modeling Distributed Systems using Concurrent Object Oriented Petri Nets Chen, Ang; Buchs, Didier; Lucio, Levi; Pedro, Luis; Risoldi, Matteo 2006
add to browser selection
BATIC3S Project : Document collection 2005-2006 Malandain, Stéphane; Zoss, Pierrick; Buchs, Didier; Falquet, Gilles; ... Gomez-Reino Garrido, Robert 2006
add to browser selection
Interfacing Software Libraries from Nondeterministic Prototypes Chachkov, Stanislav; Buchs, Didier 2003
add to browser selection
Real-Time Synchronised Petri Nets Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas 2002
add to browser selection
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller Chachkov, Stanislav; Buchs, Didier 2001
add to browser selection
Adding Real-Time Constraints to Synchronised Petri Nets Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas 2000
add to browser selection
Rapid prototyping of formally modelled distributed systems Buchs, Didier; Buffo, Mathieu 1999
add to browser selection
COALA - A Formal Language for Coordinated Atomic Actions Di Marzo Serugendo, Giovanna; Vachon, Julie; Buchs, Didier; Buffo, Mathieu; ... Xu, Jie 1998
add to browser selection
Testing prototypes validity to enhance code reuse Buchs, Didier; Diagne, Alioune; Kordon, Fabrice 1998
add to browser selection
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools Di Marzo Serugendo, Giovanna; Biberstein, Olivier; Buchs, Didier; Buffo, Mathieu; ... Racloz, Pascal 1995
add to browser selection
ACCESS - Algebraic Concurrent Events for System Specification Di Marzo Serugendo, Giovanna; Buchs, Didier 1994
add to browser selection
A semantic description of actor languages using CO-OPN Buchs, Didier; Guelfi, Nicolas 1992