Andrea Vandin

According to our database1, Andrea Vandin authored at least 43 papers between 2010 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Replicated Computations Results (RCR) Report for "A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds".
ACM Trans. Model. Comput. Simul., 2018

Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial.
Proceedings of the 2018 Winter Simulation Conference, 2018

Statistical Analysis of CARMA Models: an Advanced Tutorial.
Proceedings of the 2018 Winter Simulation Conference, 2018

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Differential Equivalence Yields Network Centrality.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Backward Invariance for Linear Differential Algebraic Equations.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017
Language-based Abstractions for Dynamical Systems.
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

BProVe: tool support for business process verification.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

BProVe: a formal verification framework for business process models.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Transient and Steady-State Statistical Analysis for Discrete Event Simulators.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

EGAC: a genetic algorithm to compare chemical reaction networks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Syntactic Markovian Bisimulation for Chemical Reaction Networks.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Efficient Syntax-Driven Lumping of Differential Equations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Quantitative Abstractions for Collective Adaptive Systems.
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Symbolic computation of differential equivalences.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Statistical Model Checking for Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015
The SCEL Language: Design, Implementation, Verification.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015


Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking.
Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

Statistical analysis of probabilistic models of software product lines with quantitative constraints.
Proceedings of the 19th International Conference on Software Product Line, 2015

Differential Bisimulation for a Markovian Process Algebra.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Forward and Backward Bisimulations for Chemical Reaction Networks.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

A White Box Perspective on Behavioural Adaptation.
Proceedings of the Software, 2015

Awareness and Control in Adaptable Transition Systems.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Distributed statistical analysis of complex systems modeled through a chemical metaphor.
Proceedings of the International Conference on High Performance Computing & Simulation, 2014

Reasoning (on) Service Component Ensembles in Rewriting Logic.
Proceedings of the Specification, Algebra, and Software, 2014

2013
Adaptation is a Game.
TinyToCS, 2013

MultiVeStA: statistical model checking for discrete event simulators.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

2012
Counterpart Semantics for a Second-Order μ-Calculus.
Fundam. Inform., 2012

Modelling and Analyzing Adaptive Self-assembly Strategies with Maude.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Adaptable Transition Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

State Space c-Reductions of Concurrent Systems in Rewriting Logic.
Proceedings of the Formal Methods and Software Engineering, 2012

Specification and Verification of Modal Properties for Structured Systems.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models.
Proceedings of the Graph Transformations - 6th International Conference, 2012

A Conceptual Framework for Adaptation.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Towards a Maude Tool for Model Checking Temporal Graph Properties.
ECEASST, 2011

2010
Counterpart Semantics for a Second-Order µ-Calculus.
Proceedings of the Graph Transformations - 5th International Conference, 2010


  Loading...