21 results  save search

hal-01401849v1  Conference papers
Gurvan Le GuernicBenoit CombemaleJosé Angel Galindo Duarte. Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus
inria-00001218v1  Conference papers
Gurvan Le GuernicThomas Jensen. Monitoring Information Flow
Workshop on Foundations of Computer Security - FCS'05, Jul 2005, Chicago/USA, pp.19--30
hal-01568169v1  Conference papers
Manuel LeducThomas DegueuleBenoit CombemaleTijs van der StormOlivier Barais. Revisiting Visitors for Modular Extension of Executable DSMLs
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, United States. ⟨10.1109/MODELS.2017.23⟩
hal-00924472v1  Conference papers
Michal SzczerbakAhmed BouabdallahFrançois ToutainJean-Marie Bonnin. A model to compare and manipulate situations represented as semantically labeled graphs
ICCS 2013 : 20th International Conference on Conceptual Structures, Jan 2013, Mumbai, India. pp.44 - 57
hal-01723236v1  Conference papers
Delphine DemangeYon Fernández de RetanaDavid Pichardie. Semantic reasoning about the sea of nodes
CC 2018 - 27th International Conference on Compiler Construction, Feb 2018, Vienna, Austria. pp.163-173, ⟨10.1145/3178372.3179503⟩
dumas-01088788v1  Master thesis
Bertrand Bonnefoy-Claudet. Security analysis of Android applications
Formal Languages and Automata Theory [cs.FL]. 2014
hal-00340491v1  Conference papers
Olivier MichelJean-Pierre BanâtrePascal FradetJean-Louis Giavitto. Challenging Questions for the Rationals of Non-Classical Programming Languages
The Grand Challenge in Non-Classical Computation, 2005, The King's Manor, York, United Kingdom. pp.93--103
hal-01881863v3  Journal articles
Martin BodinPhilippa GardnerThomas JensenAlan Schmitt. Skeletal Semantics and their Interpretations
Proceedings of the ACM on Programming Languages, ACM, In press, 44, pp.1-31. ⟨10.1145/3290357⟩
hal-00544057v1  Conference papers
Pascal AubryPaul Le GuernicSylvain Machard. Synchronous distribution of SIGNAL programs
29th Hawaii International Conference on System Sciences (HICSS-29), Jan 1996, Maui, Hawaii, United States. pp.656-665, ⟨10.1109/HICSS.1996.495517⟩
hal-01087792v1  Conference papers
Maxime CordyPierre-Yves SchobbensPatrick HeymansAxel Legay. Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-Features
ICSE 2013 International Conference on Software Engineering, Jun 2013, San Francisco, United States. pp.472-481
hal-01087442v1  Conference papers
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
hal-01672854v1  Conference papers
Nicolas AudebertAlexandre BoulchHicham RandrianarivoBertrand Le SauxMarin Ferecatu et al.  Deep learning for urban remote sensing
Joint Urban Remote Sensing Event (JURSE), Mar 2017, Dubai, United Arab Emirates. ⟨10.1109/JURSE.2017.7924536⟩
inria-00504028v2  Journal articles
Laurent HubertDavid Pichardie. Soundly Handling Static Fields: Issues, Semantics and Analysis
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), 253 (5), pp.15 - 30. ⟨10.1016/j.entcs.2009.11.012⟩
hal-00730480v1  Journal articles
Paul Le GuernicJean-Pierre TalpinJean-Christophe Le Lann. Polychrony for system design
Journal of Systems Architecture, Elsevier, 2002, 12, pp.261--304