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

Ticc: A Tool for Interface Compatibility and Composition.

B. Adler, L. de Alfaro, L. da Silva, M. Faella, A. Legay, V. Raman, and P. Roy. CAV, volume 4144 of Lecture Notes in Computer Science, page 59-62. Springer, (2006)

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 Testa University of Stuttgart

Marco Maier University of Stuttgart

Dr. Marco Spurk University of Stuttgart

Marco Dettling University of Stuttgart

Other publications of authors with the same name

Code aware resource management.K. Chatterjee, L. de Alfaro, M. Faella, R. Majumdar, and V. Raman. Formal Methods in System Design, 42 (2): 146-174 (2013)Generalized Agent-mediated Procurement Auctions.P. Bonatti, M. Faella, C. Galdi, and L. Sauro. AAMAS, page 77-85. ACM, (2016)Admissible Strategies in Infinite Games over Graphs.M. Faella. MFCS, volume 5734 of Lecture Notes in Computer Science, page 307-318. Springer, (2009)Automata-Theoretic Decision of Timed Games.M. Faella, S. Torre, and A. Murano. VMCAI, volume 2294 of Lecture Notes in Computer Science, page 94-108. Springer, (2002)Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes.P. Bonatti, M. Faella, and L. Sauro. IJCAI, page 696-701. (2009)On Interoperable Trust Negotiation Strategies.S. Baselice, P. Bonatti, and M. Faella. POLICY, page 39-50. IEEE Computer Society, (2007)Automatic synthesis of switching controllers for linear hybrid systems: Safety control.M. Benerecetti, M. Faella, and S. Minopoli. Theor. Comput. Sci., (2013)Code aware resource management.L. de Alfaro, V. Raman, M. Faella, and R. Majumdar. EMSOFT, page 191-202. ACM, (2005)Defeasible Inclusions in Low-Complexity DLs.P. Bonatti, M. Faella, and L. Sauro. J. Artif. Intell. Res., (2011)Best-Effort Strategies for Losing StatesM. Faella. CoRR, (2008)