Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

211 résultats
keyword_s : Semantics
Page :
triés par
Image document

Kindly bent to free us

 Gabriel Radanne , Hannes Saffrich , Peter Thiemann
Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-29. ⟨10.1145/3408985⟩
Article dans une revue hal-02938020v1
Image document

Méthodes sémantiques pour la comparaison inter-espèces de voies métaboliques : application au métabolisme des lipides chez l'humain, la souris et la poule

 Charles Bettembourg
Bio-Informatique, Biologie Systémique [q-bio.QM]. Université Rennes 1, 2013. Français. ⟨NNT : ⟩
Thèse tel-00926498v1
Image document

Integrated distributed description logics

 Antoine Zimmermann
Proc. 20th International workshop on description logic (DL), 2007, Brixen/Bressanone, Italy. pp.507-514
Communication dans un congrès hal-00817817v1

Patch-based deep learning architectures for sparse annotated very high resolution datasets

 Maria Papadomanolaki , Maria Vakalopoulou , Konstantinos Karantzalos
Joint Urban Remote Sensing Event (JURSE), Mar 2017, Dubai, United Arab Emirates. ⟨10.1109/JURSE.2017.7924538⟩
Communication dans un congrès hal-02423037v1
Image document

Light Genericity

 Beniamino Accattoli , Adrienne Lancelot
2024
Pré-publication, Document de travail hal-04406343v1
Image document

A practical mode system for recursive definitions

 Alban Reynaud , Gabriel Scherer , Jeremy Yallop
Proceedings of the ACM on Programming Languages, 2021, 5 (POPL), pp.1-29. ⟨10.1145/3434326⟩
Article dans une revue hal-03125031v1

Formal Simulation and Verification of Solidity contracts in Event-B

 Jian Zhu , Kai Hu , Jean-Paul Bodeveix , M Filali , Jean-Pierre Talpin , et al.
45th IEEE Annual Computers, Software, and Applications Conference (COMPSAC 2021), IEEE, Jul 2021, Madrid, Spain. pp.1309-1314, ⟨10.1109/COMPSAC51774.2021.00183⟩
Communication dans un congrès hal-03411229v1
Image document

Verification of Program Transformations with Inductive Refinement Types

 Ahmad Salim Al-Sibahi , Thomas P Jensen , Aleksandar S Dimovski , Andrzej Wąsowski
ACM Transactions on Software Engineering and Methodology, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩
Article dans une revue hal-03518825v1
Image document

Le passif en langue des signes

 Pierre Guitteny
Linguistique. Université Michel de Montaigne - Bordeaux III, 2006. Français. ⟨NNT : ⟩
Thèse tel-00423884v1

Constructor Equivalent Term Rewriting Systems

 Irène A. Durand , Bruno Salinier
Information Processing Letters, 1993, 47, pp.131--137
Article dans une revue hal-00344333v1
Image document

Universal Temporal Concurrent Constraint Programming

 Carlos Olarte
Modeling and Simulation. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩
Thèse tel-00430446v1
Image document

Techniques modulo pour les bisimulations

 Damien Pous
Informatique [cs]. ENS Lyon, 2008. Français. ⟨NNT : ⟩
Thèse tel-01441480v1

Verified Software: Theories, Tools, and Experiments, Revised Selected Papers Presented at the 9th International Conference VSTTE

 Andrei Paskevich , Thomas Wies
VSTTE 2017 - 9th International Conference Verified Software. Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. Lecture Notes in Computer Science, Lecture Notes in Computer Science (10712), 2017, ⟨10.1007/978-3-319-72308-2⟩
N°spécial de revue/special issue hal-01670145v1
Image document

Graphics Recognition -- from Re-engineering to Retrieval

 Karl Tombre , Bart Lamiroy
7th International Conference on Document Analysis and Recognition, Aug 2003, Edinburgh, Scotland, UK, pp.148-155
Communication dans un congrès inria-00107654v1
Image document

Reasoning between Programming Languages and Architectures

 Francesco Zappa Nardelli
Computer Science [cs]. ENS Paris - Ecole Normale Supérieure de Paris, 2014
HDR tel-01110117v1
Image document

