Travelled to:1 × Canada
1 × France
1 × Spain
2 × Italy
2 × USA
Collaborated with:∅ D.R.Smith M.H.Escardó S.Krstic J.Launchbury M.W.Mislove J.Ouaknine J.Worrell R.Bruni R.Giacobazzi R.Gori Isabel Garcia-Contreras
Talks about:abstract (2) process (2) specif (2) secur (2) interpret (1) incomplet (1) extension (1) connector (1) coalgebra (1) unreason (1)
Person: Dusko Pavlovic
DBLP: Pavlovic:Dusko
Contributed to:
2010
2006
2004
200120011999
1998
2020Wrote 8 papers:
- SEFM-2010-Pavlovic #effectiveness #overview #perspective #security
- The Unreasonable Ineffectiveness of Security Engineering: An Overview (DP), pp. 12–18.
- FM-2006-Pavlovic #development #protocol
- Connector-Based Software Development: Deriving Secure Protocols (DP), pp. 598–599.
- FoSSaCS-2004-MisloveOPW #markov #process
- Duality for Labelled Markov Processes (MWM, JO, DP, JW), pp. 393–407.
- ASE-2001-PavlovicS #behaviour #composition #refinement #specification
- Composition and Refinement of Behavioral Specifications (DP, DRS), pp. 157–165.
- FoSSaCS-2001-KrsticLP #algebra #category theory #process
- Categories of Processes Enriched in Final Coalgebras (SK, JL, DP), pp. 303–317.
- FM-v1-1999-Pavlovic #first-order #parametricity #semantics #specification
- Semantics of First Order Parametric Specifications (DP), pp. 155–172.
- LICS-1998-PavlovicE #calculus #induction
- Calculus in Coinductive Form (DP, MHE), pp. 408–417.
- POPL-2020-BruniGGGP #abstract interpretation
- Abstract extensionality: on the properties of incomplete abstract interpretations (RB, RG, RG, IGC, DP), p. 28.