  | CECI, M., SANNIER, N., ABUALHAIJA, S., SHIN, D., BIANCULLI, D., & HALLING, M. (In press). 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. ACM.  Peer reviewed |
 | ABUALHAIJA, S., CECI, M., SANNIER, N., BIANCULLI, D., Briand, L., ZETZSCHE, D. A., & BODELLINI, M. (In press). AI-enabled Regulatory Change Analysis of Legal Requirements. In Proceedings of the 32nd IEEE International Requirements Engineering Conference (RE'24). IEEE. Peer reviewed |
 | STRATAN, C., DAWES, J., & BIANCULLI, D. (In press). Diagnosing Violations of Time-based Properties Captured in iCFTL. In FormaliSE '24: International Conference on Formal Methods in Software Engineering Proceedings. New York, United States - New York: ACM. Peer reviewed |
 | ABUALHAIJA, S., CECI, M., SANNIER, N., BIANCULLI, D., ZETZSCHE, D. A., & BODELLINI, M. (In press). 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: ACM. Peer reviewed |
 | BELGACEM, H., Xiaochen Li, BIANCULLI, D., & BRIAND, L. (March 2024). Learning-Based Relaxation of Completeness Requirements for Data Entry Forms. ACM Transactions on Software Engineering and Methodology, 33 (3), 77:1-77:32. doi:10.1145/3635708 Peer Reviewed verified by ORBi |
 | Clun, D., Shin, D., Filieri, A., & BIANCULLI, D. (2024). Rigorous Assessment of Model Inference Accuracy using Language Cardinality. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3640332 Peer Reviewed verified by ORBi |
 | CECI, M., BIANCULLI, D., & Briand, L. (2024). Defining a Model for Content Requirements from the Law: an Experience Report. In Proceedings of the IEEE 32nd International Requirements Engineering Conference (RE). United States: IEEE. Peer reviewed |
 | MANDRIOLI, C., SHIN, S. Y., Maggio, M., BIANCULLI, D., & BRIAND, L. (21 December 2023). Stress Testing Control Loops in Cyber-Physical Systems. ACM Transactions on Software Engineering and Methodology, 33 (2), 35:1-25:58. doi:10.1145/3624742 Peer Reviewed verified by ORBi |
Ali, S., Boufaied, C., BIANCULLI, D., Branco, P., BRIAND, L., & Aschbacher, N. (2023). An Empirical Study on Log-based Anomaly Detection Using Machine Learning. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57622. |
KHAN, Z. A., Shin, D., BIANCULLI, D., & BRIAND, L. (2023). Impact of Log Parsing on Log-based Anomaly Detection. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57620. |
 | Boufaied, C., Menghi, C., Bianculli, D., & Briand, L. (May 2023). Trace Diagnostics for Signal-based Temporal Properties. IEEE Transactions on Software Engineering, 49 (5), 3131-3154. doi:10.1109/TSE.2023.3242588 Peer Reviewed verified by ORBi |
 | Dawes, J., Shin, D., & Bianculli, D. (2023). Towards Log Slicing. In Fundamental Approaches to Software Engineering (FASE 2023) Proceedings. Cham, Switzerland: Springer. doi:10.1007/978-3-031-30826-0_14 Peer reviewed |
 | Belgacem, H., Li, X., Bianculli, D., & Briand, L. (March 2023). 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. doi:10.1145/3533021 Peer reviewed |
Hadadi, F., DAWES, J., Shin, D., BIANCULLI, D., & BRIAND, L. (2023). Systematic Evaluation of Deep Learning Models for Failure Prediction. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57615. |
 | Dawes, J., & Bianculli, D. (2022). Specifying Source Code and Signal-based Behaviour of CPS Components. In Proceedings of the 18th International Conference on Formal Aspects of Component Software. Springer. Peer reviewed |
 | Khan, Z. A., Shin, D., Bianculli, D., & Briand, L. (2022). Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques. In Proceedings of the 44th International Conference on Software Engineering (ICSE ’22) (pp. 1095-1106). New York, NY, United States: ACM. doi:10.1145/3510003.3510101 Peer reviewed |
 | Shin, D., Bianculli, D., & Briand, L. (2022). PRINS: Scalable Model Inference for Component-based System Logs. Empirical Software Engineering. doi:10.1007/s10664-021-10111-4 Peer Reviewed verified by ORBi |
 | Le, H. T., Shar, L. K., Bianculli, D., Briand, L., & Nguyen, D. C. (February 2022). Automated Reverse Engineering of Role-based Access Control Policies of Web Applications. Journal of Systems and Software, 184, 111109. doi:10.1016/j.jss.2021.111109 Peer Reviewed verified by ORBi |
 | Shin, D., Khan, Z. A., Bianculli, D., & Briand, L. (2021). A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection. In Proceedings of the 21st International Conference on Runtime Verification (pp. 277-287). Springer. doi:10.1007/978-3-030-88494-9_16 Peer reviewed |
 | Dawes, J., & Bianculli, D. (2021). Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs. In Proceedings of the 21st International Conference on Runtime Verification. Cham, Switzerland: Springer. doi:10.1007/978-3-030-88494-9_2 Peer reviewed |
LI, X., BIANCULLI, D., & BRIAND, L. (2021). An AI-based Approach for Tracing Content Requirements in Financial Documents. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57626. |
 | Messaoudi, S., Shin, D., Panichella, A., Bianculli, D., & Briand, L. (2021). Log-based Slicing for System-level Test Cases. In Proceedings of ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 517-528). doi:10.1145/3460319.3464824 Peer reviewed |
 | Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (2021). ThEodorE: a Trace Checker for CPS Properties. In Companion Proceedings of the 43rd International Conference on Software Engineering. IEEE. doi:10.1109/ICSE-Companion52605.2021.00079 Peer reviewed |
 | Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (2021). Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. In Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (pp. 847-859). doi:10.1109/ICSE43902.2021.00082 Peer reviewed |
 | Boufaied, C., Jukss, M., Bianculli, D., Briand, L., & Yago, I. P. (April 2021). Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. Journal of Systems and Software, 174, 110881. doi:10.1016/j.jss.2020.110881 Peer Reviewed verified by ORBi |
