Filtrer vos résultats
- 37
- 13
- 31
- 7
- 7
- 3
- 1
- 1
- 4
- 3
- 44
- 3
- 3
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 3
- 3
- 3
- 2
- 3
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 1
- 26
- 24
- 37
- 13
- 10
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 50
- 12
- 9
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
50 résultats
|
|
triés par
|
|
Vérification de propriétés LTL sur des programmes C par génération d'annotations[Rapport de recherche] 2011, pp.16
Rapport
inria-00568947v1
|
||
AndroCAR -- véhicule piloté par l'inclinaison de votre téléphoneElektor, 2012, 412, pp.72--77
Article dans une revue
hal-00739639v1
|
|||
|
Computation of Hierarchical Transition Systems to Document Refined Event-B Models[Technical Report] 2008, pp.10
Rapport
inria-00271164v1
|
||
|
Golo, a Dynamic, Light and Efficient Language for Post-Invokedynamic JVMPPPJ - International Conference on Principles and Practices of Programming on the Java platform: virtual machines, lamguages and tools - 2013, Sep 2013, Stuttgart, Germany. ⟨10.1145/2500828.2500844⟩
Communication dans un congrès
hal-00848514v2
|
||
|
Externalisation de la transversalité : vers une pérennité des enseignements transversesFormation, pédagogie : Partage d'expériences et innovations, Apr 2012, Oujda, Maroc. pp.1-3
Communication dans un congrès
hal-00722363v1
|
||
|
Un projet humain au service de la société comme support d'enseignement de la mécatronique, l'informatique et la productiqueFormation, pédagogie : Partage d'expériences et innovations, Apr 2012, Oujda, Maroc. pp.1-3
Communication dans un congrès
hal-00722394v1
|
||
Actes des 15ème journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)2016
Ouvrages
hal-01937245v1
|
|||
|
Security Policy Enforcement Through Refinement ProcessB 2007, 2007, besançon, France. pp.216--231
Communication dans un congrès
inria-00384182v1
|
||
|
GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementielApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'04), Jun 2004, besançon, France. pp.317--320
Communication dans un congrès
inria-00384212v1
|
||
|
Development and Analysis of a Distributed Leak Detection and Localisation System for Crude Oil PipelinesSensors, 2023, 23 (9), pp.4298. ⟨10.3390/s23094298⟩
Article dans une revue
hal-04482375v1
|
||
|
Apprentissage augmenté : le numérique comme outil d'aide à l'apprentissage5è colloque « Pédagogie et Formation » Inter INSA, Mar 2017, Lyon, France
Communication dans un congrès
hal-01494867v1
|
||
|
Towards a Decoupled Context-Oriented Programming Language for the Internet of Things7th International Workshop on Context-Oriented Programming (COP'2015) in conjunction with the European Conference on Object-Oriented Programming (ECOOP'2015), Jul 2015, Prague, Czech Republic. pp.6, ⟨10.1145/2786545.2786552⟩
Communication dans un congrès
hal-01180586v1
|
||
|
Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinésGénie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 2007. Français. ⟨NNT : ⟩
Thèse
tel-00216026v1
|
||
|
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Apr 2005, Guildford, United Kingdom. pp.299--318
Communication dans un congrès
inria-00384189v1
|
||
|
HardenedGolo : pour augmenter le niveau de confiance en un code Golo16èmes journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'17), Jun 2017, Montpellier, France
Communication dans un congrès
hal-01526659v1
|
||
|
Les smartphones comme passerelle de services : peuvent-ils relier l'Internet des choses (IoT) et la virtualisation dans les nuages (Cloud) ?Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS) - Conférence Française en Systèmes d'Exploitation (CFSE), Jan 2013, Grenoble, France
Communication dans un congrès
hal-00758618v1
|
||
|
B Model Slicing and Predicate Abstraction to Generate TestsSoftware Quality Journal, 2011, pp.1-32. ⟨10.1007/s11219-011-9161-8⟩
Article dans une revue
hal-00650661v1
|
||
|
Opportunities for a Truffle-based Golo Interpreter[Technical Report] CITI - CITI Centre of Innovation in Telecommunications and Integration of services. 2015
Rapport
hal-01151626v1
|
||
|
Syntactic Abstraction of B Models to Generate TestsTAP'10, 4th Int. Conference on Tests and Proofs, Jul 2010, Malaga, Spain. pp.151-166
Communication dans un congrès
inria-00471324v2
|
||
|
HyDiLLEch: a WSN-based Distributed Leak Detection and Localisation in Crude Oil PipelinesAINA 2021 -The 35th International Conference on Advanced Information Networking and Applications, May 2021, Toronto, Canada
Communication dans un congrès
hal-03181575v1
|
||
|
How to build socio-organizational information from remote IP addresses to enrich security analysis?LCN 2022 - IEEE 47th Conference on Local Computer Networks, Sep 2022, Edmonton, Canada. pp.287-290, ⟨10.1109/LCN53696.2022.9843570⟩
Communication dans un congrès
hal-03901706v1
|
||
Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseauxApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06), Mar 2006, Paris, France. pp.179--193
Communication dans un congrès
inria-00384195v1
|
|||
|
Documentation d'introduction aux critères communs[Rapport Technique] 2004, pp.18
Rapport
inria-00384217v1
|
||
|
Graph Based Reduction of Program Verification ConditionsAutomated Formal Methods (AFM'09), colocated with CAV'09, Hassen Saïdi and N. Shankar, Jun 2009, Grenoble, France. pp.40--47
Communication dans un congrès
inria-00402204v1
|
||
An OSGi Monitoring System with Dynamicity Resilience enhancing Fault ToleranceInternational Conferences on Software and Computing Technology, Aug 2014, Lijiang, China
Communication dans un congrès
hal-01009780v1
|
|||
Vérification de propriétés LTL sur des programmes C par génération d'annotationsAFADL'09, Jan 2009, Toulouse, France. pp.65--66
Communication dans un congrès
inria-00384209v1
|
|||
|
A Monitoring Approach for Dynamic Service-Oriented Architecture SystemsThe Fourth International Conferences on Advanced Service Computing, Jul 2012, Nice, France
Communication dans un congrès
hal-00695830v2
|
||
|
Spontaneous Proximity Clouds: Making Mobile Devices to Collaborate for Resource and Data SharingProceedings of the 12th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom'2016), Nov 2016, Beijing, China
Communication dans un congrès
hal-01391114v1
|
||
Traduction de B vers des langages de programmationApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'03), IRISA, Jan 2003, Rennes, France. pp.87--102
Communication dans un congrès
inria-00392235v1
|
|||
Adaptabilité et validation de la traduction de B vers C - Points de vue du projet BOMRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, Approches Formelles pour le Développement de Logiciels, 23 (7), pp.879--903. ⟨10.3166/tsi.23.879-903⟩
Article dans une revue
istex
inria-00384177v1
|
- 1
- 2