Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Modeling and Monitoring Business Process Execution.

P. Bertoli, M. Dragoni, C. Ghidini, E. Martufi, M. Nori, M. Pistore, and C. Francescomarino. ICSOC, volume 8274 of Lecture Notes in Computer Science, page 683-687. Springer, (2013)

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. You can also use the button next to the name to display some publications already assigned to the person.

Marco Ströbel University of Stuttgart

Marco Hutter University of Stuttgart

Anpassbare Mensch-Maschine-Schnittstellen zwischen Adaptivität und IndividualisierungM. Racs, D. Holder, M. Hutter, T. Maier, and B. Gundelsweiler. Stuttgarter Symposium für Produktentwicklung SSP 2023 : Tagungsband zur Konferenz, Stuttgart, 25. Mai 2023, page 524-535. Stuttgart, Fraunhofer IAO, (2023)

Marco Testa University of Stuttgart

Dr. Marco Spurk University of Stuttgart

Marco Dettling University of Stuttgart

Other publications of authors with the same name

Model Checking Early Requirements Specifications in Tropos.A. Fuxman, J. Mylopoulos, M. Pistore, and P. Traverso. RE, page 174-181. IEEE Computer Society, (2001)Specifying and Analyzing Early Requirements: Some Experimental Results.A. Fuxman, L. Liu, M. Pistore, M. Roveri, and J. Mylopoulos. RE, page 105-. IEEE Computer Society, (2003)Continuous Orchestration of Web Services via Planning.P. Bertoli, R. Kazhamiakin, M. Paolucci, M. Pistore, H. Raik, and M. Wagner. ICAPS, AAAI, (2009)CLAM: Managing cross-layer adaptation in service-based systems.A. Zengin, A. Marconi, L. Baresi, and M. Pistore. SOCA, page 1-8. IEEE Computer Society, (2011)CLAM: cross-layer adaptation manager for service-based applications.A. Zengin, A. Marconi, and M. Pistore. QASBA, page 21-27. ACM, (2011)Final semantics for the pi-calculus.F. Honsell, M. Lenisa, U. Montanari, and M. Pistore. PROCOMET, volume 125 of IFIP Conference Proceedings, page 225-243. Chapman & Hall, (1998)Stong Cyclic Planning Under Partial Observability.P. Bertoli, A. Cimatti, and M. Pistore. ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 580-584. IOS Press, (2006)A gamification framework for the long-term engagement of smart citizens.R. Kazhamiakin, A. Marconi, A. Martinelli, M. Pistore, and G. Valetto. ISC2, page 1-7. IEEE, (2016)A context-aware framework for dynamic composition of process fragments in the internet of services.A. Bucchiarone, A. Marconi, M. Pistore, and H. Raik. J. Internet Services and Applications, 8 (1): 6:1-6:23 (2017)A model-checking verification environment for mobile processes.G. Ferrari, S. Gnesi, U. Montanari, and M. Pistore. ACM Trans. Softw. Eng. Methodol., 12 (4): 440-473 (2003)