2 |
Specification-Based Protocol Obfuscation
|
|
|
|
In: DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks ; https://hal.inria.fr/hal-01848573 ; DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩ (2018)
|
|
BASE
|
|
Show details
|
|
3 |
Version Variation Visualization (VVV): Case Studies on the Hebrew Haggadah in English
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01307217 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
4 |
Préservation de la cohérence des transformations topologiques et géométriques
|
|
|
|
In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016)
|
|
BASE
|
|
Show details
|
|
5 |
Execution Framework of the GEMOC Studio (Tool Demo)
|
|
|
|
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01355391 ; Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8 (2016)
|
|
BASE
|
|
Show details
|
|
7 |
IMMERSE: Interactive Mentoring for Multimodal Experiences in Realistic Social Encounters
|
|
|
|
In: DTIC (2015)
|
|
BASE
|
|
Show details
|
|
8 |
Auditory Perception in an Open Space: Detection and Recognition
|
|
|
|
In: DTIC (2015)
|
|
BASE
|
|
Show details
|
|
9 |
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
|
|
|
|
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
|
|
BASE
|
|
Show details
|
|
10 |
Impact of Machine-Translated Text on Entity and Relationship Extraction
|
|
|
|
In: DTIC (2014)
|
|
BASE
|
|
Show details
|
|
11 |
A Component-Based Approach for Specifying DSML's Concrete Syntax
|
|
|
|
In: 2nd Workshop on Graphical Modeling Language Development (GMLD 2013) ; https://hal.inria.fr/hal-00829173 ; 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩ (2013)
|
|
BASE
|
|
Show details
|
|
12 |
Variability-aware parsing in the presence of lexical macros and conditional compilation
|
|
|
|
In: http://www.informatik.uni-marburg.de/%7Ekaestner/oopsla11_typechef.pdf (2011)
|
|
BASE
|
|
Show details
|
|
13 |
Variability-aware parsing in the presence of lexical macros and conditional compilation
|
|
|
|
In: http://www.cs.cmu.edu/~ckaestne/pdf/oopsla11_typechef.pdf (2011)
|
|
BASE
|
|
Show details
|
|
14 |
Expanding the Toolkit and Resource Environment to Assist Translation (TREAT) and Its User Base
|
|
|
|
In: DTIC (2011)
|
|
BASE
|
|
Show details
|
|
15 |
Verification Architectures: Compositional Reasoning for Real-time Systems
|
|
|
|
In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010)
|
|
BASE
|
|
Show details
|
|
16 |
Why Smalltalk wins the host languages shootout
|
|
|
|
In: http://scg.unibe.ch/archive/papers/Reng09bLanguageShootout.pdf (2009)
|
|
BASE
|
|
Show details
|
|
17 |
A Sensemaking Visualization Tool with Military Doctrinal Elements
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
18 |
Conceiving and Implementing a language-oriented approach for the design of automated learning scenarios
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00156874 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français (2007)
|
|
BASE
|
|
Show details
|
|
19 |
codation - Verbindung von Code und Zusatzinformation
|
|
|
|
In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2521/DIP-2521.pdf (2007)
|
|
BASE
|
|
Show details
|
|
20 |
Evaluation of a new assessment scheme for a third-year concurrency course
|
|
|
|
BASE
|
|
Show details
|
|
|
|