Archive ouverte UNIGE
Français
Search
including full text
incl. restricted access masters
Advanced search
Browse by...
Personal names
Academic structures
(0)
Your selection
Latest additions
Deposit
Submit a document
Update a submission
Highlights
Generate a bibliography
Create an alert
My publisher's policy
Doctoral thesis
Restricted access masters
More informations
Manuals
Open Access & Copyright
UNIGE policies
Relaunch of the Archive
Contacts
Home
Authors
Risoldi, Matteo
Risoldi, Matteo
Documents
Publications statistics
Export bibliography
Show
10
20
50
100
items per page
Elements: 19
Page 1 on 1
2012
Proceedings Chapters
unige:23031
Language Enrichment for Resilient MDE
Khan, Yasir Imtiaz;
Risoldi, Matteo
;
2011
Scientific Articles
unige:18361
High-Level Petri Net Model Checking with AlPiNA
Hostettler, Steve Patrick
;
Marechal Marin, Alexis Ayar
;
Linard, Alban
;
Risoldi, Matteo
;
Buchs, Didier
unige:18303
Self-aware Pervasive Service Ecosystems
Zambonelli, Franco; Castelli, Gabriella; Ferrari, Laura; Mamei, Marco; ... Wally, Bernhard
Proceedings Chapters
unige:17533
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns
Tchao, Akla-Esso
;
Risoldi, Matteo
;
Di Marzo Serugendo, Giovanna
;
unige:17066
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
Montagna, Sara; Viroli, Mirko;
Risoldi, Matteo
; Pianini, Danilo;
Di Marzo Serugendo, Giovanna
2010
Proceedings Chapters
unige:10786
AlPiNA: A Symbolic Model Checker
Buchs, Didier
;
Hostettler, Steve Patrick
;
Marechal Marin, Alexis Ayar
;
Risoldi, Matteo
;
unige:5622
AlPiNA: an Algebraic Petri Net Analyzer
Buchs, Didier
;
Hostettler, Steve Patrick
;
Marechal Marin, Alexis Ayar
;
Risoldi, Matteo
;
unige:12217
Developing Domain-Specific Modeling Languages by Metamodel Semantic Enrichment and Composition: a Case Study
Pedro, Luis;
Risoldi, Matteo
;
Buchs, Didier
; Amaral, Vasco;
unige:9825
Improving the significance of benchmarks for Petri nets model checkers
Hostettler, Steve Patrick
;
Linard, Alban
;
Marechal Marin, Alexis Ayar
;
Risoldi, Matteo
;
unige:9826
Specification of Decision Diagram Operations
Hamez, Alexandre;
Hostettler, Steve Patrick
;
Linard, Alban
;
Marechal Marin, Alexis Ayar
; ...
Risoldi, Matteo
Doctoral Thesis
unige:11842
A methodology for the development of complex domain specific languages
Risoldi, Matteo
;
2009
Book Chapters
unige:5104
A language and a methodology for prototyping user interfaces for control systems
Risoldi, Matteo
; Amaral, Vasco; Barroca, Bruno; Bazargan, Kaveh; ... Zoss, Pierrick
Proceedings Chapters
unige:5106
Composing visual syntax for domain specific languages
Pedro, Luis;
Risoldi, Matteo
;
Buchs, Didier
; Barroca, Bruno; Amaral, Vasco
2008
Proceedings Chapters
unige:5102
A methodology for control systems GUI prototyping - a case study
Risoldi, Matteo
;
Buchs, Didier
; Masetti, Lorenzo; Amaral, Vasco; Barroca, Bruno
unige:5103
Towards the application of a model based design methodology for reliable control systems on HEP experiments
Barroca, Bruno; Amaral, Vasco; Calado, Pedro;
Risoldi, Matteo
; ... Araujo, João
2007
Proceedings Chapters
unige:5100
A domain specific language and methodology for control systems GUI specification, verification and prototyping
Risoldi, Matteo
;
Buchs, Didier
;
2006
Proceedings Chapters
unige:5098
Modeling Distributed Systems using Concurrent Object Oriented Petri Nets
Chen, Ang;
Buchs, Didier
; Lucio, Levi; Pedro, Luis;
Risoldi, Matteo
unige:5099
Towards a formal, model-based framework for control systems interaction prototyping
Risoldi, Matteo
; Amaral, Vasco;
Reports
unige:26578
BATIC3S Project : Document collection 2005-2006
Malandain, Stéphane; Zoss, Pierrick;
Buchs, Didier
;
Falquet, Gilles
; ... Gomez-Reino Garrido, Robert
add all
|
remove all
<< previous
| |
next >>