Filter your results
- 17
- 13
- 15
- 11
- 3
- 1
- 28
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 3
- 2
- 6
- 1
- 1
- 7
- 2
- 27
- 3
- 21
- 20
- 20
- 9
- 8
- 8
- 3
- 3
- 2
- 1
- 1
- 30
- 12
- 7
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
30 Results
|
|
sorted by
|
Causality Analysis in Contract ViolationRuntime Verification, Nov 2010, St Julians, Malta. pp.270-284
Conference papers
inria-00548815v1
|
|||
|
Modal event-clock specifications for timed component-based designScience of Computer Programming, 2012, 77, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩
Journal articles
hal-00752449v1
|
||
|
Application of Interface Theories to the Separate Compilation of Synchronous Programs[Research Report] RR-8030, INRIA. 2012
Reports
hal-00721049v1
|
||
|
Application of Interface Theories to the Separate Compilation of Synchronous Programs51st IEEE Conference on Decision and Control (CDC 2012), Jay A. Farrell, Dec 2012, Maui, Hawaii, United States. ⟨10.1109/CDC.2012.6426437⟩
Conference papers
hal-00766793v1
|
||
A Compositional Approach on Modal Specifications for Timed Systems.11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. pp.679-697
Conference papers
inria-00424356v1
|
|||
|
Why are modalities good for Interface Theories?The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany
Conference papers
inria-00389051v1
|
||
|
Why are modalities good for Interface Theories?[Research Report] RR-6899, INRIA. 2009
Reports
inria-00375098v1
|
||
|
MAccS: a Tool for Reachability by Design11th International Symposium on Formal Aspects of Component Software (FACS 2014), Sep 2014, Bertinoro, Italy. pp.191--197, ⟨10.1007/978-3-319-15317-9_12⟩
Conference papers
hal-03260609v1
|
||
Git4School: A Dashboard for Supporting Teacher Interventions in Software Engineering CoursesEC-TEL 2020 - Fifteenth European Conference on Technology Enhanced Learning, Sep 2020, Heidelberg (GER) Online, France. pp.392-397, ⟨10.1007/978-3-030-57717-9_33⟩
Conference papers
hal-02946555v1
|
|||
|
Mise en oeuvre d'approches pédagogiques fondées sur des pratiques de l'industrie du logiciel pour l'apprentissage de la programmation2020 Colloque Didapro 8 : L’informatique, objets d’enseignements (DidaSTIC 2020), Feb 2020, Lille, France. pp.1-12
Conference papers
hal-02960444v1
|
||
|
Développement dirigé par les tests et revue de code par les pairs pour l'apprentissage de la programmationLudovia CH: 1ère édition sur le thème "Émanciper l’école et la société avec le numérique ?", Lyonel Kaufmann, Haute école pédagogique du canton de Vaud, Suisse, Mar 2018, Yverdon-Les-Bains, Suisse. pp.1-4
Conference papers
hal-02903787v1
|
||
|
Contracts for Systems Design: Methodology and Application cases[Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63
Reports
hal-01178469v1
|
||
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based ProtocolsThird International Workshop Formal Techniques for Safety-Critical Systems (FTSCS 2014), Nov 2014, Luxembourg, Luxembourg. pp.1--17, ⟨10.1007/978-3-319-17581-2_6⟩
Conference papers
hal-03263726v1
|
|||
Modal Contracts for Component-based DesignSEFM'09, Nov 2009, Hanoi, Vietnam. pp.295-303
Conference papers
hal-00665205v1
|
|||
|
Residual for Component Specifications[Research Report] PI 1843, 2007, pp.19
Reports
inria-00142027v1
|
||
|
Residual for Component Specifications[Research Report] RR-6196, INRIA. 2007
Reports
inria-00141898v3
|
||
|
Contracts for System Design[Research Report] RR-8147, INRIA. 2012, pp.65
Reports
hal-00757488v1
|
||
|
Refinement and Consistency of Timed Modal Specifications.3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. pp.152-163, ⟨10.1007/978-3-642-00982-2_13⟩
Conference papers
istex
inria-00424283v1
|
||
A Modal Interface Theory for Component-based DesignFundamenta Informaticae, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩
Journal articles
inria-00554283v1
|
|||
|
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism[Research Report] RR-9447, Inria Rennes - Bretagne Atlantique. 2022, pp.1-52
Reports
hal-03531059v1
|
||
|
Contracts for Systems Design: Theory[Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86
Reports
hal-01178467v1
|
||
Contracts for System DesignNow Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩
Books
hal-01971429v1
|
|||
|
Solving Language Equations Using Flanked AutomataATVA 2016: Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.106 - 121, ⟨10.1007/978-3-319-46520-3_7⟩
Conference papers
hal-01202702v2
|
||
|
Git4School : un tableau de bord pour assister la prise de décisions de l'enseignant lors des cours de génie logicielSTICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation), 2021, Numéro Spécial : Technologies pour l’apprentissage de l’Informatique de la maternelle à l’université, 28 (3), pp.1-20. ⟨10.23709/sticef.28.3.2⟩
Journal articles
hal-03617760v1
|
||
|
Mixed Nondeterministic-Probabilistic Interfaces[Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40
Reports
hal-02985273v1
|
||
|
Quotient of Acceptance Specifications under Reachability Constraints9th International Conference on Language and Automata Theory and Applications (LATA 2015), Mar 2015, Nice, France. pp.299--311, ⟨10.1007/978-3-319-15579-1_23⟩
Conference papers
hal-03190206v1
|
||
|
Ensuring Reachability by Design9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227, ⟨10.1007/978-3-642-32943-2_17⟩
Conference papers
hal-00766735v1
|
||
|
Ensuring Reachability by Design[Research Report] RR-7928, INRIA. 2012, pp.1-20
Reports
hal-00696151v1
|
||
Modal Interfaces: Unifying Interface Automata and Modal Specifications.Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France
Conference papers
inria-00555742v1
|
|||
|
A Compositional Approach on Modal Specifications for Timed Systems[Research Report] RR-7039, INRIA. 2009
Reports
inria-00418855v1
|