Skip to Main content Skip to Navigation


...
cea-01803832v1  Journal articles
Salvador MartínezValerio CosentinoJordi Cabot. Model-based analysis of Java EE web security misconfigurations
Computer Languages, Systems and Structures, Elsevier, 2017, 49 (SI), pp.36-61. ⟨10.1016/j.cl.2017.02.001⟩
...
hal-02867095v1  Reports
Yackolley Amoussou-GuenouBruno BiaisMaria Potop-ButucaruSara Tucci-Piergiovanni. Rational Behavior in Committee-Based Blockchains
[Research Report] CEA List; LIP6, Sorbonne Université, CNRS, UMR 7606; HEC Paris. 2020
hal-00685504v1  Conference papers
Omar ChebaroNikolai KosmatovNicky WilliamsBernard BotellaMuriel Roger. A lesson on structural testing with PathCrawler-online.com
6th International Conference on Tests & Proofs, May 2012, Prague, Czech Republic. pp.0-0
...
hal-01093719v1  Journal articles
Didier RémyBoris Yakobowski. A Church-Style Intermediate Language for MLF
Theoretical Computer Science, Elsevier, 2012, 435, pp.77--105. ⟨10.1016/j.tcs.2012.02.026⟩
...
hal-02119956v1  Conference papers
Yackolley Amoussou-GuenouAntonella del PozzoMaria Potop-ButucaruSara Tucci-Piergiovanni. Blockchains basées sur du Consensus Répété
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
...
hal-02322642v1  Conference papers
Yackolley Amoussou-GuenouAntonella del PozzoMaria Potop-ButucaruSara Tucci-Piergiovanni. On Fairness in Committee-based Blockchains
2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020), Oct 2020, Toulouse, France
...
inria-00327342v1  Conference papers
Michal MalohlavaAles PlsekFrédéric LoiretPhilippe MerleLionel Seinturier. Introducing Distribution into a RTSJ-based Component Framework
2nd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008), Oct 2008, Rennes, France. pp.1-4
...
hal-01935591v1  Conference papers
François BobotStéphane Graham-LengrandBruno MarreGuillaume Bury. Centralizing equality reasoning in MCSAT
16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Jul 2018, Oxford, United Kingdom
...
hal-01790504v3  Reports
Yackolley Amoussou-GuenouAntonella del PozzoMaria Potop-ButucaruSara Tucci-Piergiovanni. Correctness and Fairness of Tendermint-core Blockchains
[Research Report] LIP6 UMR 7606, UPMC Sorbonne Universités, France; CEA Paris Saclay. 2018, pp.1-29
...
hal-02874641v1  Conference papers
Yackolley Amoussou-GuenouBruno BiaisMaria Potop-ButucaruSara Tucci-Piergiovanni. Consensus en Présence de Participants Rationnels et Byzantins
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
...
hal-01881212v3  Conference papers
Yackolley Amoussou-GuenouAntonella del PozzoMaria Potop-ButucaruSara Tucci-Piergiovanni. Dissecting Tendermint
Networked Systems - 7th International Conference, NETYS 2019, Jun 2019, Marrakech, Morocco
...
hal-01673518v2  Theses
Frédéric Gilbert. Extending higher-order logic with predicate subtyping
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Cité; Université Paris Diderot, 2018. English
hal-00676943v1  Conference papers
Asma Charfi SmaouiChokri MraidhaPierre Boulet. An Optimized Compilation of UML State Machines
ISORC - 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Apr 2012, Shenzhen, China
...
hal-02043331v1  Reports
Yackolley Amoussou-GuenouBruno BiaisMaria Potop-ButucaruSara Tucci-Piergiovanni. Rationals vs Byzantines in Consensus-based Blockchains
[Research Report] CEA List; LIP6, Sorbonne Université, CNRS, UMR 7606; HEC Paris. 2019
...
hal-01645016v1  Conference papers
Roberto BlancoZakaria ChihaniDale Miller. Translating Between Implicit and Explicit Versions of Proof
CADE 26 - 26th International Conference on Automated Deduction, Aug 2017, Gothenburg, Sweden
...
hal-00999708v1  Conference papers
Amine El Kouhen. Diagrams Editors Specification Using Reusable Components
MODELSWARD 2013 : International Conference on Model-Driven Engineering and Software Development, INSTICC, Feb 2013, Barcelona, Spain
hal-01549931v1  Conference papers
Silvia BonomiAntonella del PozzoMaria Potop-ButucaruSébastien Tixeuil. Optimal Storage under Unsynchronized Mobile Byzantine Faults
36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China
...
hal-01673517v1  Conference papers
Frédéric Gilbert. Proof certificates in PVS
ITP 2017 - 8th International Conference on Interactive Theorem Proving, Sep 2017, Brasilia, Brazil. pp.262-268, ⟨10.1007/978-3-319-66107-0_17⟩
...
hal-01091947v1  Conference papers
Pascal CuoqJulien SignolesDamien Doligez. Lightweight Typed Customizable Unmarshaling
ACM SIGPLAN Workshop on ML, Sep 2011, Tokyo, Japan
...
hal-01245021v1  Conference papers
Frédéric Gilbert. A Lightweight Double-negation Translation
LPAR-20. 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji
...
hal-00801235v1  Conference papers
Amine El KouhenCedric DumoulinSébastien GérardPierre Boulet. Specifez vos éditeurs de diagrammes à l'aide de composants réutilisables
2ème Conférence en Ingénierie Logiciele (CIEL'13), Université de Lorraine - LORIA, Apr 2013, Nancy, France
...
hal-00860909v1  Conference papers
Amine El KouhenSébastien GérardCedric DumoulinPierre Boulet. A Component-Based Approach for Specifying Reusable Visual Languages
2013 IEEE Symposium on Visual Languages and Human-Centric Computing, Allen Cypher, Sep 2013, San José, CA, United States. pp.135-138, ⟨10.1109/VLHCC.2013.6645257⟩
...
hal-00829173v1  Conference papers
Amine El KouhenCedric DumoulinSébastien GérardPierre Boulet. A Component-Based Approach for Specifying DSML's Concrete Syntax
2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩
...
hal-01503081v1  Conference papers
Richard BonichonPierre Weis. Format Unraveled
28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France