default search action
Domenico Bianculli
Person information
- affiliation: University of Lugano, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j22]Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, Lionel C. Briand:
Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction. Empir. Softw. Eng. 29(5): 105 (2024) - [j21]Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand:
Impact of log parsing on deep learning-based anomaly detection. Empir. Softw. Eng. 29(6): 139 (2024) - [j20]Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand:
Automated anomaly detection for categorical data by repurposing a form filling recommender system. ACM J. Data Inf. Qual. 16(3): 16:1-16:28 (2024) - [j19]Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand:
Stress Testing Control Loops in Cyber-physical Systems. ACM Trans. Softw. Eng. Methodol. 33(2): 35:1-35:58 (2024) - [j18]Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand:
Learning-based Relaxation of Completeness Requirements for Data Entry Forms. ACM Trans. Softw. Eng. Methodol. 33(3): 77:1-77:32 (2024) - [j17]Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli:
Rigorous Assessment of Model Inference Accuracy using Language Cardinality. ACM Trans. Softw. Eng. Methodol. 33(4): 95:1-95:39 (2024) - [c57]Marcello Ceci, Nicolas Sannier, Sallam Abualhaija, Donghwan Shin, Domenico Bianculli, Michael Halling:
Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques. FinanSE@ICSE 2024: 19-20 - [c56]Sallam Abualhaija, Marcello Ceci, Nicolas Sannier, Domenico Bianculli, Dirk A Zetzsche, Marco Bodellini:
Toward Automated Change Impact Analysis of Financial Regulations. FinanSE@ICSE 2024: 31-32 - [c55]Cristina Stratan, Joshua Heneage Dawes, Domenico Bianculli:
Diagnosing Violations of Time-based Properties Captured in iCFTL. FormaliSE@ICSE 2024: 33-43 - [c54]Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli, Alexandra Baicoianu:
Towards Generating Executable Metamorphic Relations Using Large Language Models. QUATIC 2024: 126-141 - [c53]Sallam Abualhaija, Marcello Ceci, Nicolas Sannier, Domenico Bianculli, Lionel C. Briand, Dirk A Zetzsche, Marco Bodellini:
AI-Enabled Regulatory Change Analysis of Legal Requirements. RE 2024: 5-17 - [c52]Marcello Ceci, Domenico Bianculli, Lionel C. Briand:
Defining a Model for Content Requirements from the Law: An Experience Report. RE 2024: 18-30 - [c51]Nicolas Sannier, Marcello Ceci, Sallam Abualhaija, Domenico Bianculli, Michael Halling:
A Model Toward Formalizing and Monitoring Compliance of Investment Funds Activities. RE Workshops 2024: 272-280 - [c50]Joshua Heneage Dawes, Domenico Bianculli:
Checking Complex Source Code-Level Constraints using Runtime Verification. SIGSOFT FSE Companion 2024: 255-265 - [i22]Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli, Alexandra Baicoianu:
Towards Generating Executable Metamorphic Relations Using Large Language Models. CoRR abs/2401.17019 (2024) - [i21]Fatemeh Hadadi, Qinghua Xu, Domenico Bianculli, Lionel C. Briand:
Anomaly Detection on Unstable Logs with GPT Models. CoRR abs/2406.07467 (2024) - 2023
- [j16]Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand:
A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms. ACM Trans. Softw. Eng. Methodol. 32(2): 47:1-47:40 (2023) - [j15]Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand:
Trace Diagnostics for Signal-Based Temporal Properties. IEEE Trans. Software Eng. 49(5): 3131-3154 (2023) - [c49]Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli:
Towards Log Slicing. FASE 2023: 249-259 - [i20]Claudio Mandrioli, Seung Yeob Shin, Martina Maggio, Domenico Bianculli, Lionel C. Briand:
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach. CoRR abs/2302.13913 (2023) - [i19]Fatemeh Hadadi, Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli, Lionel C. Briand:
Systematic Evaluation of Deep Learning Models for Failure Prediction. CoRR abs/2303.07230 (2023) - [i18]Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand:
Impact of Log Parsing on Log-based Anomaly Detection. CoRR abs/2305.15897 (2023) - [i17]Shan Ali, Chaima Boufaied, Domenico Bianculli, Paula Branco, Lionel C. Briand, Nathan Aschbacher:
An Empirical Study on Log-based Anomaly Detection Using Machine Learning. CoRR abs/2307.16714 (2023) - [i16]Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand:
Learning-Based Relaxation of Completeness Requirements for Data Entry Forms. CoRR abs/2311.13517 (2023) - 2022
- [j14]Donghwan Shin, Domenico Bianculli, Lionel C. Briand:
PRINS: scalable model inference for component-based system logs. Empir. Softw. Eng. 27(4): 87 (2022) - [j13]Ha Thanh Le, Lwin Khin Shar, Domenico Bianculli, Lionel Claude Briand, Cu Duy Nguyen:
Automated reverse engineering of role-based access control policies of web applications. J. Syst. Softw. 184: 111109 (2022) - [c48]Joshua Heneage Dawes, Domenico Bianculli:
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. FACS 2022: 20-38 - [c47]Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand:
Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques. ICSE 2022: 1095-1106 - [d2]Zanis Ali Khan, Donghwan Shin, Domenico Bianculli, Lionel C. Briand:
Replication package for "Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques". Zenodo, 2022 - [d1]Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand:
Benchmark suite for "An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications through Security Slicing and Hybrid Constraint Solving". IEEE DataPort, 2022 - [i15]Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand:
A Machine Learning Approach for Automated Filling of Data Entry Forms. CoRR abs/2202.08572 (2022) - [i14]Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand:
Trace Diagnostics for Signal-based Temporal Properties. CoRR abs/2206.04024 (2022) - [i13]Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli:
Rigorous Assessment of Model Inference Accuracy using Language Cardinality. CoRR abs/2211.16587 (2022) - 2021
- [j12]Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache:
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. J. Syst. Softw. 174: 110881 (2021) - [c46]Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand:
ThEodorE: a Trace Checker for CPS Properties. ICSE (Companion Volume) 2021: 183-184 - [c45]Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand:
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. ICSE 2021: 847-859 - [c44]Salma Messaoudi, Donghwan Shin, Annibale Panichella, Domenico Bianculli, Lionel C. Briand:
Log-based slicing for system-level test cases. ISSTA 2021: 517-528 - [c43]Joshua Heneage Dawes, Domenico Bianculli:
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. RV 2021: 23-41 - [c42]Donghwan Shin, Zanis Ali Khan, Domenico Bianculli, Lionel C. Briand:
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection. RV 2021: 277-287 - [i12]Donghwan Shin, Domenico Bianculli, Lionel C. Briand:
PRINS: Scalable Model Inference for Component-based System Logs. CoRR abs/2106.01987 (2021) - [i11]Xiaochen Li, Domenico Bianculli, Lionel C. Briand:
An AI-based Approach for Tracing Content Requirements in Financial Documents. CoRR abs/2110.14960 (2021) - 2020
- [j11]Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand:
An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications Through Security Slicing and Hybrid Constraint Solving. IEEE Trans. Software Eng. 46(2): 163-195 (2020) - [c41]Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache:
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. ASE 2020: 1004-1015 - [e4]Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat:
FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020. ACM 2020, ISBN 978-1-4503-7071-4 [contents] - [i10]Donghwan Shin, Domenico Bianculli, Lionel C. Briand:
Effective Removal of Operational Log Messages: an Application to Model Inference. CoRR abs/2004.07194 (2020) - [i9]Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand:
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. CoRR abs/2009.12250 (2020) - [i8]Paul Ralph, Sebastian Baltes, Domenico Bianculli, Yvonne Dittrich, Michael Felderer, Robert Feldt, Antonio Filieri, Carlo Alberto Furia, Daniel Graziotin, Pinjia He, Rashina Hoda, Natalia Juristo, Barbara A. Kitchenham, Romain Robbes, Daniel Méndez, Jefferson Seide Molléri, Diomidis Spinellis, Miroslaw Staron, Klaas-Jan Stol, Damian A. Tamburri, Marco Torchiano, Christoph Treude, Burak Turhan, Sira Vegas:
ACM SIGSOFT Empirical Standards. CoRR abs/2010.03525 (2020)
2010 – 2019
- 2019
- [j10]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j9]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019) - [j8]Chaima Boufaied, Domenico Bianculli, Lionel C. Briand:
A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations. J. Object Technol. 18(2): 15:1-21 (2019) - [i7]Donghwan Shin, Salma Messaoudi, Domenico Bianculli, Annibale Panichella, Lionel C. Briand, Raimondas Sasnauskas:
Scalable Inference of System-level Models from Component Logs. CoRR abs/1908.02329 (2019) - [i6]Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache:
Signal-Based Properties: Taxonomy and Logic-based Characterization. CoRR abs/1910.08330 (2019) - 2018
- [j7]Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand:
Security slicing for auditing common injection vulnerabilities. J. Syst. Softw. 137: 766-783 (2018) - [j6]Victor R. Basili, Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh:
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. IEEE Softw. 35(5): 44-49 (2018) - [c40]Salma Messaoudi, Annibale Panichella, Domenico Bianculli, Lionel C. Briand, Raimondas Sasnauskas:
A search-based approach for accurate identification of log message formats. ICPC 2018: 167-177 - [c39]Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand:
Model-driven run-time enforcement of complex role-based access control policies. ASE 2018: 248-258 - [c38]Wei Dou, Domenico Bianculli, Lionel C. Briand:
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications. MoDELS 2018: 278-288 - [i5]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018) - 2017
- [j5]Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh:
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated. IEEE Softw. 34(5): 72-75 (2017) - [c37]Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand:
Search-driven string constraint solving for vulnerability detection. ICSE 2017: 198-208 - [c36]Wei Dou, Domenico Bianculli, Lionel C. Briand:
A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties. MoDELS 2017: 323-333 - [c35]Domenico Bianculli, Srdjan Krstic:
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper). RV-CuBES 2017: 37-40 - [c34]Wei Dou, Domenico Bianculli, Lionel C. Briand:
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties. RV-CuBES 2017: 64-70 - [c33]Julian Thomé, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand:
JoanAudit: a tool for auditing common injection vulnerabilities. ESEC/SIGSOFT FSE 2017: 1004-1008 - 2016
- [c32]Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand, Benjamin Hourte:
A Model-driven Approach to Representing and Checking RBAC Contextual Policies. CODASPY 2016: 243-253 - [c31]Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli:
Testing the untestable: model testing of complex software-intensive systems. ICSE (Companion Volume) 2016: 789-792 - [c30]Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Efficient large-scale trace checking using mapreduce. ICSE 2016: 888-898 - [c29]Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand:
GemRBAC-DSL: A High-level Specification Language for Role-based Access Control Policies. SACMAT 2016: 179-190 - 2015
- [j4]Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand:
A comprehensive modeling framework for role-based access control policies. J. Syst. Softw. 107: 110-126 (2015) - [j3]Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
Syntactic-semantic incrementality for agile verification. Sci. Comput. Program. 97: 47-54 (2015) - [c28]Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi:
Syntax-Driven Program Verification of Matching Logic Properties. FormaliSE@ICSE 2015: 68-74 - [e3]Domenico Bianculli, Radu Calinescu, Bernhard Rumpe:
Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9509, Springer 2015, ISBN 978-3-662-49223-9 [contents] - [i4]Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Efficient Large-scale Trace Checking Using MapReduce. CoRR abs/1508.06613 (2015) - 2014
- [c27]Wei Dou, Domenico Bianculli, Lionel C. Briand:
OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL. ECMFA 2014: 51-66 - [c26]Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
SMT-Based Checking of SOLOIST over Sparse Traces. FASE 2014: 276-290 - [c25]Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic:
Towards the formalization of properties of cloud-based elastic systems. PESOS 2014: 38-47 - [c24]Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) 2014: 41-55 - [c23]Wei Dou, Domenico Bianculli, Lionel C. Briand:
Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes. SAM 2014: 190-197 - [c22]Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti:
Specification Patterns from Research to Industry: A Case Study in Service-Based Applications. Software Engineering 2014: 51-52 - [c21]Domenico Bianculli, Carlo Ghezzi, Srdan Krstic:
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. SEFM 2014: 144-158 - [c20]Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Offline Trace Checking of Quantitative Properties of Service-Based Applications. SOCA 2014: 9-16 - [p1]Luciano Baresi, Domenico Bianculli, Sam Guinea:
Cloud-Based Systems Need Multi-Level Management. Advanced Web Services 2014: 579-603 - [i3]Domenico Bianculli, Carlo Ghezzi, Srdan Krstic:
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce. CoRR abs/1406.3661 (2014) - [i2]Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Offline Trace Checking of Quantitative Properties of Service-Based Applications. CoRR abs/1409.4653 (2014) - 2013
- [j2]Patricia Lago, Grace A. Lewis, Andreas Metzger, Vladimir Tosic, Domenico Bianculli, Antinisca Di Marco, Andrea Polini, 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. ACM SIGSOFT Softw. Eng. Notes 38(1): 35-38 (2013) - [c19]Domenico Bianculli, Patricia Lago, Grace A. Lewis, Hye-Young Paik:
5th international workshop on principles of engineering service-oriented systems (PESOS 2013). ICSE 2013: 1539-1540 - [e2]Domenico Bianculli, Sam Guinea, Sylvain Hallé, Andrea Polini:
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, QASBA 2013, in conjunction with ISSTA 2013, Lugano, Switzerland, July 15, 2013. ACM 2013, ISBN 978-1-4503-2182-2 [contents] - [i1]Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
A Syntactic-Semantic Approach to Incremental Verification. CoRR abs/1304.8034 (2013) - 2012
- [b1]Domenico Bianculli:
Open-world Software: Specification, Verification and Beyond. University of Lugano, Switzerland, 2012 - [c18]Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro:
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. FACS 2012: 55-72 - [c17]Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti:
Specification patterns from research to industry: A case study in service-based applications. ICSE 2012: 968-976 - 2011
- [c16]Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu:
Interface decomposition for service compositions. ICSE 2011: 501-510 - [e1]Domenico Bianculli, Sam Guinea, Andreas Metzger, Andrea Polini:
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, QASBA 2011, Lugano, Switzerland, September 14, 2011. ACM International Conference Proceeding Series, ACM 2011, ISBN 978-1-4503-0826-7 [contents] - 2010
- [c15]Domenico Bianculli, Walter Binder, Mauro Luigi Drago:
SOABench: performance evaluation of service-oriented middleware made easy. ICSE (2) 2010: 301-302 - [c14]Domenico Bianculli, Walter Binder, Mauro Luigi Drago:
Automated performance assessment for service-oriented middleware: a case study on BPEL engines. WWW 2010: 141-150
2000 – 2009
- 2009
- [c13]Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini:
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. FMOODS/FORTE 2009: 26-40 - [c12]Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso:
Embedding continuous lifelong verification in service life cycles. PESOS@ICSE 2009: 99-102 - [c11]Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi:
ReMan: A pro-active reputation management infrastructure for composite Web services. ICSE 2009: 623-626 - 2008
- [c10]Domenico Bianculli, Carlo Ghezzi:
Towards a methodology for lifelong validation of service compositions. SDSOA@ICSE 2008: 7-12 - [c9]Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi:
Transparent Reputation Management for Composite Web Services. ICWS 2008: 621-628 - [c8]Domenico Bianculli, Carlo Ghezzi:
SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. ASE Workshops 2008: 49-56 - 2007
- [j1]Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini:
Validation of web service compositions. IET Softw. 1(6): 219-232 (2007) - [c7]Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395 - [c6]Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini:
Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62 - [c5]Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings:
Automated Dynamic Maintenance of Composite Services Based on Service Reputation. ICSOC 2007: 449-455 - [c4]Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini:
A Timed Extension of WSCoL. ICWS 2007: 663-670 - [c3]Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea:
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School 2007: 131-160 - [c2]Domenico Bianculli, Carlo Ghezzi:
Monitoring conversational web services. IW-SOSWE 2007: 15-21 - [c1]Domenico Bianculli, Carlo Ghezzi, Paola Spoletini:
A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20
Coauthor Index
Lionel C. Briand
aka: Lionel Claude Briand
aka: Lionel Claude Briand
[j22] [j21] [j20] [j19] [j18] [c53] [c52] [i21] [j16] [j15] [i20] [i19] [i18] [i17] [i16] [j14] [j13] [c47] [d2] [d1] [i15] [i14] [j12] [c46] [c45] [c44] [c42] [i12] [i11] [j11] [c41] [i10] [i9] [j8] [i7] [i6] [j7] [j6] [c40] [c39] [c38] [j5] [c37] [c36] [c34] [c33] [c32] [c31] [c29] [j4] [c27] [c23]
26<