OPCT 2019 Contributors -

Sun 13 - Sat 19 January 2019 Cascais, Portugal

co-located with POPL 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (34)

A Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany Hybrid Systems Reachability Analysis
B Paolo BaldanBaldan, Paolo University of PadovaItaly Model Checking True Concurrency Properties
Giovanni BernardiBernardi, Giovanni Université Paris DiderotFrance From Testing Preorders to Flaky Tests
Marco BernardoBernardo, Marco University of Urbino ULTraS at Work: Compositionality and Equational Characterization of Behavioral Metaequivalences
C Luís CairesCaires, Luís NOVA-LINCS, FCT NOVA / Universidade Nova de LisboaPortugal A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic
Georgiana CaltaisCaltais, Georgiana University of Konstanz Causal Reasoning for Safety
Ilaria CastellaniCastellani, Ilaria INRIA Sophia Antipolis, FranceFrance Session Chair of Session Types (part of OPCT) Committee Member in Organizing Committee within the OPCT-track
Valentina CastiglioniCastiglioni, Valentina Inria Saclay - Ile de France A Metric Semantics for Coordination Languages
Andrea CeroneCerone, Andrea Imperial College London A Uniform Framework of Transactional Consistency Models for Protocol Verification and Program Analysis
D Rocco De NicolaDe Nicola, Rocco Attribute Based Communication for Collective Adaptive Systems
Cinzia Di GiustoDi Giusto, Cinzia Laboratoire I3S Multiparty Reactive Sessions
Emanuele D’OsualdoD’Osualdo, Emanuele Imperial College London, UKUnited Kingdom Compositional Reasoning for Termination of Fine-grained Concurrent Programs
F Carla FerreiraFerreira, Carla Universidade Nova Lisboa IPA: Invariant-preserving Applications for Weakly Consistent Replicated Databases
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta A Foundation for Runtime Enforcement
G Philippa GardnerGardner, Philippa Imperial College London Session Chair of Cyberphysical Systems, Hybrid Systems (part of OPCT)
H Thomas H. HildebrandtH. Hildebrandt, Thomas Session Chair of Causality, Reversibility (part of OPCT)
Helle Hvid HansenHansen, Helle Hvid Delft University of Technology A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark Processes as Names?
K Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification
Jean KrivineKrivine, Jean CNRSFrance A Calculus of Branching Processes
Barbara KönigKönig, Barbara University of Duisburg-Essen Session Chair of Algebra, Coalgebra, Model Checking (part of OPCT)
L Malte LochauLochau, Malte Independence, Concurrency and Abstraction in Graph-Rewriting Processes
Michele LoretiLoreti, Michele University of CamerinoItaly Designing Resilient Large Scaled CPS: Models, Languages and Tools
Bas LuttikLuttik, Bas Eindhoven University of Technology Revised Semantics for Sequential Composition in the Presence of Successful Termination (Tentative)
M Mohammad MousaviMousavi, Mohammad University of Leicester, UKUnited Kingdom Session Chair of Equational Characterisations, Transactions (part of OPCT) Committee Member in Organizing Committee within the OPCT-track
N Renato NevesNeves, Renato University of Minho & INESC TEC Hybrid System Iteration
P Kirstin PetersPeters, Kirstin TU Berlin Taming Concurrency for Verification using Multiparty Session Types
Gustavo PetriPetri, Gustavo IRIF, Université Paris DiderotFrance Session Chair of Concurrent Programming, Memory Models (part of OPCT)
R António RavaraRavara, António Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCSPortugal Session Chair of Session Types, Graph-Rewriting (part of OPCT) Committee Member in Organizing Committee within the OPCT-track
Jurriaan RotRot, Jurriaan Radboud University Nijmegen Coalgebra Learning via Duality
S Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom Session Chair of Algebra, Coalgebra (part of OPCT) Committee Member in Organizing Committee within the OPCT-track
T Simone TiniTini, Simone University of Insubria Weak Bisimulation Metrics in Models with Nondeterminism and Continuous States Space: A Logical Characterization
U Irek UlidowskiUlidowski, Irek University of Leicester An Axiomatic Approach to Reversible Computation
W Kirsten WinterWinter, Kirsten The University of Queensland Linearizability in the Context of Weak Memory Models