Zobrazeno 1 - 10
of 90
pro vyhledávání: '"BRUCKER, ACHIM D."'
Publikováno v:
In Science of Computer Programming April 2025 241
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Brucker, Achim D., Chiorean, Dan, Clark, Tony, Demuth, Birgit, Gogolla, Martin, Plotnikov, Dimitri, Rumpe, Bernhard, Willink, Edward D., Wolff, Burkhart
Publikováno v:
Proceedings of the MODELS 2013 OCL Workshop (OCL 2013), Miami, Florida (USA), Volume 1092 of CEUR Workshop Proceedings, Eds.: J. Cabot, M. Gogolla, I. Rath, E. Willink, pages 103-111, CEUR-WS.org, 2013
As a continuation of the OCL workshop during the MODELS 2013 conference in October 2013, a number of OCL experts decided to meet in November 2013 in Aachen for two days to discuss possible short term improvements of OCL for an upcoming OMG meeting an
Externí odkaz:
http://arxiv.org/abs/1408.5698
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 10 December 2008 220(1):15-27
Publikováno v:
Hess, A V, Mödersheim, S A & Brucker, A D 2020, ' Stateful Protocol Composition and Typing ', Archive of Formal Proofs .
Technical University of Denmark Orbit
Technical University of Denmark Orbit
We provide in this AFP entry several relative soundness results for security protocols. In particular, we prove typing and compositionality results for stateful protocols (i.e., protocols with mutable state that may span several sessions), and that f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9b96db59d4fcc182041b21b7cc2566da
https://orbit.dtu.dk/en/publications/98d2febd-c7c8-487d-9230-82f53036bdfe
https://orbit.dtu.dk/en/publications/98d2febd-c7c8-487d-9230-82f53036bdfe
Autor:
Brucker, Achim D., Daniel, Gwendal, Gogolla, Martin, Jouault, Frédéric, Ponsard, Christophe, Ramon, Valéry, Willink, Edward
Publikováno v:
Object Constraint Language and Textual Modeling 2019
Object Constraint Language and Textual Modeling 2019, Sep 2019, Munich, Germany. pp.91-104
Object Constraint Language and Textual Modeling 2019, Sep 2019, Munich, Germany. pp.91-104
International audience; The 19th edition of the OCL workshop featured a lightning talk session where authors were invited to present their recent work and open questions related to textual modeling in general and OCL in particular. These 5 minute pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::43046baec24a2727adc327bf5e7ababc
https://hal.archives-ouvertes.fr/hal-02492109
https://hal.archives-ouvertes.fr/hal-02492109
Autor:
Brucker, Achim D., Wolff, Burkhart
Publikováno v:
In Electronic Notes in Theoretical Computer Science August 2003 80:24-40
Publikováno v:
Object Constraint Language and Textual Modeling 2019
Object Constraint Language and Textual Modeling 2019, 2019
Object Constraint Language and Textual Modeling 2019, 2019
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e6a4c149ae685f83fc08b50de93b7fd8
https://hal.archives-ouvertes.fr/hal-02492125
https://hal.archives-ouvertes.fr/hal-02492125
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.