Ralph, P., bin Ali, N., Baltes, S., BIANCULLI, D., Diaz, J., Dittrich, Y., Ernst, N., Felderer, M., Feldt, R., Filieri, A., Bernard Nicolau de França, B., Alberto Furia, C., Gay, G., Gold, N., Graziotin, D., He, P., Hoda, R., Juristo, N., Kitchenham, B., ... Vegas, S. (2020). Empirical Standards for Software Engineering Research. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57624. |
 | Boufaied, C., Menghi, C., Bianculli, D., Briand, L., & Isasi Parache, Y. (2020). Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20). doi:10.5381/JOT.2019.18.2.A15 Peer reviewed |
SHIN, D., BIANCULLI, D., & BRIAND, L. (2020). Effective Removal of Operational Log Messages: an Application to Model Inference. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57625. |
 | Thome, J., Shar, L. K., Bianculli, D., & Briand, L. (February 2020). 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--195. doi:10.1109/TSE.2018.2844343 Peer reviewed |
 | Sánchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C., Falcone, Y., Francalanza, A., Krstic, S., Lourenço, J., Nickovic, D., Pace, G. J., Rufino, J., Signoles, J., Traytel, D., & Weiss, A. (November 2019). A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). Formal Methods in System Design, 54 (3), 279-335. doi:10.1007/s10703-019-00337-w Peer Reviewed verified by ORBi |
 | Boufaied, C., Bianculli, D., & Briand, L. (July 2019). A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations. Journal of Object Technology, 18 (2), 15:1-21. doi:10.5381/jot.2019.18.2.a15 Peer Reviewed verified by ORBi |
 | Dou, W., Bianculli, D., & Briand, L. (2018). 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) (pp. 277-288). New York, United States: ACM. doi:10.1145/3239372.3239396 Peer reviewed |
 | Basili, V., Briand, L., Bianculli, D., Nejati, S., Pastore, F., & Sabetzadeh, M. (September 2018). Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. IEEE Software, 35 (5), 44-49. doi:10.1109/MS.2018.290110216 Peer Reviewed verified by ORBi |
 | Ben Fadhel, A., Bianculli, D., & Briand, L. (2018). Model-driven Run-time Enforcement of Complex Role-based Access Control Policies. In Proceeding of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18) (pp. 248-258). New York, United States: ACM. doi:10.1145/3238147.3238167 Peer reviewed |
