Skip to contents

Vicario, Enrico [Organizer] ; IEEE International Symposium on Software Reliability Engineering 34. 2023 Florenz, Institute of Electrical and Electronics Engineers, IEEE Computer Society

2023 IEEE 34th International Symposium on Software Reliability Engineering : ISSRE 2023 : 9-12 October 2023, Florence, Italy : proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Piscataway, NJ: IEEE, 2023
Sankaranarayanan, Sriram [Editor]; Vicario, Enrico [Editor]

Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - [1st ed. 2015]

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham [u.a.]: Springer, 2015

Published in: Lecture notes in computer science ; 9268
Vicario, Enrico [Editor]; Bandinelli, Romeo [Editor]; Fani, Virginia [Editor]; Mastroianni, Michele [Editor] ; ECMS International Conference on Modelling and Simulation 37. 2023 Florenz, European Council for Modelling and Simulation, European Council for Modelling and Simulation, Università degli Studi di Firenze

Proceedings of the 37th ECMS International Conference on Modelling and Simulation, ECMS 2023 : June 20th-June 23rd, 2023, Florence, Italy

View online
Schließen

Access

... to E-book (PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Europe]: European Council for Modelling and Simulation, [2023]

Published in: Communications of the ECMS ; volume 37, issue 1 (June 2023)
Avritzer, Alberto [Author]; Carnevali, Laura [Author]; Ghasemieh, Hamed [Author]; Happe, Lucia [Author]; Haverkort, Boudewijn R. [Author]; Koziolek, Anne [Author]; Menasche, Daniel [Author]; Remke, Anne [Author]; Sarvestani, Sahra Sedigh [Author]; Vicario, Enrico [Author]

Survivability Evaluation of Gas, Water and Electricity Infrastructures

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier, 2016-01-04

Published in: Electronic notes in theoretical computer science, 310, 5-25 ; ISSN: 1571-0661
VICARIO, ENRICO

Engineering the Usability of a Visual Formalism for Real-time Temporal Logic

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2001

Published in: Journal of Visual Languages & Computing, 12 (2001) 6, Seite 573-599
Cruciani, Federico; Vicario, Enrico

Lecture Notes in Computer Science: Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2011

Published in: Lecture Notes in Computer Science (2011), Seite 355-368
Zadenoori, Mohammad Amin; Vicario, Enrico

Learning Dynamics and Control of a Stochastic System under Limited Sensing Capabilities

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

MDPI AG, 2022

Published in: Sensors, 22 (2022) 12, Seite 4491
Picano, Benedetta; Vicario, Enrico; Fantacci, Romano

An Efficient Flows Dispatching Scheme for Tardiness Minimization of Data-Intensive Applications in Heterogeneous Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2023

Published in: IEEE Transactions on Network Science and Engineering (2023), Seite 1-10
Horváth, András; Paolieri, Marco; Vicario, Enrico

Quantitative Evaluation of Systems: Equilibrium Analysis of Markov Regenerative Processes

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Nature Switzerland, 2023

Published in: Quantitative Evaluation of Systems (2023), Seite 172-187
Carnevali, Laura; Paolieri, Marco; Vicario, Enrico

The ORIS tool : app, library, and toolkit for quantitative evaluation of non-Markovian systems : app, library, and toolkit for quantitative evaluation of non-Markovian systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2022

Published in: ACM SIGMETRICS Performance Evaluation Review, 49 (2022) 4, Seite 81-86
Carnevali, Laura; Reali, Riccardo; Vicario, Enrico

Quantitative Evaluation of Systems: Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2022

Published in: Quantitative Evaluation of Systems (2022), Seite 255-272
Carnevali, Laura; Tarani, Fabio; Vicario, Enrico

Performability Evaluation of Water Distribution Systems During Maintenance Procedures

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2020

Published in: IEEE Transactions on Systems, Man, and Cybernetics: Systems, 50 (2020) 5, Seite 1704-1720
Biagi, Marco; Vicario, Enrico; German, Reinhard

Computer Performance Engineering: Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2018

Published in: Computer Performance Engineering (2018), Seite 62-77
Paolieri, Marco; Sankaranarayanan, Sriram; Vicario, Enrico

Guest Editorial: Special issue on formal modeling and analysis of timed systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2017

Published in: Real-Time Systems, 53 (2017) 3, Seite 289-290
Mehic, Sandro; Tadano, Kumiko; Vicario, Enrico

Computer Performance Engineering: Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2016

Published in: Computer Performance Engineering (2016), Seite 174-186
Paolieri, Marco; Horvath, Andras; Vicario, Enrico

Probabilistic Model Checking of Regenerative Concurrent Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2016

Published in: IEEE Transactions on Software Engineering, 42 (2016) 2, Seite 153-169
Patara, Fulvio; Nugent, Chris D.; Vicario, Enrico

Inclusive Smart Cities and e-Health: Recommendations for the Creation of Datasets in Support of Data Driven Activity Recognition Models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2015

Published in: Inclusive Smart Cities and e-Health (2015), Seite 79-91
Carnevali, Laura; Pinzuti, Alessandro; Vicario, Enrico

Compositional Verification for Hierarchical Scheduling of Real-Time Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2013

Published in: IEEE Transactions on Software Engineering, 39 (2013) 5, Seite 638-657
Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico

A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2013

Published in: IEEE Transactions on Software Engineering, 39 (2013) 3, Seite 292-304
Ridi, Lorenzo; Torrini, Jacopo; Vicario, Enrico

Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2012

Published in: IEEE Software, 29 (2012) 1, Seite 76-83

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication