Author of the publication

Dynamo + Astro: An Integrated Approach for BPEL Monitoring.

, , , and . ICWS, page 230-237. IEEE Computer Society, (2009)

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.

No persons found for author name Baresi, Luciano
add a person with the name Baresi, Luciano
 

Other publications of authors with the same name

Requirements and Early Experiences in the Implementation of the SPADE Repository., , , and . ISPW, page 30-32. IEEE Computer Society, (1993)Architectural Styles for Adaptive Systems: A Tutorial., and . SASO, page 237-238. IEEE Computer Society, (2012)Green Move: Towards next generation sustainable smartphone-based vehicle sharing., , , , , , , , , and 5 other author(s). SustainIT, page 1-5. IEEE, (2012)Web Services and Web 2.0: Married or Fiancés?. WSE, page 1. IEEE Computer Society, (2007)Feature-Model-Guided Online Learning for Self-Adaptive Systems., , , , and . CoRR, (2019)A Logic-Based Approach for the Verification of UML Timed Models., , , , and . ACM Trans. Softw. Eng. Methodol., 26 (2): 7:1-7:47 (2017)Style-based modeling and refinement of service-oriented architectures., , , and . Software and Systems Modeling, 5 (2): 187-207 (2006)Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata., , and . J. Comput. Sci. Technol., 28 (1): 188-202 (2013)Multi-party business process compliance monitoring through IoT-enabled artifacts., , , and . Inf. Syst., (2018)From Graph Transformation to Software Engineering and Back., and . Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 24-37. Springer, (2005)