Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2023

    Certified Compilation of Choreographies with hacc

    Cruz-Filipe, L., Lugović, L. & Montesi, F., 2023, Formal Techniques for Distributed Objects, Components, and Systems. Huisman, M. & Ravara, A. (red.). Springer Science+Business Media, s. 29-36 (Lecture Notes in Computer Science, Bind 13910 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Keep me out of the loop: a more flexible choreographic projection

    Cruz-Filipe, L., Rasmussen, R. R. & Montesi, F., 3. jun. 2023, Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning: EPiC Series in Computing. Piskac, R. & Voronkov, A. (red.). Ethnographic Praxis in Industry Conference (EPIC), Bind 94. s. 144-163 20 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Modular Choreographies: Bridging Alice and Bob Notation to Java.

    Cruz-Filipe, L., Madsen, A., Montesi, F. & Peressotti, M., dec. 2023, Joint Post-Proceedings of the 3rd and 4th International Conference on Microservices ( (Microservices 2020/2022). Dorai, G., Gabbrielli, M., Manzonetto, G., Osmani, A., Prandini, M., Zavattaro, G. & Zimmermann, O. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 3:1-3:18 (Open Access Series in Informatics, Bind 111).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    10 Downloads (Pure)
  • Modular Compilation for Higher-Order Functional Choreographies

    Cruz-Filipe, L., Graversen, E., Lugović, L., Montesi, F. & Peressotti, M., jul. 2023, 37th European Conference on Object-Oriented Programming (ECOOP 2023). Karim, A. & Guido, S. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Bind 263. 37 s. 7. (Leibniz International Proceedings in Informatics, LIPIcs).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    114 Downloads (Pure)
  • Now It Compiles! Certified Automatic Repair of Uncompilable Protocols

    Cruz-Filipe, L. & Montesi, F., jul. 2023, 14th International Conference on Interactive Theorem Proving, ITP 2023. Naumowicz, A. & Thiemann, R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 268. 19 s. 11. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 268).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    23 Downloads (Pure)
  • Reasoning About Choreographic Programs

    Cruz-Filipe, L., Graversen, E., Montesi, F. & Peressotti, M., 2023, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Jongmans, S-S. & Lopes, A. (red.). Springer Science+Business Media, s. 144-162 19 s. (Lecture Notes in Computer Science, Bind 13908 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • μ XL: Explainable Lead Generation with Microservices and Hypothetical Answers

    Cruz-Filipe, L., Kostopoulou, S., Montesi, F. & Vistrup, J., 2023, Service-Oriented and Cloud Computing - : Proceedings of IFIP WG 6.12 European Conference. Papadopoulos, G. A., Rademacher, F. & Soldani, J. (red.). Springer Science+Business Media, s. 3-18 (Lecture Notes in Computer Science, Bind 14183).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2022

    Can you answer while you wait?

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2022, Foundations of Information and Knowledge Systems - 12th International Symposium, FoIKS 2022, Proceedings. Varzinczak, I. (red.). Springer Science+Business Media, s. 111-129 (Lecture Notes in Computer Science, Bind 13388 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    38 Downloads (Pure)
  • From infinity to choreographies: Extraction for unbounded Systems

    Kjær, B. A., Cruz-Filipe, L. & Montesi, F., 11. sep. 2022, Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Proceedings. Villanueva, A. (red.). Springer Science+Business Media, s. 103-120 (Lecture Notes in Computer Science, Bind 13474 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    33 Downloads (Pure)
  • Functional Choreographic Programming

    Cruz-Filipe, L., Graversen, E., Lugović, L., Montesi, F. & Peressotti, M., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (red.). Springer Science+Business Media, s. 212-237 26 s. (Lecture Notes in Computer Science, Bind 13572 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    17 Downloads (Pure)
  • Reconciling Communication Delays and Negation

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (red.). Springer Science+Business Media, s. 151-169 19 s. (Lecture Notes in Computer Science, Bind 13572 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    32 Downloads (Pure)
  • 2021

    Certifying Choreography Compilation

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 2021, Theoretical Aspects of Computing – ICTAC 2021 : 18th International Colloquium. Cerone, A. & Olveczky, P. C. (red.). Springer Science+Business Media, s. 115-133 (Lecture Notes in Computer Science, Bind 12819 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Formalising a turing-complete choreographic language in Coq

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 1. jun. 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Bind 193. s. 15:1-15:18 (Leibniz International Proceedings in Informatics, LIPIcs, Bind 193).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    22 Downloads (Pure)
  • 2020

    Hypothetical answers to continuous queries over data streams

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI Press, s. 2798-2805

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2019

    Complete and Efficient DRAT Proof Checking

    Rebola-Pardo, A. & Cruz-Filipe, L., 7. jan. 2019, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjørner, N. & Gurfinkel, A. (red.). IEEE, s. 197-205

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Multiparty Classical Choreographies

    Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A., 1. jan. 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (red.). Springer, s. 59-76 (Lecture Notes in Computer Science, Bind 11408 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Special track on microservices, devops, and service-oriented architecture

    Cruz-Filipe, L., Di Nitto, E. & Mauro, J., 8. apr. 2019, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, s. 1224

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsFormidling

  • 2018

    Communications in choreographies, revisited

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 9. apr. 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Association for Computing Machinery, s. 1248-1255

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    166 Downloads (Pure)
  • 2017

    A Core Model for Choreographic Programming

    Cruz-Filipe, L. & Montesi, F., 2017, Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Khosravi, R. & Kouchnarenko, O. (red.). Springer, s. 17-35 (Lecture Notes in Computer Science, Bind 10231).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    205 Downloads (Pure)
  • Active Integrity Constraints: from Theory to Implementation

    Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I. & Schneider-Kamp, P., 2017, Knowledge Discovery, Knowledge Engineering and Knowledge Management: Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management. Fred, A., Dietz, J. L. G., Aveiro, D., Liu, K. & Filipe, J. (red.). Springer, s. 399-420 (Communications in Computer and Information Science, Bind 631).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Editorial message: Special Track on Service-Oriented Architectures and Programming (SOAP)

    Bartoletti, M., Ter Beek, M. H., Cruz-Filipe, L. & Melgratti, H., 2017, Proceedings of the Symposium on Applied Computing. Association for Computing Machinery, s. 1309-1311

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsFormidling

  • Efficient Certified RAT Verification

    Cruz-Filipe, L., Heule, M., Hunt, Jr, W., Kaufmann, M. & Schneider-Kamp, P., 2017, Automated Deduction - CADE 26: Proceedings of the 26th International Conference on Automated Deduction. de Moura, L. (red.). Springer, s. 220-236 (Lecture Notes in Computer Science, Bind 10395).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    172 Downloads (Pure)
  • Efficient Certified Resolution Proof Checking

    Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P., 2017, Tools and Algorithms for the Construction and Analysis of Systems: Proceedings of the 3rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017. Margaria, T. & Legay, A. (red.). Springer, Bind Part I. s. 118-135 (Lecture Notes in Computer Science, Bind 10205).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    138 Downloads (Pure)
  • Encoding Asynchrony in Choreographies

    Cruz-Filipe, L. & Montesi, F., 2017, Proceedings of the Symposium on Applied Computing. Association for Computing Machinery, s. 1175-1177

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Formally Proving the Boolean Triples Conjecture

    Cruz-Filipe, L. & Schneider-Kamp, P., 2017, Proceedings of LPAR-21: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Eiter, T. & Sands, D. (red.). EasyChair Publications, s. 509-522 (EPiC Series in Computing, Bind 46).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    102 Downloads (Pure)
  • How to Get More Out of Your Oracles

    Cruz-Filipe, L., Larsen, K. S. & Schneider-Kamp, P., 2017, Proceedings of the 8th International Conference on Interactive Theorem Proving. Ayala-Rincón, M. & Muñoz, C. A. (red.). Springer, s. 164-170 (Lecture Notes in Computer Science, Bind 10499).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Procedural Choreographic Programming

    Cruz-Filipe, L. & Montesi, F., 2017, Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017. Bouajjani, A. & Silva, A. (red.). Springer, s. 92-107 (Lecture Notes in Computer Science, Bind 10321).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    128 Downloads (Pure)
  • Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory

    Bogaerts, B. & Cruz-Filipe, L., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Sierra, C. (red.). IJCAI, s. 866-872

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The boolean pythagorean triples problem in coq

    Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P., 1. jan. 2017, 23rd International Conference on Types for Proofs and Programs, TYPES 2017. Kaposi, A. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 47-48 2 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 104).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The Paths to Choreography Extraction

    Cruz-Filipe, L., Larsen, K. S. & Montesi, F., 2017, Foundations of Software Science and Computation Structures: Proceedings of the 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. Esparza, J. & Murawski, A. S. (red.). Springer, s. 424-440 (Lecture Notes in Computer Science, Bind 10203).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    148 Downloads (Pure)
  • 2016

    Active Integrity Constraints for Multi-context Systems

    Cruz-Filipe, L., Gaspar, G., Nunes, I. & Schneider-Kamp, P., 2016, Knowledge Engineering and Knowledge Management: 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings. Blomqvist, E., Ciancarini, P., Poggi, F. & Vitali, F. (red.). Springer, s. 98-112 (Lecture Notes in Computer Science, Bind 10024).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Choreographies in Practice

    Cruz-Filipe, L. & Montesi, F., 2016, Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Albert, E. & Lanese, I. (red.). Springer, s. 114-123 (Lecture Notes in Computer Science, Bind 9688).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Grounded Fixpoints and Active Integrity Constraints

    Cruz-Filipe, L., 2016, Technical Communications of the 32nd International Conference on Logic Programming. Carro, M., King, A., Saeedloei, N. & De Vos, M. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 11:1-11:14 11. (Leibniz International Proceedings in Informatics). (Open Access Series in Informatics, Bind 52).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    86 Downloads (Pure)
  • Integrity Constraints for General-Purpose Knowledge Bases

    Cruz-Filipe, L., Nunes, I. & Schneider-Kamp, P., 2016, FoIKS 2016: Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems. Gyssens, M. & Simari, G. (red.). Springer, s. 235-254 (Lecture Notes in Computer Science, Bind 9616).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2015

    Applying Sorting Networks to Synthesize Optimized Sorting Libraries

    Codish, M., Cruz-Filipe, L., Nebel, M. & Schneider-Kamp, P., dec. 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (red.). Springer, s. 127-142 (Lecture Notes in Computer Science, Bind 9527).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker

    Cruz-Filipe, L. & Schneider-Kamp, P., 2015, Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. Urban, C. & Zhang, X. (red.). Springer, s. 154-169 (Lecture Notes in Computer Science, Bind 9236).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof

    Cruz-Filipe, L. & Schneider-Kamp, P., 2015, Intelligent Computer Mathematics: Proceedings of the 8th Conference on Intelligent Computer Mathematics (CICM 2015). Kerber, M., Carette, J., Kaliszyk, C., Rabe, F. & Sorge, V. (red.). Springer, s. 55-70 (Lecture Notes in Computer Science, Bind 9150).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints

    Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I. & Schneider-Kamp, P., 12. nov. 2015, Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K2015). Fred, A., Dietz, J., Aveiro, D., Liu, K. & Filipe, J. (red.). SCITEPRESS Digital Library, Bind 3. s. 17-26

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Sorting Networks: The End Game

    Codish, M., Cruz-Filipe, L. & Schneider-Kamp, P., 2015, Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA 2015). Dediu, A-H., Martín-Vide, C., Formenti, E. & Truthe, B. (red.). Springer, s. 664-675 (Lecture Notes in Computer Science, Bind 8977).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2014

    Information flow within relational multi-context systems

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2014, Knowledge Engineering and Knowledge Management. Janowicz, K., Schlobach, S., Lambrix, P. & Hyvönen, E. (red.). Springer, Bind 8876. s. 97-108 (Lecture Notes in Computer Science, Bind 8876).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Optimizing Computation of Repairs from Active Integrity Constraints

    Cruz-Filipe, L., 2014, Foundations of Information and Knowledge Systems: 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings. Beierle, C. & Meghini, C. (red.). Springer, s. 361-380 20 s. (Lecture Notes in Computer Science, Bind 8367).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    237 Downloads (Pure)
  • The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes

    Codish, M., Cruz-Filipe, L. & Schneider-Kamp, P., 2014, Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Winkler, F., Negru, V., Ida, T., Jebelean, T., Petcu, D., Watt, S. M. & Zaharie, D. (red.). IEEE, s. 359-366

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten)

    Codish, M., Frank, M., Cruz-Filipe, L. & Schneider-Kamp, P., 2014, Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence. IEEE, s. 186-193

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review