Profil

BIANCULLI Domenico

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV

ORCID
0000-0002-4854-685X
Main Referenced Co-authors
BRIAND, Lionel  (40)
Ghezzi, Carlo (24)
Guinea, Sam (8)
Spoletini, Paola (8)
San Pietro, Pierluigi (7)
Main Referenced Keywords
Computer Science - Software Engineering (7); cyber-physical systems (4); specification patterns (4); temporal properties (4); OCL (3);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) (42)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation (17)
NCER-FT - FinTech National Centre of Excellence in Research [LU] (4)
ULHPC - University of Luxembourg: High Performance Computing (2)
Main Referenced Disciplines
Computer science (94)
Electrical & electronics engineering (1)

Publications (total 95)

The most downloaded
4093 downloads
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 https://hdl.handle.net/10993/35286

The most cited

101 citations (Scopus®)

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 https://hdl.handle.net/10993/35286

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

Contact ORBilu