Bianculli, D., Medvidović, N., & Rosenblum, D. R. (Eds.). (2018). 40 editions of ICSE: the ruby anniversary celebration. self-published. |
 | Messaoudi, S., Panichella, A., Bianculli, D., Briand, L., & Sasnauskas, R. (2018). A Search-based Approach for Accurate Identification of Log Message Formats. In Proceedings of the 26th IEEE/ACM International Conference on Program Comprehension (ICPC ’18) (pp. 167-177). ACM. doi:10.1145/3196321.3196340 Peer reviewed |
 | Thome, J., Shar, L. K., Bianculli, D., & Briand, L. (2018). Security Slicing for Auditing Common Injection Vulnerabilities. Journal of Systems and Software, 137 (March, 2018), 766-783. doi:10.1016/j.jss.2017.02.040 Peer Reviewed verified by ORBi |
 | Dou, W., Bianculli, D., & Briand, L. (2017). TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties. In Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (pp. 64-70). EasyChair. Peer reviewed |
 | Bianculli, D., & Krstic, S. (2017). On the Risk of Tool Over-tuning in Runtime Verification Competitions. In Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (pp. 37-40). EasyChair. Peer reviewed |
 | Briand, L., Bianculli, D., Nejati, S., Pastore, F., & Sabetzadeh, M. (September 2017). The Case for Context-Driven Software Engineering Research. IEEE Software, 34 (5), 72-75. doi:10.1109/MS.2017.3571562 Peer Reviewed verified by ORBi |
 | Thome, J., Shar, L. K., Bianculli, D., & Briand, L. (2017). JoanAudit: A Tool for Auditing Common Injection Vulnerabilities. In 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM. doi:10.1145/3106237.3122822 Peer reviewed |
 | Dou, W., Bianculli, D., & Briand, L. (2017). A Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties. In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017 ). doi:10.1109/MODELS.2017.9 Peer reviewed |
 | Thome, J., Shar, L. K., Bianculli, D., & Briand, L. (2017). Search-driven String Constraint Solving for Vulnerability Detection. In Proceedings of the 39th International Conference on Software Engineering (ICSE 2017). ACM. doi:10.1109/ICSE.2017.26 Peer reviewed |
 | Ben Fadhel, A., Bianculli, D., & Briand, L. (2016). GemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies. In 21st ACM Symposium on Access Control Models and Technologies (SACMAT 2016). ACM. doi:10.1145/2914642.2914656 Peer reviewed |
  | Bersani, M. M., Bianculli, D., Ghezzi, C., Krstic, S., & San Pietro, P. (2016). Efficient Large-scale Trace Checking Using MapReduce. In Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) (pp. 888-898). doi:10.1145/2884781.2884832 Peer reviewed |
 | Briand, L., Nejati, S., Sabetzadeh, M., & Bianculli, D. (2016). Testing the Untestable: Model Testing of Complex Software-Intensive Systems. In Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion (pp. 789-792). ACM. doi:10.1145/2889160.2889212 Peer reviewed |
 | Ben Fadhel, A., Bianculli, D., & Briand, L. (2016). GemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies. (TR-SNT-2016-4). SnT Centre - University of Luxembourg. |
 | Ben Fadhel, A., Bianculli, D., Briand, L., & Hourte, B. (2016). 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) (pp. 243-253). doi:10.1145/2857705.2857709 Peer reviewed |
 | Ben Fadhel, A., Bianculli, D., & Briand, L. (29 May 2015). A Comprehensive Modeling Framework for Role-based Access Control Policies. Journal of Systems and Software, 107 (September,2015), 110-126. doi:10.1016/j.jss.2015.05.015 Peer Reviewed verified by ORBi |
 | Bianculli, D., Filieri, A., Ghezzi, C., Mandrioli, D., & Rizzi, A. M. (2015). Syntax-driven program verification of matching logic properties. In Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). IEEE. doi:10.1109/FormaliSE.2015.18 Peer reviewed |