YARN is All You Knit: Encoding Multiple Semantic Phenomena with Layers

 Siyana Pavlova , Maxime Amblard , Bruno Guillaume
The Fifth International Workshop in Designing Meaning Representation, May 2024, Turin, Italy
Communication dans un congrès hal-04551796v1
Image document

Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)

 Tom Hirschowitz , Damien Pous
Scientific Annals of Computer Science, 2012, 22 (1), pp.147-199. ⟨10.7561/SACS.2012.1.147⟩
Article dans une revue hal-00555144v3

Connection Methods in Linear Logic and Proof Nets Construction Generation in Mixed Logics

 Didier Galmiche
Semantic Foundations of Proof-search, 2001, Schloss Dagsthul/Germany
Communication dans un congrès inria-00100575v1
Image document

A Concurrent Lambda Calculus with Futures

 Joachim Niehren , Jan Schwinghammer , Gert Smolka
Theoretical Computer Science, 2006, Theoretical Computer Science, 364 (3), pp.338-356. ⟨10.1016/j.tcs.2006:08.016⟩
Article dans une revue inria-00090434v2
Image document

Conception de systèmes de reconnaissance d’activités humaines

 Ines Sarray
Vision par ordinateur et reconnaissance de formes [cs.CV]. COMUE Université Côte d'Azur (2015 - 2019), 2019. Français. ⟨NNT : 2019AZUR4016⟩
Thèse tel-02145417v2
Image document

Experimentation as a Service over Semantically Interoperable Internet of Things Testbeds

 Jorge Lanza , Luis Sanchez , Juan Ramon Santana , Rachit Agarwal , Nikolaos Kefalakis , et al.
IEEE Access, 2018, 18 (1), pp.51607 - 51625. ⟨10.1109/ACCESS.2018.2867452⟩
Article dans une revue hal-01876881v1
Image document

From SSA to Synchronous Concurrency and Back

 Hugo Pompougnac , Ulysse Beaugnon , Albert Cohen , Dumitru Potop-Butucaru
[Research Report] RR-9380, INRIA Sophia Antipolis - Méditerranée (France). 2020, pp.23
Rapport hal-03043623v1

Automatic Generation of Observers from MARTE/CCSL

 Frédéric Mallet
RSP 2012 - International Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. ⟨10.1109/RSP.2012.6380695⟩
Communication dans un congrès hal-00764066v1

xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems

 Chunlin Guan , Yi Ao , Dehui Du , Frédéric Mallet
APSEC 2018 - 25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan
Communication dans un congrès hal-01898219v1
Image document

DSLM : Dynamic Synchronous Language with Memory

 Pejman Attar
2012
Rapport hal-00779192v2

Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings

 Uwe Glässer , Jose Creissac Campos , Dominique Méry , Philippe Palanque
Lecture Notes in Computer Science, 14010, Springer Nature Switzerland, 2023, 978-3-031-33162-6. ⟨10.1007/978-3-031-33163-3⟩
Proceedings/Recueil des communications hal-04183902v1
Image document

A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines

 Jean-Louis Colaço , Michael Mendler , Baptiste Pauget , Marc Pouzet
ACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5s), pp.Article 152: 1-26. ⟨10.1145/3609131⟩
Article dans une revue hal-04491219v1
Image document

Proving the security of software-intensive embedded systems by abstract interpretation.

 Marc Chevalier
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE069⟩
Thèse tel-03127921v2
Image document

Aspect-Oriented Model Development at Different Levels of Abstraction

 Mauricio Alférez , Nuno Amalio , Selim Ciraci , Franck Fleurey , Jörg Kienzle , et al.
7th European Conference on Modelling Foundations and Applications (ECMFA'11), Jun 2011, Birmingham, United Kingdom. pp.1-16
Communication dans un congrès hal-00585301v2
Image document

4W1H in IoT semantics

 Garvita Bajaj , Rachit Agarwal , Pushpendra Singh , Nikolaos Georgantas , Valérie Issarny
IEEE Access, 2018, 6, pp.65488-65506. ⟨10.1109/ACCESS.2018.2878100⟩
Article dans une revue hal-01898506v1
Page :