Programming Logic and Semantics

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2023

    A Logical Interpretation of Asynchronous Multiparty Compatibility

    Carbone, M., Marin, S. & Schürmann, C., 16 okt. 2023, A Logical Interpretation of Asynchronous Multiparty Compatibility. Springer, Cham, Bind 14330. (Lecture Notes in Computer Science, Bind 14330).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Calculating Compilers for Concurrency

    Bahr, P. & Hutton, G., 31 aug. 2023, Proceedings of the ACM on Programming Languages. New York, NY, USA, Bind 7. s. 740–767 28 s. 213

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Extended Formal Analysis of the EDHOC Protocol in Tamarin

    Bruni, A., Normann, K. & Sundararajan, V., 2023, Extended Formal Analysis of the EDHOC Protocol in Tamarin.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • 2022

    Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks

    Kristensen, M. B., Møgelberg, R. E. & Vezzosi, A., 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, 13 s. 42

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Monadic Compiler Calculation (Functional Pearl)

    Bahr, P. & Hutton, G., aug. 2022, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Bind 6.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2021

    Diamonds are not forever: Liveness in reactive programming with guarded recursion

    Bahr, P., Graulund, C. U. & Møgelberg, R. E., jan. 2021, ACM SIGPLAN Symposium on Principles of Programming Languages. POPL udg. Association for Computing Machinery, Bind 5. 28 s. (Proceedings of the ACM on Programming Languages).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices

    Normann, K., Sundararajan, V. & Bruni, A., 2021, Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskning

    Åben adgang
  • Machine-Checked Semantic Session Typing

    Hinrichsen, J. K., Louwrink, D., Krebbers, R. & Bengtson, J., 2021, CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery, s. 178–198

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Security Protocols as Choreographies

    Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, s. 98 111 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation

    Daukantas, I., Bruni, A. & Schürmann, C., 2021, Proceedings of PPDP (Principles of Declarative Programing Languages). Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Two Guarded Recursive Powerdomains for Applicative Simulation

    Møgelberg, R. E. & Vezzosi, A., dec. 2021, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. Electronic Proceedings in Theoretical Computer Science, Bind 351. s. 200-217

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Zoom and enhance: Action refinement via subprocesses in timed declarative processes

    Norman, H., Debois, S., Slaats, T. & Hildebrandt, T. T., 2021, Business process management - 19th international conference, BPM 2021, rome, italy, september 06-10, 2021, proceedings. Polyvyanyy, A., Wynn, M. T., Looy, A. V. & Reichert, M. (red.). Springer VS, Bind 12875. s. 161-178 18 s. (Lecture notes in computer science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 2020

    Actris: session-type based reasoning in separation logic

    Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, Proceedings of the ACM on Programming Languages. Wadler, P. (red.). Association for Computing Machinery, Bind 4. s. 6:1 30 s. 6

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Privacy-Preserving Dispute Resolution in the Improved Bingo Voting

    Giustolisi, R. & Bruni, A., 25 sep. 2020, E-Vote-ID: International Joint Conference on Electronic Voting. Springer, s. 67-83 16 s. (Lecture Notes in Computer Science, Bind 12455).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2019

    Assisted Declarative Process Creation from Natural Language Descriptions

    Lopez, H. A., Marquard, M., Muttenthaler, L. & Strømsted, R., 21 nov. 2019, 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW). IEEE Computer Society Press, s. 96-99 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Bisimulation as path type for guarded recursive types

    Veltri, N. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Bind 3. 29 s. 4

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Declarative Choreographies and Liveness

    Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., jun. 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, s. 129-147 19 s. (Lecture Notes in Computer Science, Bind 11535).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Exploring the Modeling of Declarative Processes Using a Hybrid Approach

    Abbad Andaloussi, A., Buch-Lorentsen, J., Lopez, H. A., Slaats, T. & Weber, B., 15 okt. 2019, Conceptual Modeling: Conceptual Modeling. ER 2019.. Switzerland: Springer Nature, Bind 11788. s. 162-170 9 s. (Lecture Notes in Computer Science, Bind 11788).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming

    Bahr, P., Graulund, C. U. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. IFCP udg. Association for Computing Machinery, Bind 3. 109

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Technical and Socio-Technical Attacks on the Danish Party Endorsement System

    Schürmann, C. & Bruni, A., 24 sep. 2019, Electronic Voting. Springer, Bind LLNCS11759. s. 200-215 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2018

    Dynamic Evaluation Forms using Declarative Modeling

    Strømsted, R., López-Acosta, H-A., Debois, S. & Marquard, M., 4 sep. 2018, 16th International Conference on Business Process Management (BPM'18). Weber, B., van der Aalst, W. M. P., Casati, F., Conforti, R. & Dumas, M. (red.). Sydney, Australia: CEUR Workshop Proceedings, s. 172-179 7 s. (CEUR Workshop Proceedings, Bind 2196).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)

    Bruni, A., Jørgensen, T. S., Petersen, T. G. & Schürmann, C., 2018, Security Standardisation Research : 4th International Conference. Cremers, C. & Lehmann, A. (red.). Darmstadt, Germany: Springer, s. 21-36 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • On Purpose and by Necessity: Compliance under the GDPR

    Basin, D., Debois, S. & Hildebrandt, T., 2018, Financial Cryptography and Data Security. 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018,. Springer, (Lecture Notes in Computer Science, Bind 10957).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Strict Ideal Completions of the Lambda Calculus

    Bahr, P., jul. 2018, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 8:1-8:16 16 s. 8

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • The Clocks They Are Adjunctions: Denotational Semantics for Clocked Type Theory

    Mannaa, B. & Møgelberg, R. E., 2018, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Bind 108. 17 s. 23. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 108).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2017

    Automated Analysis of Accountability

    Bruni, A., Giustolisi, R. & Schürmann, C., 2017, Information Security - 20th International Conference, {ISC} 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings. Springer, s. 417-434 (Lecture Notes in Computer Science, Bind 10599).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Böhm Reduction in Infinitary Term Graph Rewriting Systems

    Bahr, P., 1 sep. 2017, 2nd International Conference on Formal Structures for Computation and Deduction: FSCD 2017, September 3–9, 2017, Oxford, UK. Miller, D. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 84. s. 8:1-8:20

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Declarative Process Mining for DCR Graphs

    Debois, S., Hildebrandt, T. T., Laursen, P. H. & Ulrik, K. R., 2017, Proceedings of the Symposium on Applied Computing: SAC '17. New York, NY, USA: Association for Computing Machinery, s. 759-764 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Lincx: A Linear Logical Framework with First-class Contexts

    Linn Georges, A., Murawska, A., Otis, S. & Pientka, B., 2017, 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Springer, s. 530-555 (Lecture Notes in Computer Science, Bind 10201).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Modelling Cooperative Work at a Medical Department

    Christensen, L. R. & Hildebrandt, T., 2017, C&T '17 Proceedings of the 8th International Conference on Communities and Technologies. Association for Computing Machinery, s. 46-55 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy

    Bruni, A., Drewsen, E. & Schürmann, C., 2017, Electronic Voting - Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Springer, s. 110-126 (Lecture Notes in Computer Science, Bind 10615).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2016

    Coqoon - An IDE for Interactive Proof Development in Coq

    Faithfull, A., Bengtson, J. & Tassi, E., 11 apr. 2016, 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings: TACAS 2016: Tools and Algorithms for the Construction and Analysis of Systems. Springer, s. 316-331 15 s. (Lecture Notes in Computer Science, Bind 9636).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Denotational semantics of recursive types in synthetic guarded domain theory

    Møgelberg, R. E. & Paviotti, M., 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, s. 317-326 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Deriving Consistent GSM Schemas from DCR Graphs

    Eshuis, R., Debois, S., Slaats, T. & Hildebrandt, T., 2016, International Conference on Service-Oriented Computing: ICSOC 2016: Service-Oriented Computing . Springer Publishing Company, s. 467–482 (Lecture Notes in Computer Science, Bind 9936).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Extensible and Efficient Automation Through Reflective Tactics

    Malecha, G. & Bengtson, J., 22 mar. 2016, Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Springer, s. 532-559 28 s. (Lecture Notes in Computer Science, Bind 9632).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Guarded Dependent Type Theory with Coinductive Types

    Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E. & Birkedal, L., 2016, Foundations of Software Science and Computation Structure: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer, s. 20-35 16 s. (Lecture Notes in Computer Science, Bind 9634).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Measuring Voter Lines

    Schürmann, C. & Wang, J., 2016, Proceedings of the 6th International Conference for E-Democracy and Open Government: CeDEM 16. IEEE Professional Communication Society, s. 57-65 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Smart-Guard: Defending User Input from Malware

    Denzel, M., Bruni, A. & Ryan, M., 8 aug. 2016, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld). IEEE, s. 502-509 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2015

    Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 17 maj 2015, Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice. IEEE Computer Society Press, s. 54-57

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Concurrency & Asynchrony in Declarative Workflows

    Debois, S., Hildebrandt, T. & Slaats, T., 31 aug. 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Bind 9253. s. 72-89 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Hybrid process technologies in the financial sector

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 31 aug. 2015, CEUR Workshop Proceedings: Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 (BPM-Industry 2015). CEUR Workshop Proceedings, Bind 1439. s. 107-119 (CEUR Workshop Proceedings).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Multiparty Session Types as Coherence Proofs

    Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015): Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 42. s. 412 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

    Debois, S., Hildebrandt, T. & Slaats, T., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (red.). Springer, s. 143-160 18 s. (Lecture Notes in Computer Science, Bind 9109).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • The Analysis of a Real Life Declarative Process

    Debois, S. & Slaats, T., 2015, Proceedings of the 2015 Symposium on Computational Intelligence and Data Mining (CIDM). IEEE: IEEE Computer Society Press, s. 1374 - 1382

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Type Families with Class, Type Classes with Family

    Serrano, A., Hage, J. & Bahr, P., 1 sep. 2015, Proceedings of the 8th ACM SIGPLAN Symposium on Haskell. New York, NY, USA: Association for Computing Machinery, s. 129-140 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Vote Counting as Mathematical Proof

    Schürmann, C. & Pattinson, D., 1 dec. 2015, Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. Pfahringer, B. & Renz, J. (red.). 2015 udg. Canberra: Springer, Bind LNAI 9457. s. 464-475 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Web-Based Modelling and Collaborative Simulation of Declarative Processes.

    Slaats, T., Marquard, M. & Shahzad, M., 31 aug. 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Bind 9253. s. 209-225 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2014

    A Case for Declarative Process Modelling: Agile Development of a Grant Application System

    Debois, S., Hildebrandt, T., Slaats, T. & Marquard, M., 2014, Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International. IEEE Computer Society Press, s. 126-133 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • A type theory for productive coprogramming via guarded recursion

    Møgelberg, R. E., 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): CSL-LICS '14. Association for Computing Machinery, 10 s. 71. (Annual Symposium on Logic in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Concurrency Models with Causality and Events as Psi-calculi

    Hildebrandt, T., Prisacariu, C. & Norman, H., 2014, Proceedings 7th Interaction and Concurrency Experience. Lanese, I., Lluch-Lafuente, A., Sokolova, A. & Vieira, H. T. (red.). Bind 166. s. 4-20 17 s. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Bind 166).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review