• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (42)
    • Inria Rennes – Bretagne Atlantique (27)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) (26)
    • Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) (25)
    • Université de Rennes 1 (UR1) (25)
    • Diversity-centric Software Engineering (DiverSe) (23)
    • Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT) (19)
    • Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (19)
    • Combemale, Benoit (17)
    • Institut National de Recherche en Informatique et en Automatique (Inria) (15)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 Hits 1 – 20 of 42 1 SEALS: A framework for building Self-Adaptive Virtual Machines Jouneaux, Gwendal; Barais, Olivier; Combemale, Benoit... In: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-03355253 ; SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩ (2021) BASE Show details 2 Verification of Program Transformations with Inductive Refinement Types Al-Sibahi, Ahmad,; Jensen, Thomas,; Dimovski, Aleksandar,... In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021) BASE Show details 3 Modelling, Reverse Engineering, and Learning Software Variability Acher, Mathieu. - : HAL CCSD, 2021 In: https://hal.inria.fr/tel-03521806 ; Software Engineering [cs.SE]. Université de Rennes 1, 2021 (2021) BASE Show details 4 A principled approach to REPL interpreters Thomas Van Binsbergen, L.; Merino, Mauricio,; Jeanjean, Pierre... In: SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity ; https://hal.inria.fr/hal-02968938 ; SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Nov 2020, Chicago / Virtual, United States. pp.1-17, ⟨10.1145/3426428.3426917⟩ (2020) BASE Show details 5 A Language Agnostic Approach to Modeling Requirements: Specification and Verification Alidra, Abdelghani; Beugnard, Antoine; Godfroy, Hubert... In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020) BASE Show details 6 Generation of Inductive Types from Ecore Metamodels Buisson, Jérémy; Rehab, Seidali In: Model-Driven Engineering and Software Development. MODELSWARD 2018. ; https://hal.archives-ouvertes.fr/hal-02021361 ; Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019 (2019) BASE Show details 7 Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code Buisson, Jérémy; Rehab, Seidali In: Modelling and Implementation of Complex Systems ; https://hal.archives-ouvertes.fr/hal-01945245 ; Modelling and Implementation of Complex Systems, pp.259-273, 2019 (2019) BASE Show details 8 On modularity and performance of External Domain-Specific Language implementations ; Modularité et performance des implémentations de langages dédiés externes Leduc, Manuel. - : HAL CCSD, 2019 In: https://hal.inria.fr/tel-02418676 ; Software Engineering [cs.SE]. Université de rennes 1, 2019. English (2019) BASE Show details 9 On modularity and performances of external domain-specific language implementations ; Modularité et performances des langages dédiés externes Leduc, Manuel. - : HAL CCSD, 2019 In: https://tel.archives-ouvertes.fr/tel-02972666 ; Software Engineering [cs.SE]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S112⟩ (2019) BASE Show details 10 Dynamic program analysis for suggesting test improvements to developers ; Analyse dynamique du programme pour suggérer des améliorations de test aux développeurs Vera-Pérez, Oscar. - : HAL CCSD, 2019 In: https://hal.archives-ouvertes.fr/tel-02459572 ; Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English (2019) BASE Show details 11 Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering Combemale, Benoit; Kienzle, Jörg; Mussbacher, Gunter... In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.archives-ouvertes.fr/hal-01803008 ; Computer Languages, Systems and Structures, Elsevier, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩ (2018) BASE Show details 12 Specification-Based Protocol Obfuscation Duchene, Julien; Alata, Eric; Nicomette, Vincent... 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 13 Verification of High-Level Transformations with Inductive Refinement Types Salim Al-Sibahi, Ahmad; Dimovski, Aleksandar,; Jensen, Thomas... In: GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience ; https://hal.inria.fr/hal-01898058 ; GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience, Nov 2018, Boston, United States. pp.147-160, ⟨10.1145/3278122.3278125⟩ (2018) BASE Show details 14 Distributing Relational Model Transformation on MapReduce Benelallam, Amine; Gómez, Abel; Tisi, Massimo... In: ISSN: 0164-1212 ; Journal of Systems and Software ; https://hal.archives-ouvertes.fr/hal-01863885 ; Journal of Systems and Software, Elsevier, 2018, 142, pp.1-20. ⟨10.1016/j.jss.2018.04.014⟩ (2018) BASE Show details 15 Shape-Diverse DSLs: Languages without Borders (Vision Paper) Coulon, Fabien; Degueule, Thomas; Van Der Storm, Tijs... In: SLE 2018 Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering ; SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering ; https://hal.archives-ouvertes.fr/hal-01889155 ; SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.215-219, ⟨10.1145/3276604.3276623⟩ (2018) BASE Show details 16 Modular Language Composition for the Masses Leduc, Manuel; Degueule, Thomas; Combemale, Benoit In: SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01890446 ; SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-12, ⟨10.1145/3276604.3276622⟩ ; http://www.sleconf.org/2018/ (2018) BASE Show details 17 Revisiting Visitors for Modular Extension of Executable DSMLs Leduc, Manuel; Degueule, Thomas; Combemale, Benoit... In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems ; https://hal.inria.fr/hal-01568169 ; 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, United States. ⟨10.1109/MODELS.2017.23⟩ (2017) BASE Show details 18 On Language Interfaces Degueule, Thomas; Combemale, Benoit; Jézéquel, Jean-Marc In: PAUSE: Present And Ulterior Software Engineering ; https://hal.inria.fr/hal-01424909 ; Bertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017 (2017) BASE Show details 19 Safe Model Polymorphism for Flexible Modeling Degueule, Thomas; Combemale, Benoit; Blouin, Arnaud... In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-01367305 ; Computer Languages, Systems and Structures, Elsevier, 2016, Computer Languages, Systems Structures, 49, pp.30. ⟨10.1016/j.cl.2016.09.001⟩ ; http://www.sciencedirect.com/science/journal/14778424 (2016) BASE Show details 20 Using free modeling as an Agile method for developing domain specific modeling languages Golra, Fahad Rafique; Beugnard, Antoine; Dagnat, Fabien... In: Proceedings MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems ; MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems ; https://hal.archives-ouvertes.fr/hal-01393781 ; MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Oct 2016, Saint Malo, France. pp.24 - 34, ⟨10.1145/2976767.2976807⟩ (2016) BASE Show details Page: 1 2 3

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 42 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0