BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pavlovic:Dusko

Contributed to:

SEFM 20102010
FM 20062006
FoSSaCS 20042004
ASE 20012001
FoSSaCS 20012001
World Congress on Formal Methods 19991999
LICS 19981998
POPL 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.