Bianculli, D., Calinescu, R., & Rumpe, B. (Eds.). (2015). Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers. Springer. doi:10.1007/978-3-662-49224-6 |
 | Bianculli, D., Filieri, A., Ghezzi, C., & Mandrioli, D. (January 2015). Syntactic-Semantic Incrementality for Agile Verification. Science of Computer Programming, 97 (0), 47-54. doi:10.1016/j.scico.2013.11.026 Peer Reviewed verified by ORBi |
 | Ben Fadhel, A., Bianculli, D., & Briand, L. (2014). A Comprehensive Modeling Framework for Role-based Access Control Policies. (TR-SnT-2014-15). SnT Centre - University of Luxembourg. |
 | Bianculli, D., Ghezzi, C., Krstić, S., & San Pietro, P. (2014). 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). doi:10.1109/SOCA.2014.14 Peer reviewed |
 | Bianculli, D., Filieri, A., Ghezzi, C., & Mandrioli, D. (2014). 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). Springer. Peer reviewed |
 | Bianculli, D., Ghezzi, C., & Krstić, S. (2014). 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) (pp. 144-158). Springer. Peer reviewed |
 | Dou, W., Bianculli, D., & Briand, L. (2014). Revisiting Model-driven Engineering for Run-time Verification of Business Processes. In Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014). Springer. Peer reviewed |
 | Dou, W., Bianculli, D., & Briand, L. (2014). OCLR: a More Expressive, Pattern-based Temporal Extension of OCL. In Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014). Springer. Peer reviewed |
 | Dou, W., Bianculli, D., & Briand, L. (2014). A Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL. (SnT-TR-2014-5). SnT Centre - University of Luxembourg. |
 | Bianculli, D., Ghezzi, C., Pautasso, C., & Senti, P. (2014). Specification Patterns from Research to Industry: A Case Study in Service-Based Applications (extended abstract). In Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik. GI LNI. |
 | Dou, W., Bianculli, D., & Briand, L. (2014). OCLR: a More Expressive, Pattern-based Temporal Extension of OCL. (TR-SnT-2014-2). SnT Centre - University of Luxembourg. |
 | Bersani, M. M., Bianculli, D., Dustdar, S., Gambi, A., Ghezzi, C., & Krstić, S. (2014). 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). ACM. doi:10.1145/2593793.2593798 Peer reviewed |
 | Bersani, M. M., Bianculli, D., Ghezzi, C., Krstić, S., & San Pietro, P. (2014). SMT-based Checking of SOLOIST over Sparse Traces. In Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014). Springer. Peer reviewed |
Bianculli, D., Guinea, S., Hallé, S., & Polini, A. (Eds.). (2013). QASBA 2013: Proceedings of the 2013 International Workshop on Quality Assurance for Service-Based Applications. ACM. |
 | Bianculli, D., Filieri, A., Ghezzi, C., & Mandrioli, D. (2013). A Syntactic-Semantic Approach to Incremental Verification. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/8383. |
Bianculli, D., Lago, P., Lewis, G., & Paik, H.-Y. (2013). 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 (pp. 1539-1540). IEEE Press. |
Baresi, L., Bianculli, D., & Guinea, S. (2013). Cloud-based systems need multi-level management. In A. Bouguettaya, Q. Z. Sheng, ... F. Daniel (Eds.), Advanced Web Services (pp. 573-596). Springer. doi:10.1007/978-1-4614-7535-4_24 Peer reviewed |
Bianculli, D., Lago, P., Lewis, G., & Paik, H.-Y. (Eds.). (2013). Proceedings of 2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS). IEEE. |
Bianculli, D., Krstic, S., Ghezzi, C., & San Pietro, P. (2013). From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications. (2013.26). Milano, Italy: Politecnico di Milano. |
Lago, P., Lewis, G., Metzger, A., Tosic, V., Bianculli, D., Di Marco, A., Polini, A., & Plebani, P. (2013). Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies. ACM SIGSOFT Software Engineering Notes, 38 (1), 35--38. doi:10.1145/2382756.2382764 |
 | Bianculli, D., Ghezzi, C., & San Pietro, P. (2012). The tale of SOLOIST: a specification language for service compositions interactions. In C. Păsăreanu & G. Salaün (Eds.), Formal Aspects of Component Software (pp. 55-72). Springer. doi:10.1007/978-3-642-35861-6_4 Peer reviewed |
 | Bianculli, D. (2012). Open-world Software: Specification, Verification and Beyond [Doctoral thesis, Università della Svizzera italiana]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/8378 |
Bianculli, D., Jazayeri, M., & Pezzè, M. (Eds.). (2012). Matinée with Carlo Ghezzi - from Programming Languages to Software Engineering. CreateSpace. |
 | Bianculli, D., Ghezzi, C., Pautasso, C., & Senti, P. (2012). 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) (pp. 968-976). IEEE Computer Society Press. doi:10.1109/ICSE.2012.6227125 Peer reviewed |
