Items where Author is "Vandin, Andrea"
Number of items: 37. ArticleBruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Modelling and analyzing adaptive self-assembling strategies with Maude. Science of Computer Programming, 99. pp. 75-94. ISSN 0167-6423 (2015) Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lafuente, Alberto Lluch and Vandin, Andrea Modelling and analyzing adaptive self-assembly strategies with Maude. Science of Computer Programming, 99. 75 - 94. ISSN 0167-6423 (2015) Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Adaptation is a Game. Tiny Transactions on Computer Science, 2. (2013) Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Counterpart Semantics for a Second-Order mu-Calculus. Fundamenta Informaticae, 118 (1-2). pp. 177-205. ISSN 1875-8681 (2012) Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Lewisian approach to the verification of adaptive systems. Rivista Italiana di Filosofia Analitica Junior , 2 (2). ISSN 2037-4445 (2011) Lluch-Lafuente, Alberto and Vandin, Andrea Towards a Maude tool for model checking temporal graph properties. Electronic Communications of the EASST, 41. ISSN 1863-2122 (2011) Book SectionTognazzi, Stefano and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea EGAC: a genetic algorithm to compare chemical reaction networks. In: Proceedings of the Genetic and Evolutionary Computation Conference on - GECCO '17. ACM, pp. 833-840. ISBN 978-1-4503-4920-8 (2017) Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. In: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2017. Lecture Notes in Computer Science (10206). Springer, Berlin, pp. 310-328. ISBN 978-3-662-54580-5 (2017) Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Efficient Syntax-Driven Lumping of Differential Equations. In: Tools and Algorithms for the Construction and Analysis of Systems. 22nd International Conference, TACAS 2016. Lecture Notes in Computer Science (9636). Springer, pp. 93-111. ISBN 978-3-662-49673-2 (2016) Vandin, Andrea and Tribastone, Mirco Quantitative Abstractions for Collective Adaptive Systems. In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Lecture Notes in Computer Science (9700). Springer International Publishing, Cham, pp. 202-232. ISBN 978-3-319-34095-1 (2016) Iacobelli, Giulio and Tribastone, Mirco and Vandin, Andrea Differential Bisimulation for a Markovian Process Algebra. In: Mathematical Foundations of Computer Science 2015. 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Lecture Notes in Computer Science (9234). Springer, pp. 293-306. ISBN 978-3-662-48056-4 (2015) Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Hölzl, Matthias and Lluch Lafuente, Alberto and Vandin, Andrea and Wirsing, Martin Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 163-184. ISBN 978-3-319-16309-3 (2015) De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015) Abeywickrama, Dhaminda B. and Combaz, Jacques and Horký, Jaroslav and Kofro\v and Vandin, Andrea and Vassev, Emil Software Engineering for Collective Autonomic Systems: The ASCENS Approach. In: Software Engineering for Collective Autonomic Systems. Lecture Notes in Computer Science (8998). Springer International Publishing, pp. 429-448. ISBN 978-3-319-16309-3 (2015) Abeywickrama, Dhaminda B. and Combaz, Jacques and Horký, Jaroslav and Kofro\v and Vandin, Andrea and Vassev, Emil and Kofroň, Jan and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Mayer, Philip and Monreale, Giacoma Valentina and Montanari, Ugo and Pinciroli, Carlo and Tůma, Petr Software Engineering for Collective Autonomic Systems: The ASCENS Approach. In: Software Engineering for Collective Autonomic Systems. Lecture Notes in Computer Science, 19 (8998). Springer International Publishing, Cham, pp. 429-448. ISBN 978-3-319-16309-3 (2015) Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch Lafuente, Alberto and Vandin, Andrea A White Box Perspective on Behavioural Adaptation. In: Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science (8950). Springer, pp. 552-581. ISBN 978-3-319-15544-9 (2015) Belzner, Lenz and De Nicola, Rocco and Vandin, Andrea and Wirsing, Martin Reasoning (on) service component ensembles in rewriting logic. In: Specification, Algebra, and Software. Lecture Notes in Computer Science (8373). Springer Berlin Heidelberg, pp. 188-211. ISBN 978-3-642-54623-5 (2014) Gilmore, Stephen and Tribastone, Mirco and Vandin, Andrea An analysis pathway for the quantitative evaluation of public transport systems. In: Integrated Formal Methods. Lecture Notes in Computer Science . Springer, pp. 71-86. ISBN 978-3-319-10181-1 (2014) Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Adaptable transition systems. In: Proceedings fo the 21st International Workshop on Algebraic Development Techniques (WADT 2012). Lecture Notes in Computer science (7841). Springer, pp. 95-110. ISBN 978-3-642-37635-1 (2013) Vandin, Andrea Towards the specification and verification of modal properties for structured systems. In: Graph Transformations. Lecture Notes in Computer Science (7562). Springer, pp. 423-425. ISBN 978-3-642-33654-6 (2013) Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Conceptual Framework for Adaptation. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (7212). Springer, pp. 240-254. ISBN 978-3-642-28872-2 (2012) Lluch-Lafuente, Alberto and Gadducci, Fabio and Vandin, Andrea Exploiting over- and under-approximations for infinite-state counterpart models. In: Graph Transformations. Lecture Notes in Computer Science (7562). Springer, pp. 51-65. ISBN 978-3-642-33654-6 (2012) Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch Lafuente, Alberto and Vandin, Andrea Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. In: Rewriting Logic and Its Applications. Lecture Notes in Computer Science (7571). Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 118-138. ISBN 978-3-642-34004-8 (2012) Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Modelling and analyzing adaptive self-assembling strategies with Maude. In: Rewriting Logic and Its Applications. Lecture Notes in Computer Science (7571). Springer, pp. 118-138. ISBN 978-3-642-34004-8 (2012) Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 430-446. ISBN 978-3-642-34281-3 (2012) Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Counterpart semantics for a second-order mu-calculus. In: Graph Transformations (ICGT 2010). Lecture Notes in Computer Science, 6372 . Springer, pp. 282-297. ISBN 978-3-642-15927-5 (2010) Working PaperSebastio, Stefano and Vandin, Andrea MultiVeStA: Statistical Model Checking for Discrete Event Simulators. Technical Report # /2013 (Unpublished) Pianini, Danilo and Sebastio, Stefano and Vandin, Andrea Statistical analysis of chemical computational systems with MULTIVESTA and ALCHEMIST. Working Paper # /2013 (Submitted) Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Conceptual Framework for Adaptation. Working Paper # /2013 (Unpublished) Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. Working Paper # /2012 (Unpublished) Conference or Workshop ItemCardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective. In: Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), July 5-8, 2016, New York, USA (In Press) (2016) Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Symbolic Computation of Differential Equivalences. In: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 20 - 22, 2016, St. Petersburg, FL, USA pp. 137-150. ISBN 978-1-4503-3549-2. (2016) Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Forward and Backward Bisimulations for Chemical Reaction Networks. In: 26th International Conference on Concurrency Theory (CONCUR 2015), September 1–4, 2015, Madrid, Spain pp. 226-239. ISSN 1868-8969. ISBN 978-3-939897-91-0. (2015) ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking. In: 6th Workshop on Formal Methods and Analysis in SPL Engineering, April 11, 2015, London, UK pp. 56-70. ISSN 2075-2180. (2015) ter Beek, M.H. and Legay, Axel and Lluch-Lafuente, Alberto and Vandin, Andrea Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. In: Proceedings of the 19th International Conference on Software Product Line, 2015, New York, USA pp. 11-15. ISBN 978-1-4503-3613-0. (2015) Pianini, Danilo and Sebastio, Stefano and Vandin, Andrea Distributed statistical analysis of complex systems modeled through a chemical metaphor. In: 2014 International Conference on High Performance Computing Simulation (HPCS), July 21-25, 2014, Bologna pp. 416-423. ISBN 978-1-4799-5312-7. (2014) Sebastio, Stefano and Vandin, Andrea MultiVeStA: Statistical Model Checking for Discrete Event Simulators. In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, December 10-12, 2013, Brussels, Belgium pp. 310-315. ISBN 978-1-936968-48-0. (2013) |
