::Publications::

Check also my profile on DBLP and Google Scholar

2024

  1. Marcello Ceci, Nicolas Sannier, Donghwan Shin, Sallam Abualhaija, Domenico Bianculli, and Michael Halling. Toward automated compliance checking of fund activities using runtime verification techniques. In Proceedings of the 1st Workshop on Software Engineering Challenges in Financial Firms (FinanSE 2024), co-located with ICSE 2024, Lisbon, Portugal, pages 19–20. ACM, August 2024. [ bib | DOI | pdf ]
  2. Sallam Abualhaija, Marcello Ceci, Nicolas Sannier, Domenico Bianculli, Dirk Zetzsche, and Marco Bodellini. Toward automated change impact analysis of financial regulations. In Proceedings of the 1st Workshop on Software Engineering Challenges in Financial Firms (FinanSE 2024), co-located with ICSE 2024, Lisbon, Portugal, pages 31–32. ACM, August 2024. [ bib | DOI | pdf ]
  3. Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, and Lionel Briand. Impact of log parsing on deep learning-based anomaly detection. Empir. Softw. Eng., 29:139:1–139:33, August 2024. [ bib | DOI | pdf ]
  4. Joshua Dawes and Domenico Bianculli. Checking complex source code-level constraints using runtime verification. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE Companion '24), pages 255–265. ACM, July 2024. [ bib | DOI | pdf ]
  5. Cristina Stratan, Joshua Dawes, and Domenico Bianculli. Diagnosing violations of time-based properties captured in iCFTL. In Proceedings of the 2024 International Conference on Formal Methods in Software Engineering (FormaliSE 2024), co-located with ICSE 2024, Lisbon, Portugal, pages 33–43. ACM, June 2024. [ bib | DOI | pdf ]
  6. Sallam Abualhaija, Marcello Ceci, Nicolas Sannier, Domenico Bianculli, Lionel Briand, Dirk Zetzsche, and Marco Bodellini. AI-enabled regulatory change analysis of legal requirements. In Proceedings of the 32nd IEEE International Requirements Engineering Conference (RE'24). IEEE, June 2024. In Press. [ bib | pdf ]
  7. Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, and Lionel Briand. Systematic evaluation of deep learning models for log-based failure prediction. Empir. Softw. Eng., 29(5):105:1–105:53, June 2024. [ bib | DOI | pdf ]
  8. Marcello Ceci, Domenico Bianculli, and Lionel Briand. Defining a model for content requirements from the law: an experience report. In Proceedings of the 32nd IEEE International Requirements Engineering Conference (RE'24). IEEE, June 2024. In Press. [ bib | pdf ]
  9. Nicolas Sannier, Marcello Ceci, Sallam Abualhaija, Domenico Bianculli, and Michael Halling. A model toward formalizing and monitoring compliance of investment funds activities. In Proceedings of the 14th International Model-Driven Requirements Engineering (MoDRE) workshop, co-located with RE'24, Reykjavik, Iceland. IEEE, June 2024. [ bib | pdf ]
  10. Hichem Belgacem, Xiaochen Li, Domenico Bianculli, and Lionel Briand. Learning-based relaxation of completeness requirements for data entry forms. ACM Transactions on Software Engineering and Methodology, 33(3):77:1–77:32, March 2024. [ bib | DOI | pdf ]
  11. Donato Clun, Donghwan Shin, Antonio Filieri, and Domenico Bianculli. Rigorous assessment of model inference accuracy using language cardinality. ACM Transactions on Software Engineering and Methodology, 33(4):95:1–95:39, January 2024. [ bib | DOI | pdf ]
  12. Seung Yeob Shin, Fabrizio Pastore, and Domenico Bianculli. Towards generating executable metamorphic relations using large language models. In Proceedings of the 17th International Conference on the Quality of Information and Communications Technology (QUATIC 2024), Pisa, Italy, 2024. In Press. [ bib | pdf ]

2023

  1. Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, and Lionel Briand. Stress testing control loops in cyber-physical systems. ACM Transactions on Software Engineering and Methodology, 33(2):35:1–35:58, December 2023. [ bib | DOI | pdf | electronic edition ]
  2. Chaima Boufaied, Claudio Menghi, Domenico Bianculli, and Lionel Briand. Trace diagnostics for signal-based temporal properties. IEEE Transactions on Software Engineering, 49(5):3131 – 3154, May 2023. [ bib | DOI | pdf ]
  3. Hichem Belgacem, Xiaochen Li, Domenico Bianculli, and Lionel Briand. A machine learning approach for automated filling of categorical fields in data entry forms. ACM Transactions on Software Engineering and Methodology, 32(2):47:1–47:40, April 2023. [ bib | DOI | pdf ]
  4. Joshua Dawes, Donghwan Shin, and Domenico Bianculli. Towards log slicing. In Proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering (FASE 2023), Paris, France, volume 13991 of Lectures Notes in Computer Science, pages 249–259. Springer, April 2023. [ bib | DOI | pdf ]

2022

  1. Joshua Dawes and Domenico Bianculli. Specifying source code and signal-based behaviour of CPS components. In Proceedings of the 18th International Conference on Formal Aspects of Component Software (FACS 2022), November 10–11, 2022, Virtual Event, Norway, volume 13712 of Lectures Notes in Computer Science, pages 20–38. Springer, November 2022. [ bib | DOI | pdf ]
  2. Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, and Lionel Briand. Guidelines for assessing the accuracy of log message template identification techniques. In Proceedings of the 44th International Conference on Software Engineering (ICSE '22), May 21–29, 2022, Pittsburgh, PA, USA, page 12. ACM, May 2022. [ bib | DOI | pdf ]
  3. Donghwan Shin, Domenico Bianculli, and Lionel Briand. PRINS: Scalable model inference for component-based system logs. Empirical Software Engineering, 27(4):87/1–32, April 2022. [ bib | DOI | pdf ]
  4. Lwin Khin Shar Ha Thanh Le, Domenico Bianculli, Lionel Briand, and Cu Duy Nguyen. Automated reverse engineering of role-based access control policies of web applications. Journal of Systems and Software, 184:111109, February 2022. [ bib | DOI | pdf ]

2021

  1. Donghwan Shin, Zanis Ali Khan, Domenico Bianculli, and Lionel Briand. A theoretical framework for understanding the relationship between log parsing and anomaly detection. In Proceedings of the 21st International Conference on Runtime Verification (RV 2021), October 11–14, 2021, Virtual Event, USA, volume 12974 of Lectures Notes in Computer Science, pages 277–287. Springer, October 2021. [ bib | DOI | pdf ]
  2. Joshua Dawes and Domenico Bianculli. Specifying properties over inter-procedural, source code level behaviour of programs. In Proceedings of the 21st International Conference on Runtime Verification (RV 2021), October 11–14, 2021, Virtual Event, USA, volume 12974 of Lectures Notes in Computer Science, pages 23–41. Springer, October 2021. [ bib | DOI | pdf ]
  3. Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, and Lionel Briand. Log-based slicing for system-level test cases. In Proceedings of the 30th International Symposium on Software Testing and Analysis (ISSTA 2021), July 11–17, 2021, Virtual Event, Denmark, pages 517–528. ACM, July 2021. Acceptance rate: 21.9% (51/233). [ bib | DOI | pdf ]
  4. Claudio Menghi, Enrico Viganò, Domenico Bianculli, and Lionel Briand. Trace-checking CPS properties: Bridging the cyber-physical gap. In Proceedings of the 43rd International Conference on Software Engineering (ICSE'21), May 23–29, 2021, Virtual Event, Spain, pages 847–859. IEEE, May 2021. Acceptance rate: 22.4% (138/615). [ bib | DOI | pdf ]
  5. Claudio Menghi, Enrico Viganò, Domenico Bianculli, and Lionel Briand. ThEodorE: a trace checker for CPS properties. In Proceedings of the 43rd International Conference on Software Engineering Companion (ICSE'21), May 23–29, 2021, Virtual Event, Spain, pages 183–184. IEEE, May 2021. Artifact Evaluation track. [ bib | DOI | pdf ]
  6. Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Briand, and Yago Isasi Parache. Signal-based properties of cyber-physical systems: Taxonomy and logic-based characterization. Journal of Systems and Software, 174:110881, April 2021. [ bib | DOI | pdf | electronic edition ]

2020

  1. Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel Briand, and Yago Isasi-Parache. Trace-checking signal-based temporal properties: A model-driven approach. In Proceedings of the 2020 35th ACM/IEEE International Conference on Automated Software Engineering (ASE'20), September 21–25, 2020, Virtual Event, Australia, pages 1004–1015. ACM, September 2020. Acceptance rate: 22.5% (93/414). [ bib | DOI | pdf ]
  2. Julian Thomé, Lwin Khin Shar, Domenico Bianculli, and Lionel Briand. An integrated approach for effective injection vulnerability analysis of web applications through security slicing and hybrid constraint solving. IEEE Transactions on Software Engineering, 46(2):163–105, February 2020. [ bib | DOI | pdf ]

2019

  1. Chaima Boufaied, Domenico Bianculli, and Lionel Briand. A model-driven approach to trace checking of temporal properties with aggregations. Journal of Object Technology, 18(2):15:1–21, 2019. Proceedings of the 2019 European Conference on Modelling Foundations and Applications (ECMFA 2019), Eindhoven, The Netherlands. [ bib | DOI | pdf | electronic edition ]
  2. César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srđan Krstić, Joao M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, and Alexander Weiss. A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). Formal Methods in System Design, 54(3):279–335, 2019. [ bib | DOI | pdf ]

2018

  1. Wei Dou, Domenico Bianculli, and Lionel Briand. Model-driven trace diagnostics for pattern-based temporal specifications. In Proceedings of the 2018 ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhaghen, Denmark, pages 278–288. ACM, October 2018. Acceptance rate: 28% (29/101). [ bib | DOI | pdf ]
  2. Ameni Ben Fadhel, Domenico Bianculli, and Lionel Briand. Model-driven run-time enforcement of complex role-based access control policies. In Proceedings of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE'18), September 3–7, 2018, Montpellier, France, pages 248–258. ACM, September 2018. Acceptance rate: 20% (69/346). [ bib | DOI | pdf ]
  3. Victor Basili, Lionel Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, and Mehrdad Sabetzadeh. Software engineering research and industry: A symbiotic relationship to foster impact. IEEE Software, 35(5):44–49, September 2018. [ bib | DOI | pdf ]
  4. Domenico Bianculli, Nenad Medvidović, and David R. Rosenblum, editors. 40 editions of ICSE: the ruby anniversary celebration. Book distributed at the 40th International Conference on Software Engineering, May 2018. [ bib | electronic edition ]
  5. Salma Messaoudi, Annibale Panichella, Domenico Bianculli, Lionel Briand, and Raimondas Sasnauskas. A search-based approach for accurate identification of log message formats. In Proceedings of the 26th IEEE/ACM International Conference on Program Comprehension (ICPC 2018), Gothenborg, Sweden, pages 167–177. ACM, May 2018. [ bib | DOI | pdf ]
  6. Julian Thomé, Lwin Khin Shar, Domenico Bianculli, and Lionel Briand. Security slicing for auditing common injection vulnerabilities. Journal of Systems and Software, 137:766–783, March 2018. [ bib | DOI | pdf | electronic edition ]

2017

  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, pages 323–333. IEEE, September 2017. Acceptance rate: 28% (24/85). [ bib | DOI | pdf ]
  2. 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 ]
  3. 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, volume 3 of Kalpa Publications in Computing, pages 64–70. EasyChair, September 2017. [ bib | DOI | pdf | electronic edition ]
  4. 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, volume 3 of Kalpa Publications in Computing, pages 37–40. EasyChair, September 2017. [ bib | DOI | pdf | electronic edition ]
  5. 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 ]
  6. 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 ]

2016

  1. 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 ]
  2. 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 ]
  3. 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 ]
  4. 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 ]
  5. 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 ]

