Selected Publications

In preparation:

Herbert Wiklicky.

Program Synthesis and Linear Operator Semantics.

Program Analysis

Alessandra Di Pierro, and Herbert Wiklicky.: Probabilistic abstract intepretation: From trace semantics to DTMC's via linear regression
Semantics, Logics and Calculi, Lecture Notes in Computer Science, Vol.9560, pages 111-139. Springer, 2016.
Alessandra Di Pierro, and Herbert Wiklicky.: Probabilistic Analysis of Programs: A Weak Limit Approach
FOPARA'13 Post-Proceedings, LNCS, Springer Verlag, 2014.
Alessandra Di Pierro, and Herbert Wiklicky.: Probabilistic data flow analysis: A linear equational approach.
Proceedings of GandALF'13, EPTCS, Vol 119, p150-165, 2013.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Probabilistic semantics and analysis.
In A.Aldini, B.Bernardo, A. Di Pierro, and H. Wiklicky, editors, Formal Methods for Quantitative Aspects of Programming Languages, volume 6155 of Lecture Notes in Computer Science, pages 1-42. Springer Verlag, 2010.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Program analysis probably counts.
The Computer Journal, 53(6):871-880, 2009.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: A systematic approach to probabilistic pointer analysis.
In Z. Shao, editor, Proceedings of APLAS'07 - 5th Asian Symposium on Programming Languages and Systems, volume 4807 of Lecture Notes in Computer Science, pages 335-350. Springer Verlag, 2007
Alessandra Di Pierro, Pascal Sotin, and Herbert Wiklicky.: Relational analysis and precision via probabilistic abstract interpretation.
In C. Baier and A. Aldini, editors, QAPL'08 -- ETAPS Workshop on Quantitative Aspects of Programming Languages, Electronic Notes in Theoretical Computer Science. Elsevier, 2008.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: On probabilistic techniques for data flow analysis.
In QAPL'07 -- ETAPS Workshop on Quantitative Aspects of Programming Languages, volume 190(3) of Electronic Notes in Theoretical Computer Science. Elsevier, 2007.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Abstract interpretation for worst and average case analysis.
In T. Reps, M. Sagiv, and J. Bauer, editors, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm, volume 4444 of Lecture Notes in Computer Science, pages 160-174. Springer Verlag, 2007.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Probabilistic lambda calculus and quantitative program analysis.
Journal of Logic and Computation, 15(2):159-179, 2005.
Alessandra Di Pierro and Herbert Wiklicky.: Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation.
In M. Gabbrielli and F. Pfenning, editors, Proceedings of PPDP'00 - Principles and Practice of Declarative Programming, pages 127-138, Monteéal, Canada, September 2000. ACM SIGPLAN, Association of Computing Machinery.

Computer Security

Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Probabilistic timing covert channels: to close or not to close?
International Journal of Information Security, 10(2):83-106, 2011.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Quantifying timing leaks and cost optimisation.
In L. Chen, M.D. Ryan, and G. Wang, editors, Proceedings of ICICS'08 - 10th International Conference on Information and Communications Security, volume 5308 of Lecture Notes in Computer Science, pages 81-96. Springer Verlag, 2008.
Alessandra Di Pierro, Chris Hankin, Igor Siveroni, and Herbert Wiklicky.: Tempus fugit: How to plug it.
Journal of Logic and Algebraic Programming, 72(2):173-190, 2007.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Measuring the confinement of probabilistic systems.
Theoretical Computer Science, 340:3-56, 2005.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Approximate non-interference.
Journal of Computer Security, 1(12):37-81, 2004.
Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, and Herbert Wiklicky.: Two formal approaches for approximating noninterference properties.
In R. Focardi and R. Gorrieri, editors, Foundations of Security Analysis and Design, volume 2946 of Lecture Notes in Computer Science. Springer Verlag, 2004.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Approximate non-interference.
In I. Cervesato, editor, CSFW'02 -- 15th IEEE Computer Security Foundation Workshop, pages 3-17. IEEE, June 2002.

Probabilistic Semantics

Herbert Wiklicky.: On Dynamical Probabilities, or: How to learn to shoot straight
Coordination Models and Languages, pages 262-277, Volume 9686 of Lecture Notes in Computer Sciencs, 2016.
Alessandra Di Pierro and Herbert Wiklicky.: Semantics of Probabilistic Programs: A Weak Limit Approach
APLAS'13, LNCS Vol 8301, Springer Verlag, 2013.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Reversible combinatory logic.
Mathematical Structures in Computer Science, 16(4):1-17, 2006.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Probabilistic chemical abstract machine and the expressiveness of linda languages.
In F.S. de Boer, M.M. Bonsangue, S. Graf, and W.-P. de Roever, editors, Proceedings of FMCO 2005 - 4th International Symposium on Formal Methods for Components and Object, volume 4111 of Lecture Notes in Computer Science, pages 388-407. Springer Verlag, 2006.
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky.: Quantitative relations and approximate process equivalences.; In D. Lugiez, editor, Proceedings of CONCUR'03 -- International Conference on Concurrency Theory, volume 2761 of Lecture Notes in Computer Science, pages 508-522, Berlin -- Heidelberg -- New York, 2003. Springer Verlag.

Quantum Computation

Alessandra Di Pierro and Herbert Wiklicky.: Semantic abstraction and quantum computation.
In P. Selinger, editor, Proceedings of QPL'06, 4th International Workshop on Quantum Programming Languages, Electronic Notes in Theoretical Computer Science. Elsevier, 2007.