ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

Journal

Identifier:

E201044

ISSN:

2075-2180

Overview

Outputs (42)

A definition scheme for quantitative bisimulation

Conference Paper

A historical account of my early research interests

Conference Paper

ABA Learning via ASP

Conference Paper

An Individual-based Probabilistic Model for Fish Stock Simulation

Academic Article

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

Conference Paper

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

Conference Paper

CARMA: Collective Adaptive Resource-sharing Markovian Agents

Conference Paper

CHC-COMP 2022: Competition Report

Conference Paper

Coherent branching feature bisimulation

Conference Paper

Contract Strengthening through Constrained Horn Clause Verification

Conference Paper

Design and optimisation of the flyfast front-end for attribute-based coordination

Conference Paper

Efficient checking of individual rewards properties in Markov population models

Conference Paper

Formal modeling and initial analysis of the 4SECURail case study

Conference Paper

From collective adaptive systems to human centric computation and back: spatial model checking for medical imaging

Conference Paper

From orchestration to choreography through contract automata

Conference Paper

Lemma Generation for Horn Clause Satisfiability: A Preliminary Study

Conference Paper

Location aggregation of spatial population CTMC models

Conference Paper

Metric-Aware Secure Service Orchestration

Conference Paper

Nominal cellular automata

Conference Paper

On formal methods for collective adaptive system engineering. {Scalable approximated, spatial} analysis techniques. Extended abstract

Conference Paper

On-the-fly probabilistic model checking

Conference Paper

Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages

Edited Book

Preface of the Proceedings Tenth Workshop on Quantitative Aspects of Programming Languages

Edited Book

Preface. Proceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA'23)

Edited Book

Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems

Edited Book

Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017

Conference Paper

Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation

Edited Book

Proceedings FMSPLE 2015

Edited Book

Proceedings Fifth International Workshop on Verification and Program Transformation

Edited Book

Product lines for service oriented applications - PL for SOA

Conference Paper

Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification

Conference Paper

Quantitative analysis of probabilistic models of software product lines with statistical model checking

Conference Paper

Removing unnecessary variables from Horn clause verification conditions

Conference Paper

Research challenges in orchestration synthesis

Conference Paper

Stochastically timed predicate-based communication primitives for autonomic computing

Conference Paper

Ten diverse formal models for a CBTC automatic train supervision system

Conference Paper

Towards a feature mu-calculus targeting SPL verification

Conference Paper

Transformational verification of quicksort

Conference Paper

Transforming Constrained Horn Clauses for Program Verification

Conference Paper

Using a Machine Learning Approach to Implement and Evaluate Product Line Features

Conference Paper

Verification of Imperative Programs by Constraint Logic Program Transformation

Academic Article

Verification of Programs by Combining Iterated Specialization with Interpolation

Conference Paper

No Results Found

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

Overview

Outputs (42)