2015

  1. 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 ]
  2. 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 ]
  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. 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 ]

2014

  1. 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 ]
  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. 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 ]
  4. 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 ]
  5. 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 ]
  6. 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 ]
  7. 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 ]
  8. 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 ]
  9. 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 ]
  10. 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 ]
  11. 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 ]

2013

  1. 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 ]
  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, Antonio Filieri, Carlo Ghezzi, and Dino Mandrioli. A syntactic-semantic approach to incremental verification. CoRR, abs/1304.8034, May 2013. [ bib | pdf | electronic edition ]
  4. 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 ]
  5. 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 ]
  6. 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 ]
  7. 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 ]

2012

  1. 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 ]
  2. Domenico Bianculli. Open-world Software: Specification, Verification, and Beyond. PhD thesis, Università della Svizzera italiana, July 2012. [ bib | pdf | electronic edition ]
  3. 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 ]
  4. 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 ]

2011

  1. 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 ]
  2. 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 ]

2010

  1. 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 ]
  2. 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 ]

2009

  1. 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 ]
  2. 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 ]
  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, 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 ]
  5. 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 ]

2008

  1. 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 ]
  2. 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 ]
  3. 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 ]
  4. 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 ]
  5. 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 ]

2007

  1. 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 ]
  2. 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 ]
  3. 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 ]
  4. 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 ]
  5. 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 ]
  6. 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 ]
  7. 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 ]

2006

  1. Domenico Bianculli. A Model Checking Approach to Verify BPEL4WS Workflows. Master's thesis, Politecnico di Milano, July 2006.

2003

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