Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Matteo Risoldi"'
Autor:
Alberto Rosi, Franco Zambonelli, Bernhard Anzengruber, Stefano Mariani, Simon Dobson, Ambra Molesini, Matteo Risoldi, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Marco Mamei, Francesco Luca De Angelis, Graeme Stevenson, Danilo Pianini, Gabriella Castelli, Jussi Nieminen, Mirko Viroli, Sara Montagna, Alois Ferscha, Juan Ye, Andrea Omicini
Pervasive computing systems can be modelled effectively as populations of interacting autonomous components. The key challenge to realizing such models is in getting separately-specified and -developed sub-systems to discover and interoperate with ea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a73ab21c3aa51612164f60e70fbca28
https://hdl.handle.net/11576/2690147
https://hdl.handle.net/11576/2690147
Publikováno v:
Fundamenta Informaticae, Vol. 113, No 3-4 (2011) pp. 229-264
FUNDAMENTA INFORMATICAE
FUNDAMENTA INFORMATICAE
Although model checking is heavily used in the hardware domain, it did not take off in software engineering yet. One of the possible reasons is that software models are very complex. They integrate many dimensions such as data types and concurrency,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f173ae0a3773311e0ee6f13453787dc6
https://doi.org/10.3233/fi-2011-608
https://doi.org/10.3233/fi-2011-608
Autor:
Matteo Risoldi, Yasir Imtiaz Khan
Publikováno v:
Software Engineering for Resilient Systems pp. 76-90
Lecture Notes in Computer Science ISBN: 9783642331756
SERENE
Lecture Notes in Computer Science ISBN: 9783642331756
SERENE
In Model-Driven Engineering, as in many engineering approaches, it is desireable to be able to assess the quality of a system or model as it evolves. A resilient engineering practice systematically assesses whether evolutions improve on the capabilit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7db63d320407ad9b29fdf6e9de159031
http://orbilu.uni.lu/handle/10993/13605
http://orbilu.uni.lu/handle/10993/13605
Publikováno v:
2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) pp. 109-118
SASO
SASO
The behaviour of self-* systems is complex to model from an algorithmic point of view. Designing and specifying self-* systems implies a great amount of work that can be sensibly reduced if models can be reused and composed in a modular way. This art
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19e2cec2dfae15e4dd8f532bc6e62a18
https://archive-ouverte.unige.ch/unige:17533
https://archive-ouverte.unige.ch/unige:17533
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642120015
TACAS
Tools and Algorithms for the Construction and Analysis of Systems-TACAS 2010, 16th International Conference pp. 349-352
TACAS
Tools and Algorithms for the Construction and Analysis of Systems-TACAS 2010, 16th International Conference pp. 349-352
AlPiNA is a graphical editor and model checker for a class of high-level Petri nets called Algebraic Petri Nets. Its main purpose is to perform reachability checks on complex models. It performs symbolic model checking based on SigmaDD, an efficient
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::71975e14f1d8eb7afacbeefa38331190
https://doi.org/10.1007/978-3-642-12002-2_29
https://doi.org/10.1007/978-3-642-12002-2_29
Publikováno v:
Proceedings of the 10th workshop on Domain-Specific Modeling (DSM'10) pp. 97-102
Designing a DSML implies binding the syntactical concepts of the problem domain with the semantics of a solution domain. Previous work presented a formal framework for language composition where language syntactical patterns (expressed by metamodels)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1705474e244156d8e84b16875ec4e1a2
https://archive-ouverte.unige.ch/unige:12217
https://archive-ouverte.unige.ch/unige:12217
Publikováno v:
Applications and Theory of Petri Nets pp. 287-296
Applications and Theory of Petri Nets ISBN: 9783642136740
Petri Nets
Applications and Theory of Petri Nets ISBN: 9783642136740
Petri Nets
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNA’s objective is to perform efficient and user-friendly, easy to use mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c156330a96def0ca0fecc023dbaee719
https://archive-ouverte.unige.ch/unige:10786
https://archive-ouverte.unige.ch/unige:10786
Publikováno v:
Human-Computer Interaction. Novel Interaction Methods and Techniques. 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II pp. 889-898
Human-Computer Interaction. Novel Interaction Methods and Techniques ISBN: 9783642025761
HCI (2)
Human-Computer Interaction. Novel Interaction Methods and Techniques ISBN: 9783642025761
HCI (2)
With the increasing interest in metamodeling techniques for Domain Specific Modeling Languages (DSML) definition, there is a strong need to improve the language modeling process. One of the problems to solve is language evolution. Possible solutions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26078775af6d957b0c1d176f170310b8
https://archive-ouverte.unige.ch/unige:5106
https://archive-ouverte.unige.ch/unige:5106
Autor:
Fabian Cretton, Matteo Risoldi, Bruno Barroca, Kaveh Bazargan, Gilles Falquet, Didier Buchs, Stéphane Malandain, Anne Le Calvé, Pierrick Zoss, Vasco Amaral
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642004360
Human Machine Interaction
Human Machine Interaction. Research results of the MMI program pp. 221-248
Human Machine Interaction
Human Machine Interaction. Research results of the MMI program pp. 221-248
The BATIC3S project (Building Adaptive Three-dimensional Interfaces for Controlling Complex Control Systems) proposes a methodology to prototype adaptive graphical user interfaces (GUI) for control systems. We present a domain specific language for t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6af9e013b37e153692d204f29c98cabd
https://doi.org/10.1007/978-3-642-00437-7_9
https://doi.org/10.1007/978-3-642-00437-7_9