1 |
Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes
|
|
|
|
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Synchronous Product of Time Petri Netsand its Applications to Fault-Diagnosis ; Produit synchrone des réseaux de Petri temporelset ses applications au diagnostic de défauts
|
|
|
|
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Analysis of source code quality through a logic-based technique and application to robotics ; Analyse de la qualité de code via une approche logique et application à la robotique
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-02367673 ; Sciences de l'ingénieur [physics]. UNIVERSITE DE TOULOUSE, 2019. Français (2019)
|
|
BASE
|
|
Show details
|
|
7 |
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
|
|
Voigt, Marco. - : Saarländische Universitäts- und Landesbibliothek, 2019
|
|
BASE
|
|
Show details
|
|
8 |
A rule-based methodology to extract building model views
|
|
|
|
In: Automation in Construction, vol. 92, pp. 214-229 (2018)
|
|
BASE
|
|
Show details
|
|
9 |
МЕТОД ПОСТРОЕНИЯ АБСТРАКТНЫХ МОДЕЛЕЙ, ИСПОЛЬЗУЕМЫХ ДЛЯ ВЕРИФИКАЦИИ ПРОТОКОЛОВ КОГЕРЕНТНОСТИ КЭШ-ПАМЯТИ МАСШТАБИРУЕМЫХ СИСТЕМ
|
|
БУРЕНКОВ В.С.; ИВАНОВ С.Р.. - : Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Московский государственный технический университет имени Н.Э.Баумана», 2017
|
|
BASE
|
|
Show details
|
|
10 |
A first-order policy language for history-based transaction monitoring
|
|
|
|
In: Proceedings of The 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009) ; http://www.springerlink.com/content/978-3-642-03465-7 (2015)
|
|
BASE
|
|
Show details
|
|
11 |
Lambda-calculus and formal language theory
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-01253426 ; Computer Science [cs]. Université de Bordeaux, 2015 (2015)
|
|
BASE
|
|
Show details
|
|
12 |
MEReq: a tool to capture and validate multi-lingual requirements
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Detection of Naming Convention Violations in Process Models for Different Languages
|
|
|
|
In: http://www.mendling.com/publications/DSS13-Convention.pdf (2013)
|
|
BASE
|
|
Show details
|
|
14 |
A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
|
|
|
|
In: AOSD 2012 Student Research Competition (Poster) ; https://hal.inria.fr/hal-00668999 ; AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩ (2012)
|
|
BASE
|
|
Show details
|
|
15 |
Formal Verification of Distributed Algorithms using PlusCal-2 ; Vérification Formelle d'Algorithmes Distribués en PlusCal-2
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01749162 ; Data Structures and Algorithms [cs.DS]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0014⟩ (2012)
|
|
BASE
|
|
Show details
|
|
16 |
Mémoire d'habilitation à diriger des recherches
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01096078 ; Logic in Computer Science [cs.LO]. Université Blaise Pascal (Clermont-Ferrand 2), 2012 (2012)
|
|
BASE
|
|
Show details
|
|
17 |
Computation Sequence Chart: ein Konzept zur anforderungsbezogenen Testfallgenerierung ...
|
|
|
|
BASE
|
|
Show details
|
|
18 |
Vérification formelle d'algorithmes distribués en PlusCal-2 ; Formal Verification of distributed algorithms using PlusCal-2
|
|
|
|
BASE
|
|
Show details
|
|
19 |
The Complexity of Reversal-Bounded Model-Checking
|
|
|
|
In: Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings ; 8th International Symposium on Frontiers of Combining Systems (FroCoS'11) ; https://hal.archives-ouvertes.fr/hal-03195045 ; 8th International Symposium on Frontiers of Combining Systems (FroCoS'11), Viorica Sofronie-Stokkermans; Cesare Tinelli, Oct 2011, Saarbruecken, Germany. pp.71-86, ⟨10.1007/978-3-642-24364-6_6⟩ ; https://www.springer.com/gp/book/9783642243639 (2011)
|
|
BASE
|
|
Show details
|
|
20 |
Towards the Integration of EAST-ADL and UPPAAL for FormalVerification of EAST-ADL Timing Constraint Specification
|
|
|
|
BASE
|
|
Show details
|
|
|
|