Bianculli, D., Guinea, S., Metzger, A., & Polini, A. (Eds.). (2011). QASBA '11: Proceedings of the International Workshop on Quality Assurance for Service-Based Applications. ACM. |
 | Bianculli, D., Giannakopoulou, D., & Pasareanu, C. (2011). Interface Decomposition for Service Compositions. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011) (pp. 501-510). ACM. doi:10.1145/1985793.1985862 Peer reviewed |
 | Bianculli, D., Binder, W., & Drago, M. L. (2010). 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) (pp. 141-150). ACM. doi:10.1145/1772690.1772706 Peer reviewed |
 | Bianculli, D., Binder, W., & Drago, M. L. (2010). SOABench: Performance Evaluation of Service-Oriented Middleware Made Easy. In Proceedings (Volume 2) of the 32nd International Conference on Software Engineering (ICSE 2010) (pp. 301-302). ACM. doi:10.1145/1810295.1810361 Peer reviewed |
 | Baresi, L., Bianculli, D., Guinea, S., & Spoletini, P. (2009). Keep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions. (2009.9). Politecnico di Milano - Dipartimento di Elettronica e Informazione. |
 | Bianculli, D., Binder, W., Drago, L., & Ghezzi, C. (2009). 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 (pp. 623-626). IEEE Computer Society Press. doi:10.1109/ICSE.2009.5070571 Peer reviewed |
 | Baresi, L., Bianculli, D., Guinea, S., & Spoletini, P. (2009). 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) (pp. 26-40). Springer. doi:10.1007/978-3-642-02138-1_2 Peer reviewed |
 | Bianculli, D., Ghezzi, C., & Pautasso, C. (2009). 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 (pp. 99-102). IEEE Computer Society Press. doi:10.1109/PESOS.2009.5068828 Peer reviewed |
Bianculli, D., Binder, W., & Drago, M. L. (2009). Automated Performance Assessment for Service-Oriented Middleware. (2009/07). Faculty of Informatics - University of Lugano. |
 | Bianculli, D., & Ghezzi, C. (2008). 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 (pp. 49-56). IEEE Computer Society Press. doi:10.1109/ASEW.2008.4686293 Peer reviewed |
 | Bianculli, D. (2008). 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 (pp. 1-4). ACM. doi:10.1145/1496653.1496654 Peer reviewed |
 | Bianculli, D., Ghezzi, C., Spoletini, P., Baresi, L., & Guinea, S. (2008). A Guided Tour through SAVVY-WS: a Methodology for Specifying and Validating Web Service Compositions. In E. Börger & A. Cisternino (Eds.), Advances in Software Engineering (pp. 131--160). Springer. doi:10.1007/978-3-540-89762-0 Peer reviewed |
 | Bianculli, D., Binder, W., Drago, L., & Ghezzi, C. (2008). Transparent Reputation Management for Composite Web Services. In Proceedings of the IEEE International Conference on Web Services (ICWS 2008), Beijing, China (pp. 621-628). IEEE Computer Society Press. doi:10.1109/ICWS.2008.39 Peer reviewed |
 | Bianculli, D., & Ghezzi, C. (2008). 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 (pp. 7-12). ACM. doi:10.1145/1370916.1370919 Peer reviewed |
 | Bianculli, D., Spoletini, P., Morzenti, A., Pradella, M., & San Pietro, P. (2007). Model checking temporal metric specification with Trio2Promela. In Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007) Teheran, Iran (pp. 388-395). Springer. doi:10.1007/978-3-540-75698-9_26 Peer reviewed |
 | Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., & Spoletini, P. (2007). Validation of web service compositions. IET Software, 1 (6), 219--232. doi:10.1049/iet-sen:20070027 Peer reviewed |
 | Bianculli, D., Ghezzi, C., & Spoletini, P. (2007). 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) (pp. 13=20). IEEE Computer Society Press. doi:10.1109/SOCA.2007.5 Peer reviewed |
 | Bianculli, D., & Ghezzi, C. (2007). 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 (pp. 15-21). ACM. doi:10.1145/1294928.1294933 Peer reviewed |
 | Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., & Spoletini, P. (2007). A Timed extension of WSCoL. In Proceedings of the IEEE International Conference on Web Services (ICWS 2007) (pp. 663-670). IEEE Computer Society Press. doi:10.1109/ICWS.2007.25 Peer reviewed |
 | Bianculli, D., Jurca, R., Binder, W., Ghezzi, C., & Faltings, B. (2007). Automated Dynamic Maintenance of Composite Services based on Service Reputation. In Proceedings of ICSOC'07, International Conference on Service-Oriented Computing (pp. 449-554). Springer. doi:10.1007/978-3-540-74974-5_42 Peer reviewed |
 | Bianculli, D., Morzenti, A., Pradella, M., San Pietro, P., & Spoletini, P. (2007). Trio2Promela: a Model Checker for Temporal Metric Specifications. In ICSE 2007 Companion: Companion of the proceedings of the 29th International Conference on Software Engineering (pp. 61-62). IEEE Computer Society Press. doi:10.1109/ICSECOMPANION.2007.79 Peer reviewed |
