My DBLP

My Google Scholar Citations
Copyright Notice. The documents distributed have been provided by the contributing authors as a means to ensure timely dissemination of technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, not withstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


Journals, Conferences and Workshops
[9] Typechecking Protocols with Mungo and StMungo.
D.Kouzapas, O.Dardha, R. Perera and S. J. Gay.
In Proc of the 18th International Symposium on Principles and Practive of Declarative Programming (PPDP 2016).
Edinburgh, United Kingdom, September 5-7, 2016. [.pdf] [.pdf-long]
bib
@inproceedings{KDPG16,
  author    = {Dimitrios Kouzapas and
               Ornela Dardha and
               Roly Perera and 
               Simon J.Gay},
  title     = {Typechecking Protocols with Mungo and StMungo},
  booktitle = {PPDP},
  publisher = {ACM},
  pages     = {?-?},
  year      = {2016}
}         
[8] Type Systems for Distributed Programs: Session Communication.
O.Dardha.
In Bulletin of EATCS. Issue of October 2015.
[.pdf]
bib
@article{D15,
  author    = {Ornela Dardha},
  title     = {Type Systems for Distributed Programs: Session Communication},
  journal   = {Bulletin of the {EATCS}},
  volume    = {117},
  pages     = {70--99},
  year      = {2015},
  url       = {http://bulletin.eatcs.org/index.php/beatcs/article/view/375}
}         
[7] Comparing Deadlock-Free Session Typed Processes.
O.Dardha and J. A. Perez.
In Proc. of the Combined 22th International Workshop on Expressiveness in Concurrency
and 12th Workshop on Structural Operational Semantics. (EXPRESS/SOS 2015).
Madrid, Spain, August 31, 2015. [.pdf] [.pdf-long]
bib
@inproceedings{DP15,
  author    = {Ornela Dardha and
               Jorge A. P{\'{e}}rez},
  title     = {Comparing Deadlock-Free Session Typed Processes},
  booktitle = {EXPRESS/SOS},
  pages     = {1--15},
  year      = {2015},
  url       = {http://dx.doi.org/10.4204/EPTCS.190.1},
  doi       = {10.4204/EPTCS.190.1}
}                  
[6] On duality relations for session types.
G.Bernardi, O.Dardha, S.J.Gay and D.Kouzapas.
In Proc. of the 9th International Symposium on Trustworthy Global Computing (TGC 2014).
Rome, Italy, September 5-6, 2014. [.pdf] [.pdf-long]
bib
@inproceedings{BDGK14,
  author   = {Giovanni Bernardi and
              Ornela Dardha and
              Simon J. Gay and 
              Dimitrios Kouzapas},
  title     = {On duality relations for session types},
  booktitle = {TGC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8902},
  pages     = {51-66},
  doi       = {10.1007/978-3-662-45917-1_4},
  year      = {2014}
}                     
[5] Recursive Session Types Revisited.
O.Dardha.
In Proc. of the 3rd International Workshop on Behavioural Types (BEAT 2014).
Rome, Italy, September 1, 2014. [.pdf] [.pdf-long]
bib
  @inproceedings{D14,
  author    = {Ornela Dardha},
  title     = {Recursive Session Types Revisited},
  booktitle = {BEAT},
  pages     = {27-34},
  url       = {http://dx.doi.org/10.4204/EPTCS.162.4},
  doi       = {10.4204/EPTCS.162.4},
  year      = {2014}
} 
[4] Progress as Compositional Lock-Freedom.
M.Carbone, O.Dardha and F.Montesi.
In Proc. of the 16th International Conference on Coordination Models and Languages (COORDINATION 2014).
Berlin, Germany, June 3-5, 2014. [.pdf] [.pdf-long]
bib
  @inproceedings{CDM14,
  author    = {Marco Carbone and
               Ornela Dardha and
               Fabrizio Montesi},
  title     = {Progress as Compositional Lock-Freedom},
  booktitle = {COORDINATION},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8459},
  pages     = {49-64},
  year      = {2014}
}		                  
[3] A Type System for Components.
O.Dardha, E.Giachino and M.Lienhardt.
In Proc. of the 11th International Conference of Software Engineering and Formal Methods (SEFM 2013).
Madrid, Spain, September 25-27, 2013. [.pdf]
bib
  @inproceedings{DGL13,
  author    = {Ornela Dardha and
               Elena Giachino and
               Michael Lienhardt},
  title     = {A Type System for Components},
  booktitle = {SEFM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8137},
  pages     = {167-181},
  year      = {2013}
}		                  
[2] Semantic Subtyping for Objects and Classes.
O.Dardha, D.Gorla and D.Varacca.
In Proc. of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS 2013).
Florence, Italy, June 3-6, 2013. [.pdf]
bib
  @inproceedings{DGV13,
  author    = {Ornela Dardha and
	       Daniele Gorla and
	       Daniele Varacca},
  title     = {Semantic Subtyping for Objects and Classes},
  booktitle = {FMOODS/FORTE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7892},
  pages     = {66-82},
  year      = {2013}
}		                  
[1] Session Types Revisited.
O.Dardha, E.Giachino and D.Sangiorgi.
In Proc. of the 14th International Symposium on Principles and Practice of Declarative Programming (PPDP 2012).
Leuven, Belgium, September 19-21, 2012. [.pdf]
bib
  @inproceedings{DGS12,
  author    = {Ornela Dardha and
	       Elena Giachino and
	       Davide Sangiorgi},
  title     = {Session types revisited},
  booktitle = {PPDP},
  publisher = {ACM},
  pages     = {139-150},
  year      = {2012}
}		                  


Ph.D. Thesis
Type Systems for Distributed Programs: Components and Sessions.
O.Dardha. [.pdf] [@hal]
Best Italian PhD thesis in Theoretical Computer Science 2015. Awarded by the Italian Chapter of EATCS.
bib
    @phdthesis{dardha:tel-01020998,
    hal_id      = {tel-01020998},
    url         = {http://tel.archives-ouvertes.fr/tel-01020998},
    title       = {{Type Systems for Distributed Programs: Components and Sessions}},
    author      = {Dardha, Ornela},
    language    = {Anglais},
    affiliation = {FOCUS - INRIA Sophia Antipolis , Dipartimento di Scienze dell'Informazione [Bologna] -DISI,
                  Department of Computer Science and Engineering [Bologna] - DISI},
    school      = {Universit{\`a} degli studi di Bologna},
    type        = {THESE},
    year        = {2014},
    month       = {May},
    pdf         = {http://tel.archives-ouvertes.fr/tel-01020998/PDF/big\_main.pdf},
}