![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | SANNIER, N., CECI, M., ABUALHAIJA, S., BIANCULLI, D., & HALLING, M. (In press). A Model Toward Formalizing and Monitoring Compliance of Investment Funds Activities. In 2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW). IEEE. ![]() |
![]() ![]() | SHIN, S. Y., PASTORE, F., BIANCULLI, D., & Baicoianu, A. (2024). Towards Generating Executable Metamorphic Relations Using Large Language Models. In Proceedings of the 17th International Conference on the Quality of Information and Communications Technology. Berlin, Germany: Springer. ![]() |
![]() ![]() | DAWES, J., & BIANCULLI, D. (2024). 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) (pp. 255-265). ACM. doi:10.1145/3663529.3663845 ![]() |
![]() ![]() | Hadadi, F., DAWES, J., Shin, D., BIANCULLI, D., & BRIAND, L. (20 June 2024). Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction. Empirical Software Engineering, 29. doi:10.1007/s10664-024-10501-4 ![]() |
![]() ![]() | STRATAN, C., DAWES, J., & BIANCULLI, D. (2024). Diagnosing Violations of Time-based Properties Captured in iCFTL. In FormaliSE '24: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)) (pp. 33--43). New York, United States - New York: ACM. doi:10.1145/3644033.3644375 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
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. |
![]() ![]() | 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 ![]() |
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. |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
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 ![]() |
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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
BIANCULLI, D., Medvidović, N., & Rosenblum, D. R. (Eds.). (2018). 40 editions of ICSE: the ruby anniversary celebration. self-published. |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. |
![]() ![]() | 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. |
![]() ![]() | 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. |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
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., 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. |
![]() ![]() | 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 ![]() |
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. |
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 ![]() |
![]() ![]() | 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 ![]() |
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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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., 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
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., 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |