::BibTeX file::

@article{bbbnps:ieeesw2018,
  author = {Victor Basili and Lionel Briand and Domenico
                  Bianculli and Shiva Nejati and Fabrizio Pastore and
                  Mehrdad Sabetzadeh},
  journal = {IEEE Software},
  title = {Software Engineering Research and Industry: A
                  Symbiotic Relationship to Foster Impact},
  year = 2018,
  doi = {10.1109/MS.2018.290110216},
  volume = 35,
  number = 5,
  pages = {44--49},
  month = {September}
}
@inproceedings{bbb:ase2018,
  title = {Model-driven Run-time Enforcement of Complex
                  Role-based Access Control Policies},
  year = 2018,
  booktitle = {Proceedings of the 2018 33rd ACM/IEEE International
                  Conference on Automated Software Engineering
                  (ASE'18), September 3--7, 2018, Montpellier, France},
  month = {September},
  publisher = {ACM},
  author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
                  Briand},
  doi = {10.1145/3238147.3238167},
  pages = {248--258}
}
@inproceedings{dbb:models2018,
  author = {Wei Dou and Domenico Bianculli and Lionel Briand},
  title = {Model-Driven Trace Diagnostics for Pattern-based
                  Temporal Specifications},
  year = 2018,
  month = {October},
  booktitle = {Proceedings of the 2018 ACM/IEEE 21st International
                  Conference on Model Driven Engineering Languages and
                  Systems (MODELS~2018), Copenhaghen, Denmark},
  publisher = {ACM},
  doi = {10.1145/3239372.3239396},
  pages = {278--288},
}
@article{tsbb:tse2018,
  author = {Julian Thom\'e and {Lwin Khin} Shar and Domenico
                  Bianculli and Lionel Briand},
  journal = {IEEE Transactions on Software Engineering},
  title = {An Integrated Approach for Effective Injection
                  Vulnerability Analysis of Web Applications through
                  Security Slicing and Hybrid Constraint Solving},
  year = 2018,
  doi = {10.1109/TSE.2018.2844343},
}
@inproceedings{mpbb-icpc2018,
  author = {Salma Messaoudi and Annibale Panichella and Domenico
                  Bianculli and Lionel Briand and Raimondas
                  Sasnauskas},
  title = {A Search-based Approach for Accurate Identification
                  of Log Message Formats},
  booktitle = {Proceedings of the 26th IEEE/ACM International
                  Conference on Program Comprehension (ICPC~2018),
                  Gothenborg, Sweden},
  year = 2018,
  month = {May},
  doi = {10.1145/3196321.3196340},
  publisher = {ACM},
  pages = {167--177}
}
@book{bmr-40icse,
  editor = {Domenico Bianculli and Nenad Medvidovi\'c and David
                  R. Rosenblum},
  title = {{40 editions of ICSE: the ruby anniversary
                  celebration}},
  publisher = {self-published},
  year = 2018,
  month = {May},
  url = {https://www.icse2018.org/getImage/orig/icse2018-booklet-screen.pdf}
}
@article{tsbb:jss2018,
  author = {Julian Thom\'e and {Lwin Khin} Shar and Domenico
                  Bianculli and Lionel Briand},
  title = {Security Slicing for Auditing Common Injection
                  Vulnerabilities },
  journal = {Journal of Systems and Software },
  year = 2018,
  doi = {10.1016/j.jss.2017.02.040},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121217300444},
  volume = 137,
  pages = {766--783},
  month = {March}
}
@inproceedings{bk-rvcubes2017,
  author = { Domenico Bianculli and Sr\dj{}an Krsti\'c},
  title = {On the Risk of Tool Over-tuning in Runtime
                  Verification Competitions},
  booktitle = {Proceedings of the International Workshop on
                  Competitions, Usability, Benchmarks, Evaluation, and
                  Standardisation for Runtime Verification Tools
                  (RV-CuBES 2017), co-located with RV 2017, Seattle,
                  WA, USA},
  year = 2017,
  month = {September},
  volume = 3,
  series = {Kalpa Publications in Computing},
  pages = {37--40},
  publisher = {EasyChair},
  url = {https://easychair.org/publications/paper/N6cC},
  doi = {10.29007/l43m}
}
@inproceedings{dbb-rvcubes2017,
  author = {Wei Dou and Domenico Bianculli and Lionel Briand},
  title = {{TemPsy-Check}: a Tool for Model-driven Trace
                  Checking of Pattern-based Temporal Properties},
  booktitle = {Proceedings of the International Workshop on
                  Competitions, Usability, Benchmarks, Evaluation, and
                  Standardisation for Runtime Verification Tools
                  (RV-CuBES 2017), co-located with RV 2017, Seattle,
                  WA, USA},
  year = 2017,
  month = {September},
  volume = 3,
  series = {Kalpa Publications in Computing},
  pages = {64--70},
  publisher = {EasyChair},
  url = {https://easychair.org/publications/paper/jwLm},
  doi = {10.29007/w2nj}
}
@article{bbnps-ieeesw2017,
  author = {Lionel Briand and Domenico Bianculli and Shiva
                  Nejati and Fabrizio Pastore and Mehrdad Sabetzadeh},
  title = {The Case for Context-Driven Software Engineering
                  Research},
  journal = {IEEE Sw.},
  year = 2017,
  doi = {10.1109/MS.2017.3571562},
  url = {http://hdl.handle.net/10993/31563},
  volume = 34,
  number = 5,
  pages = {72--75}
}
@inproceedings{tsbb:esec-fse2017-demo,
  author = {Julian Thom\'e and {Lwin Khin} Shar and Domenico
                  Bianculli and Lionel Briand},
  title = {{JoanAudit}: A Tool for Auditing Common Injection
                  Vulnerabilities},
  year = 2017,
  pages = {1004--1008},
  doi = {10.1145/3106237.3122822},
  month = {September},
  booktitle = {Proceedings of the 2017 11th Joint Meeting of the
                  European Software Engineering Conference and the ACM
                  SIGSOFT Symposium on the Foundations of Software
                  Engineering, Paderborn, Germany},
  publisher = {ACM}
}
@inproceedings{dbb:models2017,
  author = {Wei Dou and Domenico Bianculli and Lionel Briand},
  title = {A Model-driven Approach to Trace Checking of
                  Pattern-based Temporal Properties},
  year = 2017,
  month = {September},
  booktitle = {Proceedings of the 2017 ACM/IEEE 20th International
                  Conference on Model Driven Engineering Languages and
                  Systems (MODELS~2017), Austin, TX, USA},
  publisher = {IEEE},
  pages = {323--333},
  doi = {10.1109/MODELS.2017.9}
}
@inproceedings{tsbb:icse2017,
  author = {Julian Thom\'e and {Lwin Khin} Shar and Domenico
                  Bianculli and Lionel Briand},
  title = {Search-driven String Constraint Solving for
                  Vulnerability Detection},
  year = 2017,
  doi = {10.1109/ICSE.2017.26},
  month = {May},
  booktitle = {Proceedings of the 39th International Conference on
                  Software Engineering (ICSE 2017), Buenos Aires,
                  Argentina},
  publisher = {ACM},
  pages = {198--208}
}
@inproceedings{bbb:sacmat2016,
  title = {GemRBAC-DSL: a High-level Specification Language for
                  Role-based Access Control Policies},
  year = 2016,
  booktitle = {Proceedings of the 21st ACM Symposium on Access
                  Control Models and Technologies (SACMAT 2016),
                  Shanghai, China},
  month = {June},
  publisher = {ACM},
  author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
                  Briand},
  pages = {179--190},
  doi = {10.1145/2914642.2914656}
}
@inproceedings{bnsb:icse2016vision,
  author = {Lionel Briand and Shiva Nejati and Mehrdad
                  Sabetzadeh and Domenico Bianculli},
  title = {Testing the Untestable},
  year = 2016,
                  47\% (9/19)},
  month = {May},
  booktitle = {Proceedings of the 38th International Conference on
                  Software Engineering Companion (ICSE 2016), Austin,
                  TX, USA},
  publisher = {ACM},
  pages = {789--792},
  doi = {10.1145/2889160.2889212}
}
@inproceedings{bbgkp:icse2016,
  author = {{Marcello Maria} Bersani and Domenico Bianculli and
                  Carlo Ghezzi and Sr\dj{}an Krsti\'c and Pierluigi
                  {San Pietro}},
  title = {Efficient Large-scale Trace Checking Using
                  {MapReduce}},
  year = 2016,
                  Award}. Acceptance rate: 19\% (101/530)},
  month = {May},
  booktitle = {Proceedings of the 38th International Conference on
                  Software Engineering (ICSE 2016), Austin, TX, USA},
  publisher = {ACM},
  pages = {888--898},
  doi = {10.1145/2884781.2884832}
}
@techreport{bbb-gemrbac-dsl-tr,
  author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
                  Briand},
  title = {{GemRBAC-DSL}: a High-level Specification Language
                  for Role-based Access Control Policies},
  institution = {{SnT Centre - University of Luxembourg}},
  year = 2016,
  number = {{TR-SnT-2016-4}},
  url = {http://hdl.handle.net/10993/27171},
  month = {April}
}
@inproceedings{bbbh:codaspy2016,
  title = {A Model-Driven Approach to Representing and Checking
                  {RBAC} COntextual Policies},
  year = 2016,
  booktitle = {Proceedings of the 6th ACM Conference on Data and
                  Application Security and Privacy (CODASPY 2016), New
                  Orleans, LA, USA},
  month = {March},
  publisher = {ACM},
  author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
                  Briand and Benjamin Hourte},
  doi = {10.1145/2857705.2857709},
  pages = {243--253}
}
@proceedings{bcr:sefm2015ws,
  title = {Software Engineering and Formal Methods - SEFM 2015
                  Collocated Workshops: ATSE, HOFM, MoKMaSD, and
                  VERY*SCART, York, UK, September 7-8, 2015, Revised
                  Selected Papers},
  year = 2015,
  editor = {Domenico Bianculli and Radu Calinescu and Bernhard
                  Rumpe},
  volume = 9509,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  url = {http://dx.doi.org/10.1007/978-3-662-49224-6},
}
@article{bbb-jss2015,
  author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
                  Briand},
  title = {A Comprehensive Modeling Framework for Role-based
                  Access Control Policies},
  journal = {Journal of Systems and Software},
  year = 2015,
  doi = {10.1016/j.jss.2015.05.015},
  volume = 107,
  pages = {110--126},
  month = {September},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121215001041}
}
@inproceedings{bfgmr-formalise2015,
  author = {Domenico Bianculli and Antonio Filieri and Carlo
                  Ghezzi and Dino Mandrioli and {Alessandro Maria}
                  Rizzi},
  title = {Syntax-driven Program Verification of Matching Logic
                  Properties},
  booktitle = {Proceedings of the 3rd FME Workshop on Formal
                  Methods in Software Engineering (FormaliSE 2015),
                  co-located with ICSE 2015, Florence, Italy},
  year = 2015,
  month = {May},
  publisher = {IEEE},
}
@techreport{bbb-rbac-survey-tr,
  author = {Ameni {Ben Fadhel} and Domenico Bianculli and Lionel
                  Briand},
  title = {A Comprehensive Modeling Framework for Role-based
                  Access Control Policies},
  institution = {{SnT Centre - University of Luxembourg}},
  year = 2014,
  number = {{TR-SnT-2014-15}},
  url = {http://hdl.handle.net/10993/18874},
  month = {November}
}
@article{bfgm-scp2015,
  author = {Domenico Bianculli and Antonio Filieri and Carlo
                  Ghezzi and Dino Mandrioli},
  title = {Syntactic-Semantic Incrementality for Agile
                  Verification},
  journal = {Science of Computer Programming},
  year = 2015,
  month = {January},
  doi = {10.1016/j.scico.2013.11.026},
  volume = {97, part~1},
  number = 0,
  pages = {47--54},
  url = {http://www.sciencedirect.com/science/article/pii/S0167642313003109}
}
@inproceedings{bgks-soca2014,
  author = {Domenico Bianculli and Carlo Ghezzi and Sr\dj{}an
                  Krsti\'c and Pierluigi {San Pietro}},
  title = {Offline Trace Checking of Quantitative Properties of
                  Service-Based Applications},
  booktitle = {Proceedings of the 7h International Conference on
                  Service Oriented Computing and Application (SOCA
                  2014), Matsue, Japan},
  year = 2014,
  month = {November},
  publisher = {IEEE},
  pages = {9--16},
  doi = {10.1109/SOCA.2014.14},
}
@inproceedings{bfgm-isola2014,
  author = {Domenico Bianculli and Antonio Filieri and Carlo
                  Ghezzi and Dino Mandrioli},
  title = {Incremental Syntactic-Semantic Reliability Analysis
                  of Evolving Structured Workflows},
  booktitle = {Proceedings of the 6th International Symposium On
                  Leveraging Applications of Formal Methods,
                  Verification and Validation (ISoLA 2014), Corfu,
                  Greece},
  year = 2014,
  series = {Lecture Notes in Computer Science},
  month = {October},
  publisher = {Springer},
  volume = 8802,
  pages = {41--55},
  doi = {10.1007/978-3-662-45234-9_4}
}
@techreport{dbb:oclr-mapping-tr,
  author = {Wei Dou and Domenico Bianculli and Lionel Briand},
  title = {A Model-driven Approach to Offline Trace Checking of
                  Temporal Properties with {OCL}},
  institution = {{SnT Centre - University of Luxembourg}},
  year = 2014,
  number = {TR-SnT-2014-5},
  month = {September},
  url = {http://hdl.handle.net/10993/16112},
}
@inproceedings{dbb-sam2014,
  author = {Wei Dou and Domenico Bianculli and Lionel Briand},
  title = {Revisiting Model-driven Engineering for Run-time
                  Verification of Business Processes},
  booktitle = {Proceedings of the 8th System Analysis and Modeling
                  Conference (SAM 2014), Valencia, Spain},
  year = 2014,
  series = {Lecture Notes in Computer Science},
  month = {September},
  publisher = {Springer},
  volume = 8769,
  pages = {190--197},
  doi = {10.1007/978-3-319-11743-0_13}
}
@inproceedings{bgk-sefm2014,
  author = {Domenico Bianculli and Carlo Ghezzi and Sr\dj{}an
                  Krsti\'c},
  title = {Trace checking of Metric Temporal Logic with
                  Aggregating Modalities using {MapReduce}},
  booktitle = {Proceedings of the 12th International Conference on
                  Software Engineering and Formal Methods (SEFM 2014),
                  Grenoble, France},
  year = 2014,
  series = {Lecture Notes in Computer Science},
  month = {September},
  publisher = {Springer},
  volume = 8702,
  pages = {144--158},
  doi = {10.1007/978-3-319-10431-7_11}
}
@inproceedings{dbb-ecmfa2014,
  author = {Wei Dou and Domenico Bianculli and Lionel Briand},
  title = {{OCLR}: a More Expressive, Pattern-based Temporal
                  Extension of {OCL}},
  booktitle = {Proceedings of the 2014 European Conference on
                  Modelling Foundations and Applications (ECMFA 2014),
                  York, United Kingdom},
  year = 2014,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  month = {July},
  volume = 8569,
  pages = {51--66},
  doi = {10.1007/978-3-319-09195-2_4}
}
@inproceedings{bbdggk-pesos2014,
  author = {Marcello Maria Bersani and Domenico Bianculli and
                  Schahram Dustdar and Alessio Gambi and Carlo Ghezzi
                  and Sr\dj{}an Krsti\'c},
  title = {Towards the Formalization of Properties of
                  Cloud-based Elastic Systems},
  booktitle = {Proceedings of the 6th International Workshop on
                  Principles of Engineering Service-oriented Systems
                  ({PESOS} 2014), co-located with ICSE 2014,
                  Hyderabad, India},
  year = 2014,
  month = {June},
  publisher = {ACM},
  doi = {10.1145/2593793.2593798}
}
@techreport{dbb:oclr-tr,
  author = {Wei Dou and Domenico Bianculli and Lionel Briand},
  title = {{OCLR}: a More Expressive, Pattern-based Temporal
                  Extension of {OCL}},
  institution = {{SnT Centre - University of Luxembourg}},
  year = 2014,
  number = {TR-SnT-2014-2},
  month = {February},
  url = {http://hdl.handle.net/10993/15339},
}
@inproceedings{bbgks-fase2014,
  author = {Marcello Maria Bersani and Domenico Bianculli and
                  Carlo Ghezzi and Sr\dj{}an Krsti\'c and Pierluigi
                  {San Pietro}},
  title = {{SMT}-based Checking of {SOLOIST} over Sparse
                  Traces},
  booktitle = {Proceedings of the 17th International Conference on
                  Fundamental Approaches to Software Engineering (FASE
                  2014), Grenoble, France},
  year = 2014,
  month = {April},
  publisher = {Springer},
                  award}. Acceptance rate: 22.4\% (28/125)},
  pages = {276--290},
  volume = 8411,
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-642-54804-8_19}
}
@inproceedings{bgps-se2014,
  author = {Domenico Bianculli and Carlo Ghezzi and Cesare
                  Pautasso and Patrick Senti},
  title = {Specification Patterns from Research to Industry: a
                  Case Study in Service-based Applications (extended
                  abstract)},
  booktitle = {Proceedings of Software Engineering 2014: Fachtagung
                  des GI-Fachbereichs Softwaretechnik, Kiel, Germany},
  year = 2014,
  series = {Lecture Notes in Informatics},
  month = {February},
  publisher = {GI},
  pages = {51--52},
  volume = 227,
  url = {http://eprints.uni-kiel.de/23752/},
}
@techreport{bgks-TR2013,
  author = {Domenico Bianculli and Carlo Ghezzi and Sr\dj{}an
                  Krsti\'c and Pierluigi {San Pietro}},
  title = {From {SOLOIST} to {CLTLB($\mathcal{D}$)}: Checking
                  Quantitative Properties of Service-based
                  Applications},
  institution = {Politecnico di Milano - Dipartimento di Elettronica,
                  Informazione e Bioingegneria},
  year = 2013,
  month = {October},
  number = {2013.26},
}
@proceedings{bghp:qasba2013,
  editor = {Bianculli, Domenico and Guinea, Sam and Hall{\'e},
                  Sylvain and Polini, Andrea},
  title = {QASBA 2013: Proceedings of the 2013 International
                  Workshop on Quality Assurance for Service-Based
                  Applications},
  year = 2013,
  isbn = {978-1-4503-2182-2},
  location = {Lugano, Switzerland},
  publisher = {ACM},
  month = {July},
  url = {http://dl.acm.org/citation.cfm?id=2489300},
}
@proceedings{bllp:pesos2013,
  editor = {Bianculli, Domenico and Lago, Patricia and Lewis,
                  Grace A. and Paik, Hye-Young},
  title = {Proceedings of 2013 5th International Workshop on
                  Principles of Engineering Service-Oriented Systems
                  (PESOS)},
  year = 2013,
  isbn = {978-1-4673-6435-5},
  location = {San Francisco, CA, USA},
  publisher = {IEEE},
  month = {May},
  url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6619589},
}
@inproceedings{Bianculli:2013:IWP:2486788.2487073,
  author = {Bianculli, Domenico and Lago, Patricia and Lewis,
                  Grace A. and Paik, Hye-Young},
  title = {5th international workshop on principles of
                  engineering service-oriented systems ({PESOS} 2013)},
  booktitle = {Proceedings of the 2013 International Conference on
                  Software Engineering (ICSE '13), San Francisco, CA,
                  USA},
  year = 2013,
  pages = {1539--1540},
  numpages = 2,
  url = {http://dl.acm.org/citation.cfm?id=2486788.2487073},
  publisher = {IEEE Press},
  month = {May}
}
@article{bfgm:incremental2013,
  author = {Domenico Bianculli and Antonio Filieri and Carlo
                  Ghezzi and Dino Mandrioli},
  title = {A Syntactic-Semantic Approach to Incremental
                  Verification},
  journal = {CoRR},
  volume = {abs/1304.8034},
  year = 2013,
  url = {http://arxiv.org/abs/1304.8034},
  month = {May},
}
@article{Lago:2013:RIW:2413038.2382764,
  author = {Lago, Patricia and Lewis, Grace A. and Metzger,
                  Andreas and Tosic, Vladimir and Bianculli, Domenico
                  and {Di Marco}, Antinisca and Polini, Andrea and
                  Plebani, Pierluigi},
  title = {Report of the 4th international workshop on
                  principles of engineering service-oriented systems
                  ({PESOS 2012}): internet of services and the quest
                  for case studies},
  journal = {SIGSOFT Softw. Eng. Notes},
  issue_date = {January 2013},
  volume = 38,
  number = 1,
  month = jan,
  year = 2013,
  pages = {35--38},
  numpages = 4,
  url = {http://doi.acm.org/10.1145/2382756.2382764},
  doi = {10.1145/2382756.2382764},
  publisher = {ACM},
}
@incollection{bbg:wshandbook2013,
  author = {Luciano Baresi and Domenico Bianculli and Sam
                  Guinea},
  title = {Cloud-based Systems need Multi-level Management},
  booktitle = {Advanced Web Services},
  publisher = {Springer},
  year = 2013,
  editor = {Athman Bouguettaya and Michael Sheng and Florian
                  Daniel},
  pages = {579--603},
  doi = {10.1007/978-1-4614-7535-4_24}
}
@inproceedings{bgs:facs2012,
  author = {Domenico Bianculli and Carlo Ghezzi and Pierluigi
                  {San Pietro}},
  title = {The Tale of {SOLOIST}: a Specification Language for
                  Service Compositions Interactions},
  booktitle = {Proceedings of the 9th International Symposium on
                  Formal Aspects of Component Software (FACS'12),
                  Mountain View, CA, USA},
  year = 2012,
  month = {September},
  pages = {55--72},
  volume = 7684,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  doi = {10.1007/978-3-642-35861-6_4}
}
@phdthesis{b-phd-thesis,
  author = {Domenico Bianculli},
  title = {{Open-world Software: Specification, Verification,
                  and Beyond}},
  school = {{Universit\`a della Svizzera italiana}},
  year = 2012,
  month = {July},
  url = {http://doc.rero.ch/record/32809}
}
@book{bjp-matinee2012,
  editor = {Domenico Bianculli and Mehdi Jazayeri and Mauro
                  Pezz\`e},
  title = {Matin\'ee with {Carlo Ghezzi} - from {Programming
                  Languages to Software Engineering}},
  publisher = {CreateSpace},
  year = 2012,
  month = {June},
  url = {https://sites.google.com/site/matineecarloghezzi/book}
}
@inproceedings{bgps:icse2012,
  author = {Domenico Bianculli and Carlo Ghezzi and Cesare
                  Pautasso and Patrick Senti},
  title = {Specification Patterns from Research to Industry: a
                  Case Study in Service-based Applications},
  booktitle = {Proceedings of the 34th International Conference on
                  Software Engineering (ICSE 2012), Z\"urich,
                  Switzerland},
  year = 2012,
  month = {June},
  publisher = {IEEE Computer Society Press},
  pages = {968--976},
  doi = {10.1109/ICSE.2012.6227125}
}
@proceedings{bgmp:qasba2011,
  editor = {Bianculli, Domenico and Guinea, Sam and Metzger,
                  Andreas and Polini, Andrea},
  title = {QASBA '11: Proceedings of the International Workshop
                  on Quality Assurance for Service-Based Applications},
  year = 2011,
  isbn = {978-1-4503-0826-7},
  location = {Lugano, Switzerland},
  publisher = {ACM},
  month = {September},
  url = {http://dl.acm.org/citation.cfm?id=2031746},
}
@inproceedings{bgp:icse2011,
  author = {Domenico Bianculli and Dimitra Giannakopoulou and
                  Corina S.~P\u as\u areanu},
  title = {Interface Decomposition for Service Compositions},
  booktitle = {Proceedings of the 33rd International Conference on
                  Software Engineering (ICSE 2011), Honolulu, HI, USA},
  year = 2011,
  month = {May},
  publisher = {ACM},
  doi = {10.1145/1985793.1985862},
  pages = {501--510}
}
@inproceedings{bbd:icse2010demo,
  author = {Domenico Bianculli and Walter Binder and Mauro Luigi
                  Drago},
  title = {{SOABench}: Performance Evaluation of
                  Service-Oriented Middleware Made Easy},
  booktitle = {Proceedings (Volume 2) of the 32nd International
                  Conference on Software Engineering (ICSE 2010), Cape
                  Town, South Africa},
  year = 2010,
  month = {May},
  publisher = {ACM},
  doi = {http://doi.acm.org/10.1145/1810295.1810361},
  pages = {301--302}
}
@inproceedings{bbd:www2010,
  author = {Domenico Bianculli and Walter Binder and Mauro Luigi
                  Drago},
  title = {Automated Performance Assessment for
                  Service-Oriented Middleware: a Case Study on {BPEL}
                  engines},
  booktitle = {Proceedings of the 19th International Conference on
                  World Wide Web (WWW 2010), Raleigh, NC, USA},
  month = {April},
  year = 2010,
  publisher = {ACM},
  doi = {10.1145/1772690.1772706},
  pages = {141--150},
}
@techreport{bbd:tr072009,
  author = {Domenico Bianculli and Walter Binder and Mauro Luigi
                  Drago},
  title = {Automated Performance Assessment for
                  Service-Oriented Middleware},
  institution = {Faculty of Informatics - University of Lugano},
  number = {2009/07},
  year = 2009,
  month = {November},
  url = {http://www.inf.usi.ch/research_publication.htm?id=55}
}
@inproceedings{bbgs:forte2009,
  author = {Luciano Baresi and Domenico Bianculli and Sam Guinea
                  and Paola Spoletini},
  title = {Keep It Small, Keep It Real: Efficient Run-time
                  Verification of Web Service Compositions},
  booktitle = {Proceedings of IFIP international conference on
                  Formal Techniques for Distributed Systems
                  (FMOODS/FORTE 2009), Lisbon Portugal},
  year = 2009,
  series = {Lecture Notes in Computer Science},
  month = {June},
  publisher = {Springer},
  doi = {10.1007/978-3-642-02138-1_2},
  pages = {26--40},
  volume = 5522,
}
@inproceedings{bgp:pesos2009,
  author = {Domenico Bianculli and Carlo Ghezzi and Cesare
                  Pautasso},
  title = {Embedding Continuous Lifelong Verification in
                  Service Life Cycles},
  booktitle = {Proceedings of Principles of Engineering Service
                  Oriented Systems (PESOS 2009), co-located with ICSE
                  2009, Vancouver, Canada},
  year = 2009,
  month = {May},
  publisher = {IEEE Computer Society Press},
  doi = {10.1109/PESOS.2009.5068828},
  pages = {99--102}
}
@inproceedings{bbdg09:icse09demo,
  author = {Domenico Bianculli and Walter Binder and Luigi Drago
                  and Carlo Ghezzi},
  title = {{ReMan}: A Pro-active Reputation Management
                  Infrastructure for Composite Web Services},
  booktitle = {Proceedings of the 31st International Conference on
                  Software Engineering (ICSE 2009), Vancouver, Canada},
  month = {May},
  year = 2009,
                  (24/72)},
  publisher = {IEEE Computer Society Press},
  doi = {10.1109/ICSE.2009.5070571},
  pages = {623--626},
}
@techreport{bbgs:forte2009-tr,
  author = {Luciano Baresi and Domenico Bianculli and Sam Guinea
                  and Paola Spoletini},
  title = {Keep It Small, Keep It Real: Efficient Run-time
                  Verification of Web Service Compositions},
  year = 2009,
  month = {April},
  institution = {Politecnico di Milano - Dipartimento di Elettronica
                  e Informazione},
  number = {2009.9},
}
@inproceedings{b:ds-fse2008,
  author = {Domenico Bianculli},
  title = {Lifelong Verification of Dynamic Service
                  Compositions},
  booktitle = {Proceedings of the 2008 Foundations of Software
                  Engineering Doctoral Symposium (FSEDS '08),
                  co-located with ACM SIGSOFT 2008/FSE 16, Atlanta,
                  USA},
  year = 2008,
  month = {November},
  publisher = {ACM},
  pages = {1--4},
  doi = {10.1145/1496653.1496654},
}
@inproceedings{bg:aramis2008,
  author = {Domenico Bianculli and Carlo Ghezzi},
  title = {{SAVVY-WS} at a glance: supporting verifiable
                  dynamic service compositions},
  booktitle = {Proceedings of the 1st International Workshop on
                  {Automated engineeRing of Autonomous and run-tiMe
                  evolvIng Systems} (ARAMIS 2008), co-located with ASE
                  2008, L'Aquila, Italy},
  year = 2008,
  month = {September},
  publisher = {IEEE Computer Society Press},
  doi = {10.1109/ASEW.2008.4686293},
  pages = {49--56},
}
@incollection{bgsbg:lipari,
  author = {Domenico Bianculli and Carlo Ghezzi and Paola
                  Spoletini and Luciano Baresi and Sam Guinea},
  title = {A Guided Tour through {SAVVY-WS}: a Methodology for
                  Specifying and Validating Web Service Compositions},
  booktitle = {Advances in Software Engineering},
  publisher = {Springer},
  year = 2008,
  editor = {Egon B\"orger and Antonio Cisternino},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-540-89762-0},
  month = {November},
  pages = {131--160},
  volume = 5316
}
@inproceedings{bbdg:icws08,
  author = {Domenico Bianculli and Walter Binder and Luigi Drago
                  and Carlo Ghezzi},
  title = {Transparent Reputation Management for Composite Web
                  Services},
  booktitle = {Proceedings of the IEEE International Conference on
                  Web Services (ICWS 2008), Beijing, China},
  month = {September},
  year = 2008,
  publisher = {IEEE Computer Society Press},
  doi = {10.1109/ICWS.2008.39},
  pages = {621--628},
}
@inproceedings{bg:sdsoa08,
  author = {Domenico Bianculli and Carlo Ghezzi},
  title = {Towards a methodology for lifelong validation of
                  service compositions},
  booktitle = {Proceedings of the 2nd International Workshop on
                  Systems Development in SOA Environments (SDSOA
                  2008), co-located with ICSE 2008, Leipzig, Germany},
  year = 2008,
  month = {May},
  pages = {7--12},
  doi = {10.1145/1370916.1370919},
  publisher = {ACM},
}
@article{bbggs:iet07,
  author = {Luciano Baresi and Domenico Bianculli and Carlo
                  Ghezzi and Sam Guinea and Paola Spoletini},
  title = {Validation of web service compositions},
  publisher = {IET},
  year = 2007,
  month = {December},
  journal = {IET Softw.},
  volume = 1,
  number = 6,
  pages = {219--232},
  url = {http://link.aip.org/link/?SEN/1/219/1},
  doi = {10.1049/iet-sen:20070027},
}
@inproceedings{bjbgf:icsoc07,
  author = {Domenico Bianculli and Radu Jurca and Walter Binder
                  and Carlo Ghezzi and Boi Faltings},
  title = {Automated Dynamic Maintenance of Composite Services
                  based on Service Reputation},
  booktitle = {Proceedings of ICSOC'07, International Conference on
                  Service-Oriented Computing, Vienna, Austria},
  year = 2007,
  month = {September},
  pages = {449--455},
  volume = 4749,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  doi = {10.1007/978-3-540-74974-5_42},
}
@inproceedings{bg:soswe07,
  author = {Domenico Bianculli and Carlo Ghezzi},
  title = {Monitoring Conversational Web Services},
  booktitle = {Proceedings of the 2nd International Workshop on
                  Service-Oriented Software Engineering (IW-SOSWE'07),
                  co-located with ESEC/FSE 2007, Dubrovnik, Croatia},
  year = 2007,
  month = {September},
  pages = {15--21},
  publisher = {ACM},
  doi = {10.1145/1294928.1294933},
}
@inproceedings{bbggs:icws07,
  author = {Luciano Baresi and Domenico Bianculli and Carlo
                  Ghezzi and Sam Guinea and Paola Spoletini},
  title = {A Timed extension of {WSCoL}},
  booktitle = {Proceedings of the IEEE International Conference on
                  Web Services (ICWS 2007), Salt Lake City, UT, USA},
  month = {July},
  year = 2007,
  publisher = {IEEE Computer Society Press},
  pages = {663--670},
  doi = {10.1109/ICWS.2007.25},
}
@inproceedings{bgs:soca07,
  author = {Domenico Bianculli and Carlo Ghezzi and Paola
                  Spoletini},
  title = {A model checking approach to verify {BPEL4WS}
                  workflows},
  booktitle = {Proceedings of the 2007 IEEE International
                  Conference on Service-Oriented Computing and
                  Applications (IEEE SOCA 2007), Newport Beach, CA,
                  USA},
  month = {June},
  year = 2007,
  publisher = {IEEE Computer Society Press},
  pages = {13--20},
  doi = {10.1109/SOCA.2007.5},
}
@inproceedings{bmpss:icse07demo,
  author = {Domenico Bianculli and Angelo Morzenti and Matteo
                  Pradella and Pierluigi {San Pietro }and Paola
                  Spoletini},
  title = {{Trio2Promela}: a Model Checker for Temporal Metric
                  Specifications},
  booktitle = {ICSE 2007 Companion: Companion of the proceedings of
                  the 29th International Conference on Software
                  Engineering, Minneapolis, MN, USA},
  month = {May},
  year = 2007,
                  ((12+16)/56)},
  pages = {61--62},
  doi = {10.1109/ICSECOMPANION.2007.79},
  publisher = {IEEE Computer Society Press},
}
@inproceedings{bsmps:fsen07,
  author = {Domenico Bianculli and Paola Spoletini and Angelo
                  Morzenti and Matteo Pradella and Pierluigi {San
                  Pietro}},
  title = {Model checking temporal metric specification with
                  {Trio2Promela}},
  booktitle = {Proceedings of International Symposium on
                  Fundamentals of Software Engineering (FSEN 2007),
                  Teheran, Iran},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = 2007,
  pages = {388--395},
  volume = 4767,
  month = {April},
  doi = {10.1007/978-3-540-75698-9_26},
}

This file has been generated with bibtex2html and sed