Alberto Lluch-Lafuente

Christoph Matheja

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Reducing Boolean networks with backward equivalence.

[BibT_eX]

[DOI]

BMC Bioinform., December, 2023

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, November, 2023

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, November, 2023

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, November, 2023

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, November, 2023

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, June, 2023

A Survey of Trust Management for Internet of Things.

[BibT_eX]

[DOI]

Alyzia Maria Konsta

IEEE Access, 2023

Minimization of Dynamical Systems over Monoids.

[BibT_eX]

[DOI]

Alexander Leguizamon-Robayo

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Formal methods and tools for industrial critical systems.

[BibT_eX]

[DOI]

Anastasia Mavridou

Int. J. Softw. Tools Technol. Transf., 2022

A theory of Automated Market Makers in DeFi.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

Trust Management for Internet of Things: A Systematic Literature Review.

[BibT_eX]

[DOI]

Alyzia Maria Konsta

CoRR, 2022

Minimization of Dynamical Systems over Monoids.

[BibT_eX]

[DOI]

CoRR, 2022

Formal Analysis of Lending Pools in Decentralized Finance.

[BibT_eX]

[DOI]

Tommi A. Junttila

Massimiliano Mirelli

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Maximizing Extractable Value from Automated Market Makers.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2022

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2022

2021

A Survey of European Cybersecurity in Higher Education Programs.

[BibT_eX]

[DOI]

Fabio Massacci

Anders Schlichtkrull

Dataset, July, 2021

Are We Preparing Students to Build Security In? A Survey of European Cybersecurity in Higher Education Programs [Education].

[BibT_eX]

[DOI]

Fabio Massacci

Anders Schlichtkrull

IEEE Secur. Priv., 2021

Quantitative Security Risk Modeling and Analysis with RisQFLan.

[BibT_eX]

[DOI]

Comput. Secur., 2021

SoK: Lending Pools in Decentralized Finance.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Towards a Theory of Decentralized Finance.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Reducing Boolean Networks with Backward Boolean Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2021

Model Checking ømega-Regular Properties with Decoupled Search.

[BibT_eX]

[DOI]

Daniel Gnad

Jan Eisenhut

Jörg Hoffmann

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Quality Criteria for Cyber Security MOOCs.

[BibT_eX]

[DOI]

Simone Fischer-Hübner

Matthias Beckerle

Antonio Ruiz-Martínez

Karo Saharinen

Antonio F. Skarmeta

Pierantonia Sterlini

Proceedings of the Information Security Education. Information Security in Action, 2020

Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios.

[BibT_eX]

[DOI]

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

2019

Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios".

[BibT_eX]

[DOI]

Christian Bach

Christian Toftemann Bæk

Dataset, June, 2019

DisCoTec 2019: the 14th international federated conference on distributed computing techniques.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2019

Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

A Framework for Provenance-Preserving History Distribution and Incremental Reduction.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds.

[BibT_eX]

[DOI]

Antonio Scala

ACM Trans. Model. Comput. Simul., 2018

Many-to-many information flow policies.

[BibT_eX]

[DOI]

Paolo Baldan

Sci. Comput. Program., 2018

Star-Topology Decoupling in SPIN.

[BibT_eX]

[DOI]

Daniel Gnad

Patrick Dubbert

Jörg Hoffmann

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies.

[BibT_eX]

[DOI]

Vitaly Buravlev

Claudio Antares Mezzina

Proceedings of the 26th Euromicro International Conference on Parallel, 2018

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Aggregation Policies for Tuple Spaces.

[BibT_eX]

[DOI]

Linas Kaminskas

Proceedings of the Coordination Models and Languages, 2018

2017

Preface for the special issue on Interaction and Concurrency Experience 2015.

[BibT_eX]

[DOI]

Ivan Lanese

Sophia Knight

Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2017

Automated specification and verification of Web-based applications.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields.

[BibT_eX]

[DOI]

Michele Loreti

Log. Methods Comput. Sci., 2017

Many-to-Many Information Flow Policies.

[BibT_eX]

[DOI]

Paolo Baldan

Alessandro Beggiato

Proceedings of the Coordination Models and Languages, 2017

Microservices: Yesterday, Today, and Tomorrow.

[BibT_eX]

[DOI]

Saverio Giallorenzo

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

AVOCLOUDY: a simulator of volunteer clouds.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2016

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014).

[BibT_eX]

[DOI]

Dragan Bosnacki

Anton Wijs

Sci. Comput. Program., 2016

Preface for the special issue on Interaction and Concurrency Experience 2014.

[BibT_eX]

[DOI]

Ivan Lanese

Ana Sokolova

Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2016

A Coordination Language for Databases.

[BibT_eX]

[DOI]

Ximeng Li

Xi Wu

Flemming Nielson

Hanne Riis Nielson

Log. Methods Comput. Sci., 2016

Microservices: yesterday, today, and tomorrow.

[BibT_eX]

[DOI]

Saverio Giallorenzo

CoRR, 2016

Statistical Model Checking for Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Replicating Data for Better Performances in X10.

[BibT_eX]

[DOI]

Marina Andric

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

The SCEL Language: Design, Implementation, Verification.

[BibT_eX]

[DOI]

Diego Latella

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.

[BibT_eX]

[DOI]

Martin Wirsing

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Tools for Ensemble Design and Runtime.

[BibT_eX]

[DOI]

Dhaminda B. Abeywickrama

Giacoma Valentina Monreale

Michele Loreti

Andrea Margheri

Philip Mayer

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Preface.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2015

Preface for the special issue of Interaction and Concurrency Experience 2013.

[BibT_eX]

[DOI]

Marco Carbone

Ivan Lanese

Ana Sokolova

