Codice:
E201044
ISSN:
2075-2180
Dati Generali
Pubblicazioni (42)
A definition scheme for quantitative bisimulation
Contributo in Atti di convegnoA historical account of my early research interests
Contributo in Atti di convegnoABA Learning via ASP
Contributo in Atti di convegnoBisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
Contributo in Atti di convegnoBounded Symbolic Execution for Runtime Error Detection of Erlang Programs
Contributo in Atti di convegnoCARMA: Collective Adaptive Resource-sharing Markovian Agents
Contributo in Atti di convegnoCHC-COMP 2022: Competition Report
Contributo in Atti di convegnoCoherent branching feature bisimulation
Contributo in Atti di convegnoContract Strengthening through Constrained Horn Clause Verification
Contributo in Atti di convegnoDesign and optimisation of the flyfast front-end for attribute-based coordination
Contributo in Atti di convegnoEfficient checking of individual rewards properties in Markov population models
Contributo in Atti di convegnoFormal modeling and initial analysis of the 4SECURail case study
Contributo in Atti di convegnoFrom collective adaptive systems to human centric computation and back: spatial model checking for medical imaging
Contributo in Atti di convegnoFrom orchestration to choreography through contract automata
Contributo in Atti di convegnoLemma Generation for Horn Clause Satisfiability: A Preliminary Study
Contributo in Atti di convegnoLocation aggregation of spatial population CTMC models
Contributo in Atti di convegnoMetric-Aware Secure Service Orchestration
Contributo in Atti di convegnoNominal cellular automata
Contributo in Atti di convegnoOn-the-fly probabilistic model checking
Contributo in Atti di convegnoProceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017
Contributo in Atti di convegnoProceedings FMSPLE 2015
CuratelaProduct lines for service oriented applications - PL for SOA
Contributo in Atti di convegnoProving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Contributo in Atti di convegnoQuantitative analysis of probabilistic models of software product lines with statistical model checking
Contributo in Atti di convegnoRemoving unnecessary variables from Horn clause verification conditions
Contributo in Atti di convegnoResearch challenges in orchestration synthesis
Contributo in Atti di convegnoStochastically timed predicate-based communication primitives for autonomic computing
Contributo in Atti di convegnoTen diverse formal models for a CBTC automatic train supervision system
Contributo in Atti di convegnoTowards a feature mu-calculus targeting SPL verification
Contributo in Atti di convegnoTransformational verification of quicksort
Contributo in Atti di convegnoTransforming Constrained Horn Clauses for Program Verification
Contributo in Atti di convegnoUsing a Machine Learning Approach to Implement and Evaluate Product Line Features
Contributo in Atti di convegnoVerification of Programs by Combining Iterated Specialization with Interpolation
Contributo in Atti di convegnoNo Results Found