1
0
0
News
ACM SAC SA-TTA : ACM SAC Track on Software ...
www.wikicfp.com
http://home.dei.polimi.it/mirandola/ Patrizia Scandurra, Dipartimento di Ingegneria dell'Informazione e Metodi Matematici (DIIMM) of the University of Bergamo, Italy. Web page: http://cs.unibg.it/scandurra/ ...
ECSA 2017
www.cs.kent.ac.uk
Patrizia Scandurra, Elvinia Riccobene, Silvia Bonfanti and Valentina Centurelli. “The female contribution in architecting a set of tools for a formal method ...
ACM SAC SA-TTA : ACM SAC SA-TTA conference track on Software...
www.wikicfp.com
ACM SAC SA-TTA : ACM SAC SA-TTA conference track on Software Architecture: Theory, Technology, and Applications
SA-TTA : Software Architecture: Theory, Technology, and...
www.wikicfp.com
... Mirandola, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy - Patrizia Scandurra, Engineering Department, University of Bergamo, Italy.
Network Profiles
LinkedIn: Patrizia Scandurra | Professional Profile
View Patrizia Scandurra’s professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Patrizia Scandurra discover ...
Business Profiles
Researchgate: Patrizia Scandurra
Bergamo, Italy
Projects
pscandurra / Profile
sourceforge.net
SourceForge presents Patrizia Scandurra, developer. Patrizia Scandurra is an open source developer. SourceForge provides the world's largest selection of Open...
Books & Literature
Patrizia Scandurra - Apple Booksbooks.apple.com › author › patrizia-scandurra
books.apple.com
Preview and download books by Patrizia Scandurra, including Software Architecture.
SCHOLAR - CNKI学术搜索
scholar.cnki.net
CNKI学术搜索是一个基于海量资源的跨学科、跨语种、跨文献类型的学术资源搜索平台,其资源库涵盖各类学术期刊、论文、报纸、专利、标准、年鉴、工具书等,旨在为国内外研究人员提供全面、权威、系统的知识网络。
Author: Patrizia Scandurra
easychair.org
Author: Patrizia Scandurra. Publications; HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-based Web Applications. Matteo Camilli, Angelo Gargantini, Rosario Madaudo and Patrizia Scandurra. EasyChair Preprint no Keyphrases.
Abstract State Machines 2003: Advances in Theory and Practice: 10th...
books.google.ee
This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March
Related Documents
Jean-sebastien Delfino, Software developer at Ibm | SlideShare
www.slideshare.net
View all of Jean-Sebastien Delfino's Presentations.
Patrizia Scandurra - SEAMS 2018
conf.researchr.org
ICSE SEAMS Patrizia Scandurra. ICSE profile . conf.research.org general profile; Registered user since Mon 23 Oct Name: Patrizia ...
Patrizia Scandurra - Academia.edu
independent.academia.edu
Patrizia Scandurra studies Scienze Giuridiche and Giurisprudenza.
Patrizia Scandurra - ICSE Conferencesconf.researchr.org › profile › icse › patriziascandurra
conf.researchr.org
Name:Patrizia Scandurra ; Country:Italy ; Affiliation:University of Bergamo, Italy ; Personal website:http://cs.unibg.it/scandurra ; Research interests:Software ...
Scientific Publications
Journal of Systems and Software | Vol 164, June
www.sciencedirect.com
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra. Article Download PDF. Article preview. Special Section on Source Code Analysis and Manipulation; Edited by Dr Árpád Beszédes, Dr Neil Ernst and Dr Mark Hills. select article On Adaptive Change Recommendation.
dblp: Patrizia Scandurra
dblp.uni-trier.de
List of computer science publications by Patrizia Scandurra
Search results for "Rafael Capilla" – FacetedDBLP
dblp.l3s.uni-hannover.de
Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla: A layered coordination framework for optimizing resource allocation in ...
MSL: A pattern language for engineering self-adaptive systems ...www.sciencedirect.com › science › article › abs › pii
www.sciencedirect.com
Her home page is https://homes.di.unimi.it/riccobene/. Patrizia Scandurra is associate professor at the University of Bergamo, Italy. Her research interests include ...
Publications
A semantic framework for metamodel-based languages | SpringerLink
link.springer.com
In the model-based development context, metamodel-based languages are increasingly being defined and adopted either for general purposes or for specific...
Detailed Program
mesoca.etil.ca
Patrizia Scandurra, Giuseppe Psaila, Rafael Capilla and Raffaela Mirandola. Modeling and Evaluation of Mixed Redundancy Strategy with Instant Switching in .
A model-driven co-simulation environment for heterogeneous systems |...
link.springer.com
Modern heterogeneous systems, due to their complexity and multifaceted nature, require flexible high-level design and simulation techniques that take into...
A Scenario-Based Validation Language for ASMs | SpringerLink
link.springer.com
This paper presents the AValLa language, a domain-specific modelling language for scenario-based validation of ASM models, and its supporting tool, the...
Video & Audio
Patrizia Scandurra - YouTubewww.youtube.com › channel
www.youtube.com
AboutPressCopyrightContact usCreatorsAdvertiseDevelopersTermsPrivacyPolicy & SafetyHow YouTube worksTest new features. © Google LLC ...
Reports & Statements
Google Blogs: Advances in SoC and Processor Modeling Methodologies
[21]Improving SoC Design Flow by means of MDA and UML Profiles Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra [22] http://jerry.c-lab.de/uml-soc/toc.html DAC Workshop On UML for SoC Design [23] MDA for SoC Embedded Systems ...
4th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z ...
www.jiscmail.ac.uk
Thomas Santen, European Microsoft Innovation Center, Germany - Patrizia Scandurra, University of Bergamo, Italy - Gerhard Schellhorn, University of Augsburg, ...
ASM mailing list (): 2nd CALL FOR PARTICIPATIO
pages.mtu.edu
... the Mondex Protocol using Three Refinements 9: Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene and Patrizia Scandurra.
JISCMail - FMNET Archives
www.jiscmail.ac.uk
"Invariant Guided System Decomposition" Elvinia Riccobene and Patrizia Scandurra. "Towards ASM-based formal specification of self-adaptive ...
Miscellaneous
Patrizia Scandurra | LinkedIn
www.linkedin.com
View Patrizia Scandurra's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Patrizia Scandurra ...
Paolo Arcaini - Citazioni di Google Scholar
scholar.google.it
Angelo Gargantini,; Elvinia Riccobene,; patrizia scandurra,; Paolo Vavassori,; Simone Sterlacchini,; Silvia Bonfanti,; Atif Mashkoor,; Dino Ienco ...
Patrizia Scandurra's homepage
cs.unibg.it
Massimo Bombino, Patrizia Scandurra. A model-driven co-simulation environment for heterogeneous systems. …
Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra.
Docenti: Patrizia Scandurra (referente princiaple) Angelo Gargantini....
docplayer.it
Progetto di Informatica III Introduzione al corso Patrizia Scandurra Università degli Studi di Bergamo a.a Sommario Contatti Obiettivo Natura Argomenti ...
Paolo Arcaini - Google Scholar Citations
scholar.google.co.uk
СоавторыВсе соавторы… Angelo Gargantini,; Elvinia Riccobene,; patrizia scandurra,; Paolo Vavassori,; Simone Sterlacchini ...
Rafael Capilla - Google Scholar Citations
scholar.google.nl
... Kyo Kang,; Salva Trujillo,; Jochen Küster,; Gregorio Robles,; Raffaela Mirandola,; Claudia Raibulet,; patrizia scandurra,; Antonio Ruiz Cortés,; oscar diaz ...
Patrizia Scandurra - EasyChaireasychair.org › smart-program › AFFORD19 › person11
easychair.org
Patrizia Scandurra. Organization: DIIMM - University of Bergamo. Web page: http://cs.unibg.it/scandurra/index.html. Pages in this Program ...
Patrizia Scandurra | University of Bergamo and ...
mundusphd-interzones.academia.edu
Patrizia Scandurra, University of Bergamo and Universidade Federal Fluminense, Engineering Dept., Department Member. Studies Model-Driven Development, Software Engineering, and Formal Methods (Formal Verification).
Patrizia Scandurra | University of Bergamo and Universidade Federal...
mundusphd-interzones.academia.edu
Academia.edu is a place to share and follow research.
(PDF) Scenario-based Validation of Embedded Systems | Patrizia...
www.academia.edu
This paper describes a scenario-based methodology for system-level design validation based on the Abstract State Machines formal method. This scenario-based...
(PDF) Ten Reasons to Metamodel ASMs | Patrizia Scandurra -...
www.academia.edu
Ten Reasons to Metamodel ASMs Angelo Gargantini 1 2 Elvinia Riccobene Patrizia Scandurra 2 Dip. di Ing. Gestionale e dell'Informazione, Università di Bergamo ...
Patrizia Scandurra: free download. Ebooks library. On-line ZLibaryaf.b-ok.africa › ...
1lib.domains
Patrizia Scandurra: free download. Ebooks library. On-line books store on Z-Library | Z-Library. Download books for free. Find books.
Patrizia Scandurra: free download. Ebooks library. On-line books ...ur.es1lib.org › ...
ur.1lib.domains
Patrizia Scandurra: free download. Ebooks library. On-line books store on Z-Library | Z-Library. Download books for free. Find books.
SISTEMI OPERATIVI. Introduzione. Prof. Luca Gherardi Prof.ssa...
docplayer.it
... Introduzione Prof. Luca Gherardi Prof.ssa Patrizia Scandurra (anni precedenti) Università degli Studi di Bergamo a.a Sommario Definizione di sistema.
(PDF) Component-based robotic engineering (Part I) [Tutorial |...
www.academia.edu
Component-based robotic engineering (Part I) [Tutorial Component-based robotic engineering (Part I) ... IEEE and Patrizia Scandurra Abstract— This article ...
(PDF) A SoC design flow based on UML 2.0 and SystemC | Patrizia...
www.academia.edu
By Patrizia Scandurra in Graphic Design and Embedded Software.
1st International Workshop on Software Architectures and Human ...pure.hud.ac.uk › publications
pure.hud.ac.uk
... Anne Koziolek, Raffaela Mirandola, Elena Maria Navarro Martinez, Clément Quinton, Ricardo Scandariato, Patrizia Scandurra, Catia Trubiani, Danny Weyns.
A DSL for MAPE Patterns Representation in Self-adapting Systems ...www.springerprofessional.de › a-dsl-for-mape-patterns-representation-in-se...
www.springerprofessional.de
Authors: Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra. Publisher: Springer International Publishing. Published in: Software ...
IARIA Journals
www.iariajournals.org
Patrizia Scandurra, Universita di Bergamo, Italy. Video Notation (ViNo): A Formalism for Describing and Evaluating Non-sequential Multimedia Access
Docenti | UniBG INGEGNERIA GESTIONALE
lt-ig.unibg.it
Patrizia SCANDURRA Codice: INFORMATICA (MODULO DI PROGRAMMAZIONE + MODULO DI BASI DI DATI) - Crediti: 12 Codice: INFORMATICA (MODULO DI PROGRAMMAZIONE) - Crediti: 6
Related search requests for Patrizia Scandurra
Angelo Gargantini Anne Koziolek Barbora Buhnova | Pasqualina Potena Paolo Arcaini Mauro Caporuscio | Catia Trubiani Danny Weyns Rafael Capilla |
People Forename "Patrizia" (5733) Name "Scandurra" (69) |
sorted by relevance / date