Sci. Comput. Program., 2015

Constraint design rewriting.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Modelling and analyzing adaptive self-assembly strategies with Maude.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Guest Editorial: Special Issue on Service-Oriented Architectures and Programming.

[BibT_eX]

[DOI]

Mario Bravetti

Manuel Mazzara

Fabrizio Montesi

J. Internet Serv. Inf. Secur., 2015

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Klaim-DB: A Modeling Language for Distributed Database Applications.

[BibT_eX]

[DOI]

Xi Wu

Ximeng Li

Flemming Nielson

Hanne Riis Nielson

Proceedings of the Coordination Models and Languages, 2015

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields.

[BibT_eX]

[DOI]

Michele Loreti

Proceedings of the Coordination Models and Languages, 2015

Replica-Based High-Performance Tuple Space Computing.

[BibT_eX]

[DOI]

Marina Andric

Proceedings of the Coordination Models and Languages, 2015

Discretionary Information Flow Control for Interaction-Oriented Specifications.

[BibT_eX]

[DOI]

Flemming Nielson

Hanne Riis Nielson

Proceedings of the Logic, Rewriting, and Concurrency, 2015

A White Box Perspective on Behavioural Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

Awareness and Control in Adaptable Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

[BibT_eX]

[DOI]

Yehia Abd Alrahman

Marina Andric

Alessandro Beggiato

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Reputation-Based Cooperation in the Clouds.

[BibT_eX]

[DOI]

Alessandro Celestini

Philip Mayer

Francesco Tiezzi

Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

A computational field framework for collaborative task execution in volunteer clouds.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Programming and Verifying Component Ensembles.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013

Adaptation is a Game.

[BibT_eX]

[DOI]

Adv. Math. Commun., 2013

Combining declarative and procedural views in the specification and analysis of product families.

[BibT_eX]

[DOI]

Marinella Petrocchi

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

A Cooperative Approach for Distributed Task Execution in Autonomic Clouds.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro International Conference on Parallel, 2013

2012

Counterpart Semantics for a Second-Order μ-Calculus.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2012

Adaptable Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

State Space c-Reductions of Concurrent Systems in Rewriting Logic.

[BibT_eX]

[DOI]

José Meseguer

Proceedings of the Formal Methods and Software Engineering, 2012

Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 6th International Conference, 2012

A Conceptual Framework for Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

On Structured Model-Driven Transformations.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2011

Towards a Maude Tool for Model Checking Temporal Graph Properties.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Evaluating the Performance of Model Transformation Styles in Maude.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

A Formal Support to Business and Architectural Design for Service-Oriented Systems.

[BibT_eX]

[DOI]

Howard Foster

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Hierarchical Models for Service-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

An Algebra of Hierarchical Graphs and its Application to Structural Encoding.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2010

An Algebra of Hierarchical Graphs.

[BibT_eX]

[DOI]

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Counterpart Semantics for a Second-Order µ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 5th International Conference, 2010

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.

[BibT_eX]

[DOI]

Artur Boronat

Generoso Paolillo

Proceedings of the Formal Techniques for Distributed Systems, 2010

On GS-Monoidal Theories for Graphs with Nesting.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

Partial-order reduction for general state exploring algorithms.

[BibT_eX]

[DOI]

Dragan Bosnacki

Int. J. Softw. Tools Technol. Transf., 2009

Ten virtues of structured graphs.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

A Formalisation of Adaptable Pervasive Flows.

[BibT_eX]

[DOI]

Antonio Bucchiarone

Annapaola Marconi

Marco Pistore

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

A Graph Syntax for Processes and Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

A Service-Oriented UML Profile with Formal Support.

[BibT_eX]

[DOI]

Matthias M. Hölzl

Nora Koch

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

2008

Hierarchical Design Rewriting with Maude.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

On Symbolic Semantics for Name-decorated Contexts.

[BibT_eX]

[DOI]

Andrea Bracciali

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Style-Based Architectural Reconfigurations.

[BibT_eX]

Bull. EATCS, 2008

Graph-Based Design and Analysis of Dynamic Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Service Oriented Architectural Design.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Towards Model Checking Spatial Properties with SPIN.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2007

Graphical Encoding of a Spatial Logic for the pi -Calculus.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

A Temporal Graph Logic for Verification of Graph Transformation Systems.

[BibT_eX]

[DOI]

Paolo Baldan

Barbara König

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Heuristic Search for the Analysis of Graph Transition Systems.

[BibT_eX]

[DOI]

Shahid Jabbar

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Quantitative mu-calculus and CTL defined over constraint semirings.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

A Logic for Application Level QoS.

[BibT_eX]

[DOI]

Dan Hirsch

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Graphical Verification of a Spatial Logic for the pi-calculus.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, 2005

Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks.

[BibT_eX]

[DOI]

Javier Rubio-Loyola

Joan Serrat

Marinos Charalambides

Paris Flegkas

George Pavlou

Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

Cost-Algebraic Heuristic Search.

[BibT_eX]

[DOI]

Shahid Jabbar

Proceedings of the Proceedings, 2005

2004

Partial-order reduction and trail improvement in directed model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

Directed explicit-state model checking in the validation of communication protocols.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

Quantitative ?-calculus and CTL Based on Constraint Semirings.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

A Logic for Graphs with QoS.

[BibT_eX]

[DOI]

Gianluigi Ferrari

Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004

2003

Directed search for the verification of communication protocols.

[BibT_eX]

[DOI]

PhD thesis, 2003

2002

Partial Order Reduction in Directed Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Model Checking of Software, 2002

2001

Trail-directed model checking.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Software Model Checking 2001, 2001

Directed Explicit Model Checking with HSF-SPIN.

[BibT_eX]

[DOI]