::Publications::

Check also my profile on DBLP, Google Scholar, Microsoft Academic Search, and Arnet Miner

Journals

  1. Julian Thomé, Lwin Khin Shar, Domenico Bianculli, and Lionel Briand. Security slicing for auditing common injection vulnerabilities. Journal of Systems and Software, 2017. [ bib | DOI | pdf | electronic edition ]
  2. Ameni Ben Fadhel, Domenico Bianculli, and Lionel Briand. A comprehensive modeling framework for role-based access control policies. Journal of Systems and Software, 107:110–126, September 2015. [ bib | DOI | pdf | electronic edition ]
  3. Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, and Dino Mandrioli. Syntactic-semantic incrementality for agile verification. Science of Computer Programming, 97, part 1(0):47–54, January 2015. [ bib | DOI | pdf | electronic edition ]
  4. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, and Paola Spoletini. Validation of web service compositions. IET Softw., 1(6):219–232, December 2007. [ bib | DOI | pdf | electronic edition ]

Conferences

  1. Wei Dou, Domenico Bianculli, and Lionel Briand. A model-driven approach to trace checking of pattern-based temporal properties. In Proceedings of the 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA. IEEE, September 2017. Acceptance rate: 28% (24/85). [ bib | pdf ]
  2. Julian Thomé, Lwin Khin Shar, Domenico Bianculli, and Lionel Briand. Search-driven string constraint solving for vulnerability detection. In Proceedings of the 39th International Conference on Software Engineering (ICSE 2017), Buenos Aires, Argentina, pages 198–208. ACM, May 2017. Acceptance rate: 16% (68/415). [ bib | DOI | pdf ]
  3. Ameni Ben Fadhel, Domenico Bianculli, and Lionel Briand. Gemrbac-dsl: a high-level specification language for role-based access control policies. In Proceedings of the 21st ACM Symposium on Access Control Models and Technologies (SACMAT 2016), Shanghai, China, pages 179–190. ACM, June 2016. [ bib | DOI | pdf ]
  4. Lionel Briand, Shiva Nejati, Mehrdad Sabetzadeh, and Domenico Bianculli. Testing the untestable. In Proceedings of the 38th International Conference on Software Engineering Companion (ICSE 2016), Austin, TX, USA, pages 789–792. ACM, May 2016. Acceptance rate (Visions of 2025 and Beyond track): 47% (9/19). [ bib | DOI | pdf ]
  5. Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srđan Krstić, and Pierluigi San Pietro. Efficient large-scale trace checking using MapReduce. In Proceedings of the 38th International Conference on Software Engineering (ICSE 2016), Austin, TX, USA, pages 888–898. ACM, May 2016. ACM SIGSOFT Distinguished Paper Award. Acceptance rate: 19% (101/530). [ bib | DOI | pdf | extended version ]
  6. Ameni Ben Fadhel, Domenico Bianculli, Lionel Briand, and Benjamin Hourte. A model-driven approach to representing and checking RBAC contextual policies. In Proceedings of the 6th ACM Conference on Data and Application Security and Privacy (CODASPY 2016), New Orleans, LA, USA, pages 243–253. ACM, March 2016. Acceptance rate: 19% (22/115). [ bib | DOI | pdf ]
  7. Domenico Bianculli, Carlo Ghezzi, Srđan Krstić, and Pierluigi San Pietro. Offline trace checking of quantitative properties of service-based applications. In Proceedings of the 7h International Conference on Service Oriented Computing and Application (SOCA 2014), Matsue, Japan, pages 9–16. IEEE, November 2014. Acceptance rate: 26% (14/54). [ bib | DOI | pdf | extended version ]
  8. Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, and Dino Mandrioli. Incremental syntactic-semantic reliability analysis of evolving structured workflows. In Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu, Greece, volume 8802 of Lecture Notes in Computer Science, pages 41–55. Springer, October 2014. [ bib | DOI | pdf ]
  9. Wei Dou, Domenico Bianculli, and Lionel Briand. Revisiting model-driven engineering for run-time verification of business processes. In Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014), Valencia, Spain, volume 8769 of Lecture Notes in Computer Science, pages 190–197. Springer, September 2014. [ bib | DOI | pdf ]
  10. Domenico Bianculli, Carlo Ghezzi, and Srđan Krstić. Trace checking of metric temporal logic with aggregating modalities using MapReduce. In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014), Grenoble, France, volume 8702 of Lecture Notes in Computer Science, pages 144–158. Springer, September 2014. Acceptance rate: 27% (29/106). [ bib | DOI | pdf | extended version ]
  11. Wei Dou, Domenico Bianculli, and Lionel Briand. OCLR: a more expressive, pattern-based temporal extension of OCL. In Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014), York, United Kingdom, volume 8569 of Lecture Notes in Computer Science, pages 51–66. Springer, July 2014. Acceptance rate: 28.5% (14/49). [ bib | DOI | pdf ]
  12. Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srđan Krstić, and Pierluigi San Pietro. SMT-based checking of SOLOIST over sparse traces. In Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014), Grenoble, France, volume 8411 of Lecture Notes in Computer Science, pages 276–290. Springer, April 2014. Nomination for the best paper award. Acceptance rate: 22.4% (28/125). [ bib | DOI | pdf ]
  13. Domenico Bianculli, Carlo Ghezzi, and Pierluigi San Pietro. The tale of SOLOIST: a specification language for service compositions interactions. In Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS'12), Mountain View, CA, USA, volume 7684 of Lecture Notes in Computer Science, pages 55–72. Springer, September 2012. Acceptance rate: 40% (16/40). [ bib | DOI | pdf ]
  14. Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, and Patrick Senti. Specification patterns from research to industry: a case study in service-based applications. In Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zürich, Switzerland, pages 968–976. IEEE Computer Society Press, June 2012. SEiP track acceptance rate: 18.5% (20/108). [ bib | DOI | additional material | pdf ]
  15. Domenico Bianculli, Dimitra Giannakopoulou, and Corina S. Păsăreanu. Interface decomposition for service compositions. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Honolulu, HI, USA, pages 501–510. ACM, May 2011. Acceptance rate: 14% (62/441). [ bib | DOI | pdf ]
  16. Domenico Bianculli, Walter Binder, and Mauro Luigi Drago. Automated performance assessment for service-oriented middleware: a case study on BPEL engines. In Proceedings of the 19th International Conference on World Wide Web (WWW 2010), Raleigh, NC, USA, pages 141–150. ACM, April 2010. Acceptance rate: 14% (104/743). [ bib | DOI | pdf ]
  17. Luciano Baresi, Domenico Bianculli, Sam Guinea, and Paola Spoletini. Keep it small, keep it real: Efficient run-time verification of web service compositions. In Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009), Lisbon Portugal, volume 5522 of Lecture Notes in Computer Science, pages 26–40. Springer, June 2009. Acceptance rate: 28.5% (12/42). [ bib | DOI | pdf ]
  18. Domenico Bianculli, Walter Binder, Luigi Drago, and Carlo Ghezzi. Transparent reputation management for composite web services. In Proceedings of the IEEE International Conference on Web Services (ICWS 2008), Beijing, China, pages 621–628. IEEE Computer Society Press, September 2008. Acceptance rate: 18%. [ bib | DOI | pdf ]
  19. Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, and Boi Faltings. Automated dynamic maintenance of composite services based on service reputation. In Proceedings of ICSOC'07, International Conference on Service-Oriented Computing, Vienna, Austria, volume 4749 of Lecture Notes in Computer Science, pages 449–455. Springer, September 2007. Acceptance rate: 31.6% ((30+14)/139). [ bib | DOI | pdf ]
  20. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, and Paola Spoletini. A timed extension of WSCoL. In Proceedings of the IEEE International Conference on Web Services (ICWS 2007), Salt Lake City, UT, USA, pages 663–670. IEEE Computer Society Press, July 2007. Acceptance rate: N/A. [ bib | DOI | pdf ]
  21. Domenico Bianculli, Carlo Ghezzi, and Paola Spoletini. A model checking approach to verify BPEL4WS workflows. In Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007), Newport Beach, CA, USA, pages 13–20. IEEE Computer Society Press, June 2007. Acceptance rate: 48.4% (31/64). [ bib | DOI | pdf ]
  22. Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, and Pierluigi San Pietro. Model checking temporal metric specification with Trio2Promela. In Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007), Teheran, Iran, volume 4767 of Lecture Notes in Computer Science, pages 388–395. Springer, April 2007. Acceptance rate: 45.2% ((24+9)/73). [ bib | DOI | pdf ]

