Follow
Matteo Risoldi
Matteo Risoldi
Executive director, Waystone Fund Services (Switzerland) SA
Verified email at waystone.com
Title
Cited by
Cited by
Year
The CMS experiment at the CERN LHC
CMS Collaboration, R Adolphi
Jinst 3 (08), S08004, 2008
23659*2008
CMS physics technical design report, volume II: physics performance
CMS collaboration
Journal of Physics G: Nuclear and Particle Physics 34 (6), 995, 2007
1953*2007
CMS Physics: Technical Design Report Volume 1: Detector Performance and Software
GL Bayatian, A Korablev, A Soha, O Sharif, M Chertok, W Mitaroff, ...
CMS-TDR-008-1, 2006
408*2006
CMS physics technical design report: Addendum on high density QCD with heavy ions
D d'Enterria, M Ballintijn, M Bedjidian, D Hofman, O Kodolova, C Loizides, ...
Journal of Physics G: Nuclear and Particle Physics 34 (11), 2307, 2007
280*2007
Developing pervasive multi-agent systems with nature-inspired coordination
F Zambonelli, A Omicini, B Anzengruber, G Castelli, FL De Angelis, ...
Pervasive and Mobile Computing 17, 236-252, 2015
932015
Self-aware pervasive service ecosystems
F Zambonelli, G Castelli, L Ferrari, M Mamei, A Rosi, G Di Marzo, ...
Procedia Computer Science 7, 197-199, 2011
912011
High-Level Petri Net Model Checking with AlPiNA
S Hostettler, A Marechal, A Linard, M Risoldi, D Buchs
Fundamenta Informaticae 113 (3-4), 229-264, 2011
472011
Alpina: A symbolic model checker
D Buchs, S Hostettler, A Marechal, M Risoldi
Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010
332010
Composing visual syntax for domain specific languages
L Pedro, M Risoldi, D Buchs, B Barroca, V Amaral
Human-Computer Interaction. Novel Interaction Methods and Techniques, 889-898, 2009
252009
Alpina: An algebraic petri net analyzer
D Buchs, S Hostettler, A Marechal, M Risoldi
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
222010
The effect of highly ionising particles on the CMS silicon strip tracker
W Adam, T Bergauer, M Friedl, R Fruehwirth, J Hrubec, M Krammer, ...
Nuclear Instruments and Methods in Physics Research Section A: Accelerators …, 2005
222005
Adaptive, dynamic, and resilient systems
N Suri, G Cabri
CRC Press, 2014
162014
Self-organising pervasive ecosystems: A crowd evacuation example
S Montagna, M Viroli, M Risoldi, D Pianini, G Di Marzo Serugendo
Software Engineering for Resilient Systems: Third International Workshop …, 2011
162011
Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study
L Pedro, M Risoldi, D Buchs, V Amaral
Proceedings of the 10th workshop on Domain-Specific Modeling, 1-6, 2010
162010
A methodology for the development of complex domain specific languages
M Risoldi
PhD thesis, Université de Genève, 2010. Thesis, 2010
162010
Modeling self-* systems using chemically-inspired composable patterns
AE Tchao, M Risoldi, GDM Serugendo
Self-Adaptive and Self-Organizing Systems (SASO), 2011 Fifth IEEE …, 2011
132011
A domain specific language and methodology for control systems GUI specification, verification and prototyping
M Risoldi, D Buchs
Visual Languages and Human-Centric Computing, 2007. VL/HCC 2007. IEEE …, 2007
132007
Optimizing algebraic petri net model checking by slicing
YI Khan
lassy, 2013
122013
Towards a formal, model-based framework for control systems interaction prototyping
M Risoldi, V Amaral
Rapid Integration of Software Engineering Techniques: Third International …, 2007
92007
Modeling Distributed Systems using Concurrent Object Oriented Petri Nets
A Chen, D Buchs, L Lucio, L Pedro, M Risoldi
Hamburg University of Hamburg, 2006
92006
The system can't perform the operation now. Try again later.
Articles 1–20