From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated synthesis of executable web service compositions from BPEL4WS processes.

M. Pistore, P. Traverso, P. Bertoli, и A. Marconi. WWW (Special interest tracks and posters), стр. 1186-1187. ACM, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Piergiorgio Antonini

Constantin Bertoli

Cristina Bertoli Sand

William Piergiorgio Gizzi

Sibylle Bettina Bertoli

Другие публикации лиц с тем же именем

SMART: Supporting the Design and Execution of User-Centric Service-Based Applications.P. Bertoli, R. Kazhamiakin, M. Nori, и M. Pistore. WISE, том 7651 из Lecture Notes in Computer Science, стр. 796-799. Springer, (2012)Automated Composition of Web Services by Planning in Asynchronous Domains.M. Pistore, P. Traverso, и P. Bertoli. ICAPS, стр. 2-11. AAAI, (2005)Design and Verification ofWeb Services Compositions in the Telecommunication Domain.P. Bertoli, L. Ferrari, R. Kazhamiakin, C. Moiso, M. Pistore, и E. Thuegaz. ICWS, стр. 1214-1215. IEEE Computer Society, (2007)Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems.A. Bucchiarone, A. Marconi, M. Pistore, P. Traverso, P. Bertoli, и R. Kazhamiakin. ICWS, стр. 571-578. IEEE Computer Society, (2013)Modeling and Monitoring Processes exploiting Semantic Reasoning.M. Dragoni, P. Bertoli, C. Francescomarino, C. Ghidini, M. Nori, M. Pistore, R. Tiella, и F. Corcoglioniti. ISWC (Posters & Demos), том 1272 из CEUR Workshop Proceedings, стр. 121-124. CEUR-WS.org, (2014)A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.P. Bertoli, A. Cimatti, F. Giunchiglia, и P. Traverso. SAFECOMP, том 1516 из Lecture Notes in Computer Science, стр. 221-230. Springer, (1998)Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.P. Bertoli, A. Cimatti, M. Roveri, и P. Traverso. IJCAI, стр. 473-478. Morgan Kaufmann, (2001)Semantic-Based Process Analysis.C. Francescomarino, F. Corcoglioniti, M. Dragoni, P. Bertoli, R. Tiella, C. Ghidini, M. Nori, и M. Pistore. ISWC (2), том 8797 из Lecture Notes in Computer Science, стр. 228-243. Springer, (2014)Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking.A. Cimatti, M. Roveri, и P. Bertoli. TACAS, том 2031 из Lecture Notes in Computer Science, стр. 313-327. Springer, (2001)A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.P. Bertoli, M. Bozzano, и A. Cimatti. MoChArt, том 4428 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2006)

BibSonomy

Disambiguation