Book Chapters

  1. Luciano Baresi, Domenico Bianculli, and Sam Guinea. Cloud-based systems need multi-level management. In Athman Bouguettaya, Michael Sheng, and Florian Daniel, editors, Advanced Web Services, pages 579–603. Springer, 2013. [ bib | DOI ]
  2. Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, and Sam Guinea. A guided tour through SAVVY-WS: a methodology for specifying and validating web service compositions. In Egon Börger and Antonio Cisternino, editors, Advances in Software Engineering, volume 5316 of Lecture Notes in Computer Science, pages 131–160. Springer, November 2008. [ bib | DOI | pdf ]

Workshops

  1. Domenico Bianculli and Srđan Krstić. On the risk of tool over-tuning in runtime verification competitions. In 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, September 2017. [ bib | pdf ]
  2. Wei Dou, Domenico Bianculli, and Lionel Briand. TemPsy-Check: a tool for model-driven trace checking of pattern-based temporal properties. In 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, September 2017. [ bib | pdf ]
  3. Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, and Alessandro Maria Rizzi. Syntax-driven program verification of matching logic properties. In Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015), co-located with ICSE 2015, Florence, Italy. IEEE, May 2015. [ bib ]
  4. Marcello Maria Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, and Srđan Krstić. Towards the formalization of properties of cloud-based elastic systems. In Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014), co-located with ICSE 2014, Hyderabad, India. ACM, June 2014. [ bib | DOI | pdf ]
  5. Domenico Bianculli, Carlo Ghezzi, and Cesare Pautasso. Embedding continuous lifelong verification in service life cycles. In Proceedings of Principles of Engineering Service Oriented Systems (PESOS 2009), co-located with ICSE 2009, Vancouver, Canada, pages 99–102. IEEE Computer Society Press, May 2009. [ bib | DOI | pdf ]
  6. Domenico Bianculli. Lifelong verification of dynamic service compositions. In Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium (FSEDS '08), co-located with ACM SIGSOFT 2008/FSE 16, Atlanta, USA, pages 1–4. ACM, November 2008. [ bib | DOI | poster | pdf ]
  7. Domenico Bianculli and Carlo Ghezzi. SAVVY-WS at a glance: supporting verifiable dynamic service compositions. In 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, pages 49–56. IEEE Computer Society Press, September 2008. [ bib | DOI | pdf ]
  8. Domenico Bianculli and Carlo Ghezzi. Towards a methodology for lifelong validation of service compositions. In Proceedings of the 2nd International Workshop on Systems Development in SOA Environments (SDSOA 2008), co-located with ICSE 2008, Leipzig, Germany, pages 7–12. ACM, May 2008. [ bib | DOI | pdf ]
  9. Domenico Bianculli and Carlo Ghezzi. Monitoring conversational web services. In Proceedings of the 2nd International Workshop on Service-Oriented Software Engineering (IW-SOSWE'07), co-located with ESEC/FSE 2007, Dubrovnik, Croatia, pages 15–21. ACM, September 2007. [ bib | DOI | pdf ]

Demos

  1. Julian Thomé, Lwin Khin Shar, Domenico Bianculli, and Lionel Briand. JoanAudit: A tool for auditing common injection vulnerabilities. In 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, pages 1004–1008. ACM, September 2017. Acceptance rate: 46% (12/26). [ bib | DOI | pdf ]
  2. Domenico Bianculli, Walter Binder, and Mauro Luigi Drago. SOABench: Performance evaluation of service-oriented middleware made easy. In Proceedings (Volume 2) of the 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, pages 301–302. ACM, May 2010. Informal Research Demo. Acceptance rate: N/A. [ bib | DOI | poster | pdf ]
  3. Domenico Bianculli, Walter Binder, Luigi Drago, and Carlo Ghezzi. ReMan: A pro-active reputation management infrastructure for composite web services. In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, pages 623–626. IEEE Computer Society Press, May 2009. Formal Research Demo. Acceptance rate: 33.3% (24/72). [ bib | DOI | poster | pdf ]
  4. Domenico Bianculli, Angelo Morzenti, Matteo Pradella, and Pierluigi San Pietro and Paola Spoletini. Trio2Promela: a model checker for temporal metric specifications. In ICSE 2007 Companion: Companion of the proceedings of the 29th International Conference on Software Engineering, Minneapolis, MN, USA, pages 61–62. IEEE Computer Society Press, May 2007. Informal Research Demo. Acceptance rate: 50% ((12+16)/56). [ bib | DOI | poster | pdf ]

Edited Proceedings

  1. Domenico Bianculli, Radu Calinescu, and Bernhard Rumpe, editors. Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers, volume 9509 of Lecture Notes in Computer Science. Springer, 2015. [ bib | electronic edition ]
  2. Domenico Bianculli, Sam Guinea, Sylvain Hallé, and Andrea Polini, editors. QASBA 2013: Proceedings of the 2013 International Workshop on Quality Assurance for Service-Based Applications. ACM, July 2013. [ bib | electronic edition ]
  3. Domenico Bianculli, Patricia Lago, Grace A. Lewis, and Hye-Young Paik, editors. Proceedings of 2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS). IEEE, May 2013. [ bib | electronic edition ]
  4. Domenico Bianculli, Sam Guinea, Andreas Metzger, and Andrea Polini, editors. QASBA '11: Proceedings of the International Workshop on Quality Assurance for Service-Based Applications. ACM, September 2011. [ bib | electronic edition ]

Technical Reports

  1. Ameni Ben Fadhel, Domenico Bianculli, and Lionel Briand. GemRBAC-DSL: a high-level specification language for role-based access control policies. Technical Report TR-SnT-2016-4, SnT Centre - University of Luxembourg, April 2016. [ bib | electronic edition ]
  2. Ameni Ben Fadhel, Domenico Bianculli, and Lionel Briand. A comprehensive modeling framework for role-based access control policies. Technical Report TR-SnT-2014-15, SnT Centre - University of Luxembourg, November 2014. [ bib | electronic edition ]
  3. Wei Dou, Domenico Bianculli, and Lionel Briand. A model-driven approach to offline trace checking of temporal properties with OCL. Technical Report TR-SnT-2014-5, SnT Centre - University of Luxembourg, September 2014. [ bib | electronic edition ]
  4. Wei Dou, Domenico Bianculli, and Lionel Briand. OCLR: a more expressive, pattern-based temporal extension of OCL. Technical Report TR-SnT-2014-2, SnT Centre - University of Luxembourg, February 2014. [ bib | electronic edition ]
  5. Domenico Bianculli, Carlo Ghezzi, Srđan Krstić, and Pierluigi San Pietro. From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications. Technical Report 2013.26, Politecnico di Milano - Dipartimento di Elettronica, Informazione e Bioingegneria, October 2013. [ bib | pdf ]
  6. Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, and Dino Mandrioli. A syntactic-semantic approach to incremental verification. CoRR, abs/1304.8034, May 2013. [ bib | pdf | electronic edition ]
  7. Domenico Bianculli, Walter Binder, and Mauro Luigi Drago. Automated performance assessment for service-oriented middleware. Technical Report 2009/07, Faculty of Informatics - University of Lugano, November 2009. [ bib | pdf | electronic edition ]
  8. Luciano Baresi, Domenico Bianculli, Sam Guinea, and Paola Spoletini. Keep it small, keep it real: Efficient run-time verification of web service compositions. Technical Report 2009.9, Politecnico di Milano - Dipartimento di Elettronica e Informazione, April 2009. [ bib | pdf ]

Other

  1. Lionel Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, and Mehrdad Sabetzadeh. The case for context-driven software engineering research. IEEE Sw., 34(5):72–75, 2017. [ bib | DOI | electronic edition ]
  2. Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, and Patrick Senti. Specification patterns from research to industry: a case study in service-based applications (extended abstract). In Proceedings of Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik, Kiel, Germany, volume 227 of Lecture Notes in Informatics, pages 51–52. GI, February 2014. [ bib | pdf | electronic edition ]
  3. Domenico Bianculli, Patricia Lago, Grace A. Lewis, and Hye-Young Paik. 5th international workshop on principles of engineering service-oriented systems (PESOS 2013). In Proceedings of the 2013 International Conference on Software Engineering (ICSE '13), San Francisco, CA, USA, pages 1539–1540. IEEE Press, May 2013. [ bib | electronic edition ]
  4. Patricia Lago, Grace A. Lewis, Andreas Metzger, Vladimir Tosic, Domenico Bianculli, Antinisca Di Marco, Andrea Polini, and Pierluigi Plebani. Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies. SIGSOFT Softw. Eng. Notes, 38(1):35–38, January 2013. [ bib | DOI | electronic edition ]
  5. Domenico Bianculli, Mehdi Jazayeri, and Mauro Pezzè, editors. Matinée with Carlo Ghezzi - from Programming Languages to Software Engineering. CreateSpace, June 2012. [ bib | electronic edition ]

Theses

  1. Domenico Bianculli. Open-world Software: Specification, Verification, and Beyond. PhD thesis, Università della Svizzera italiana, July 2012. [ bib | pdf | electronic edition ]
  2. Domenico Bianculli. A Model Checking Approach to Verify BPEL4WS Workflows. Master's thesis, Politecnico di Milano, July 2006.
  3. Domenico Bianculli and Davide Bonicelli. PeerSeaPie: una libreria per il discovery dei nodi in applicazioni peer-to-peer. Bachelor's thesis, Politecnico di Milano, July 2003.

IEEE Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therin are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

ACM Copyright Notice

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org.

Springer-Verlag LNCS Copyright Notice

The copyright of these contributions has been transferred to Springer-Verlag Berlin Heidelberg New York. The copyright transfer covers the exclusive right to reproduce and distribute the contribution, including reprints, translations, photographic reproductions, microform, electronic form (offline, online), or any other reproductions of similar nature.

This file has been generated with bibtex2html and sed