1
0
0
(1 - 22 from 28
)
ACM/SPEC ICPE : 6th ACM/SPEC International Conference on...
www.wikicfp.com
ACM/SPEC ICPE : 6th ACM/SPEC International Conference on Performance Engineering
Software Quality Engineering - Introduction to Markov Processespeople.disim.univaq.it › adimarco › teaching › bioinfo17 › 2-QFM-marko...
people.disim.univaq.it
3 Variants of state-based Markov models. Discrete-time Markov chains. Markov decision processes. Catia Trubiani. Markov Processes - basic concepts
Publications | Group of Discrete Event Systems Engineering
webdiis.unizar.es
Official website of the Group of Discrete Event Systems Engineering, University of Zaragoza.
Engineering cyber‐physical systems through performance ...
onlinelibrary.wiley.com
by L Pagliari · · Cited by 8 — Engineering cyber-physical systems through performance-based modelling and analysis: A case study experience report ... Catia Trubiani, Gran Sasso ... › doi › abs › smr
Model Driven Engineering Languages and Systems: 13th International...
books.google.de
Yu Sun Andreas Svendsen Nora Szasz J ̈orn Guy S ̈uß Tian Huat Tan Massimo Tisi Catia Trubiani Sara Tucci-Piergiovanni Steve Versteeg Thomas Vogel ...
Formal Methods for Model-Driven Engineering: 12th International...
books.google.ca
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of...
Models in Software Engineering: Workshops and Symposia at MoDELS...
books.google.de
This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven...
EPTCS 184: Engineering Safety and Security Systems
arxiv.org
Catia Trubiani, Gran Sasso Science Institute, Italy Anton Wijs, Eindhoven University of Technology, The Netherlands Yoriyuki Yamagata, Japan Advanced Institute of Science and Technology, Japan
[ v1] A model-driven approach to broaden the detection of...
arxiv.org
Apr 03, · Catia Trubiani. Bookmark (what is this?) Computer Science - Software Engineering. Title: A model-driven approach to broaden the detection of software ...
ICPE — Software Engineering Group
www.se.informatik.uni-kiel.de
Catia Trubiani, U. of L'Aquila, Italy. Demos and Posters Chairs. William Knottenbelt, Imperial College, UK. Yaomin Chen, Oracle, USA. Publication Chair. Simona Bernardi, C. U. de la Defensa. Finance Chair. Anoush Najarian, Mathworks, USA. PhD Workshop Chair. Zhibin Yu, Chinese Academy of Sciences, China.
Software Performance Engineering in the DevOps World
core.ac.uk
by A van Hoorn · · Cited by 4 — DevOps based on Operational Data and Load Testing. Alberto Avritzer, André van Hoorn, Catia Trubiani, Holger Knoche › download › pdf
A case study experience report - PRISM model checker
www.prismmodelchecker.org
[PMT19] Lorenzo Pagliari, Raffaela Mirandola and Catia Trubiani. Engineering cyber-physical systems through performance-based modelling and analysis: A case ... › bibitem
Publications - Raffaela Mirandola
mirandola.faculty.polimi.it
Lorenzo Pagliari, Raffaela Mirandola, Catia Trubiani "Engineering Cyber-Physical Systems through Performance-based Modelling and Analysis: A Case Study ... › publications
Catia Trubiani - Citations Google Scholar
scholar.google.com
Catia Trubiani. Gran Sasso Science Institute (GSSI), L'Aquila, Italy. Software Engineering, Quality of Software Architectures, Software Performance Engineering, ...
Course: Software Engineering II academic year: Course Web-site: [...
slideplayer.com
Course: Software Engineering II academic year: Course Web-site: [www.di.univaq.it/cortelle/]www.di.univaq.it/cortelle/ Lecturer: Catia Trubiani.
Joint ICE-TCS/CRESS seminar: Catia Trubiani | Liðnir viðburðir |
www.ru.is
Joint ICE-TCS/CRESS seminar: Catia Trubiani Title: Uncertainty Propagation in Software Performance Engineering , 12: :00; Joint ICE-TCS/CRESS seminar. Date and time: Wednesday, 2 May from 12:10 till 13:00 Place: Room M117 at Reykjavik University. Title: Uncertainty Propagation in Software Performance Engineering
ICSE New Ideas and Emerging Results - International Conference...
2019.icse-conferences.org
ICSE’s New Ideas and Emerging Results (NIER) ... Catia Trubiani, Sven Apel. Requirements Engineering as Science in the Small. Munindar P. Singh, Amit Chopra. Robustness and Games Against Nature in Molecular Programming. Jack H. Lutz, Neil Lutz, Robyn Lutz, Matthew Riley.
ICPE : International Conference on Performance Engineering «...
www.guide2research.com
ICPE th ACM/SPEC International Conference on Performance Engineering Catia Trubiani, Gran Sasso Science Institute, Italy. Demos and Posters Chairs
Program Committee: ICPE 2017
icpe2017.spec.org
Eighth ACM/SPEC International Conference on Performance Engineering, ICPE A Joint Meeting of WOSP/SIPEW sponsored by ACM SIGMETRICS and ACM SIGSOFT in...
Software Design and Quality (SDQ): Talks and invited Researchers
sdq.ipd.kit.edu
The Software Design and Quality research is concerned with an engineering approach to software design. Further research fields include component-based software...
EPTCS 147: Formal Engineering approaches to Software Components and...
cgi.cse.unsw.edu.au
Antinisca Di Marco and Catia Trubiani, 77. Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment ...
EPEW European Performance Engineering Workshop
page.mi.fu-berlin.de
EPEW 2017, European Performance Engineering Workshop
All web results to the name "Catia Trubiani"
Related search requests for Catia Trubiani
Vittorio Cortellessa Patrizia Scandurra Anne Koziolek | Emilio Tuosto Barbora Buhnova Danny Weyns | Lorenzo Pagliari Petr Tuma Markus Borg |
People Forename "Catia" (1138) Name "Trubiani" (14) |
sorted by relevance / date