Filtrer vos résultats
- 11
- 7
- 4
- 11
- 1
- 1
- 1
- 3
- 3
- 2
- 11
- 11
- 11
- 2
- 1
- 11
- 11
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
11 résultats
|
|
triés par
|
|
Monitoring Decentralized SpecificationsISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩
Communication dans un congrès
hal-01653725v1
|
||
|
Opportunistic Monitoring of Multithreaded ProgramsFASE 2023 - 26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.173-194, ⟨10.1007/978-3-031-30826-0_10⟩
Communication dans un congrès
hal-04381611v1
|
||
|
Can We Monitor All Multithreaded Programs?RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-24
Communication dans un congrès
hal-01882414v1
|
||
|
Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority FrameworkJournal of Logical and Algebraic Methods in Programming, 2018, 99, pp.143-177. ⟨10.1016/j.jlamp.2018.05.005⟩
Article dans une revue
hal-01796786v1
|
||
|
THEMIS: A Tool for Decentralized Monitoring AlgorithmsISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩
Communication dans un congrès
hal-01653727v1
|
||
|
Decentralized enforcement of document lifecycle constraintsInformation Systems, 2017, ⟨10.1016/j.is.2017.08.002⟩
Article dans une revue
hal-01653879v1
|
||
|
Decentralized Enforcement of Artifact LifecyclesEDOC 2016, Sep 2016, Vienne, Austria
Communication dans un congrès
hal-01365315v1
|
||
|
Modularizing Crosscutting Concerns in Component-Based Systems14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria
Communication dans un congrès
hal-01305083v1
|
||
|
From global choreographies to verifiable efficient distributed implementationsJournal of Logical and Algebraic Methods in Programming, 2020, 115, pp.1-24. ⟨10.1016/j.jlamp.2020.100577⟩
Article dans une revue
hal-03113398v1
|
||
|
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and SimulationACM Transactions on Software Engineering and Methodology, 2019, pp.1-57. ⟨10.1145/nnnnnnn.nnnnnnn⟩
Article dans une revue
hal-02283429v2
|
||
|
Bringing Runtime Verification HomeRV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-17
Communication dans un congrès
hal-01882411v1
|