• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (25)
    • 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)
    • Inria Rennes – Bretagne Atlantique (12)
    • Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT) (12)
    • 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) (12)
    • Institut National de Recherche en Informatique et en Automatique (Inria) (12)
    • Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique (12)
    • Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1) (12)
    • Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes 1 (UR1) (11)
    •   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 Hits 1 – 20 of 25 1 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 2 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 3 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 4 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 5 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 6 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) Abstract: International audience ; The work presented in this paper lies in the context of implementing supporting tools for a domain-specific language named SosADL, targeted at the description and analysis of architecture for systems of systems. While the language has formal definition rooted in the Cc-pi calculus, we have adopted the Eclipse ecosystem, including EMF, Ecore and Xtext for the convenience they provide in implementation tasks. Proof-carrying code is a well-known approach to ensure such an implementation involving non-formal technologies conforms to its formal definition, by making the implementation generate proof in addition to usual output artifacts. In this paper, we therefore investigate for an infrastructure that eases the development of proof-carrying code for an Eclipse/EMF/Ecore/Xtext-based tool in relation with the Coq proof assistant. At the core of our approach, we combine an automatic transformation of a metamodel into a set of inductive types, in conjunction with a second transformation of model elements into terms. The first one, reused from our previous work, provides necessary abstract syntax definitions such that the formal definition of the language can be mechanized using Coq. The second transformation is part of the proof generator. Keyword: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] URL: https://hal.archives-ouvertes.fr/hal-01945245/document https://hal.archives-ouvertes.fr/hal-01945245/file/main.pdf https://hal.archives-ouvertes.fr/hal-01945245 BASE Hide details 7 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 8 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 9 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 10 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 11 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 12 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 13 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 14 Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) Besnard, Loïc; Borde, Etienne; Dissaux, Pierre... In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014) BASE Show details 15 Variability Support in Domain-Specific Language Development Vacchi, Edoardo; Cazzola, Walter; Pillay, Suresh... In: SLE - 6th International Conference on Software Language Engineering ; https://hal.inria.fr/hal-00914715 ; SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.76-95, ⟨10.1007/978-3-319-02654-1_5⟩ ; http://link.springer.com/chapter/10.1007/978-3-319-02654-1_5 (2013) BASE Show details 16 Methodology for the derivation of product behavior in a Software Product Line ; Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle Istoan, Paul. - : HAL CCSD, 2013 In: https://tel.archives-ouvertes.fr/tel-00926141 ; Génie logiciel [cs.SE]. Université Rennes 1; université du Luxembourg, 2013. Français (2013) BASE Show details 17 Ingénierie Dirigée par les Modèles : des concepts à la pratique. Jézéquel, Jean-Marc; Combemale, Benoit; Vojtisek, Didier. - : HAL CCSD, 2012. : Ellipses, 2012 In: https://hal.inria.fr/hal-00648489 ; Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963 (2012) BASE Show details 18 Vers un rapprochement de l'IDM et de la compilation Guy, Clément; Derrien, Steven; Combemale, Benoit... In: Journées sur l'Ingénierie Dirigée par les Modèles ; https://hal.inria.fr/inria-00601670 ; Journées sur l'Ingénierie Dirigée par les Modèles, Jun 2011, Lille, France (2011) BASE Show details 19 Simulation et vérification de modèle par métamodélisation executable Combemale, Benoit. - : HAL CCSD, 2010. : éditions Universitaires Européennes, 2010 In: https://hal.inria.fr/inria-00542740 ; éditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3 (2010) BASE Show details 20 Model Driven Language Engineering with Kermeta Jézéquel, Jean-Marc; Barais, Olivier; Fleurey, Franck In: 3rd Summer School on Generative and Transformational Techniques in Software Engineering ; https://hal.inria.fr/inria-00538461 ; Joao M. Fernandes, Ralf Lammel, Joao Saraiva, Joost Visser. 3rd Summer School on Generative and Transformational Techniques in Software Engineering, LNCS 6491, Springer, 2010 (2010) BASE Show details Page: 1 2

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 25 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0