124 results  save search

hal-01549942v1  Conference papers
Thibaut BalabonskiPierre CourtieuLionel RiegSébastien TixeuilXavier Urbain. Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problems
Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩
hal-01164883v1  Journal articles
Frédéric BoussinotBernard MonasseJean-Ferdy Susini. Reactive programming of simulations in physics
International Journal of Modern Physics C, World Scientific Publishing, 2015, 26 (12), pp.1550132. ⟨10.1142/S0129183115501326⟩
hal-01126484v1  Reports
Tatiana AubonnetInès AyadiLudovic HenrioYousri KoukiThomas Ledoux et al.  Modèle logique avancé (plateforme OpenCloudware).
[Research Report] CEDRIC-14-3102, CEDRIC Lab/CNAM. 2014
hal-01762962v1  Reports
Thibaut BalabonskiPierre CourtieuRobin PelleLionel RiegSébastien Tixeuil et al.  Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots
[Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12
inria-00477689v1  Conference papers
Sandrine BlazyBenoît RobillardAndrew W. Appel. Formal Verification of Coalescing Graph-Coloring Register Allocation
19th European Symposium on Programming (ESOP), Mar 2010, Paphos, Cyprus. pp.145-164
hal-01272822v1  Conference papers
Pascal ChevalierRémi ChauvatJean-Pierre Delmas. Quasi-rectilinear (MSK, GMSK, OQAM) co-channel interference mitigation by three inputs widely linear Fresh filtering
ICASSP 2015 : 40th International Conference on Acoustics, Speech and Signal Processing , Apr 2015, Brisbane, Australia. pp.2434 - 2438 ⟨10.1109/ICASSP.2015.7178408⟩
hal-01304984v1  Conference papers
Jean-Pierre DelmasSoumaya SallemPascal Chevalier. Sensitiviy of SAIC and MAIC concepts to residual frequency offsets
EUSIPCO 2010 : 18th European Signal Processing Conference, Aug 2010, Aalborg, Denmark. pp.1399 - 1403
hal-02283752v1  Conference papers
Isabelle Comyn-WattiauJacky Akoka. Query-based reverse engineering of graph databases : from program to model
New Trends in Databases and Information Systems : ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings, Sep 2019, Bled, Slovenia. pp.188 - 197, ⟨10.1007/978-3-030-30278-8_22⟩
hal-01629454v1  Conference papers
Mustapha SadokJean-Pierre DelmasPascal Chevalier. Enhanced single antenna interference cancellation from MMSE third-order complex Volterra filters
ICASSP 2017 : 42nd International Conference on Acoustics, Speech and Signal Processing, Mar 2017, New Orleans, United States. pp.4197 - 4201, ⟨10.1109/ICASSP.2017.7952947⟩
hal-01391260v1  Conference papers
Pascal ChevalierJean-Pierre DelmasRémi Chauvat. Reception filter impact on widely linear FRESH receiver performance for SAIC/MAIC with frequency offsets
SAM 2016: 9th IEEE Sensor Array and Multichannel Signal Processing Workshop , Jul 2016, Rio De Janeiro, Brazil. pp.1 - 5, ⟨10.1109/SAM.2016.7569723⟩
hal-01462931v1  Conference papers
Lyes BoualiEmad Mohamed Abd Elrahman AbousabeaHossam AfifiSamia BouzefraneMehammed Daoui. Virtualization techniques: challenges & opportunities
MSPN 2016 : International Conference on Mobile, Secure and Programmable Networking, Jun 2016, Paris, France. pp.49 - 62, ⟨10.1007/978-3-319-50463-6_5⟩
hal-01269580v1  Conference papers
Fréjus GbaguidiSelma BoumerdassiEric RenaultEugène Ezin. Characterizing servers workload in cloud datacenters
FICLOUD 2015 : 3rd International Conference on Future Internet of Things and Cloud, Aug 2015, Rome, Italy. pp.657 - 661, ⟨10.1109/FiCloud.2015.120⟩
hal-01294509v1  Conference papers
Olfa Chourabi TantanJacob Akoka. Automated transformation of Business Rules into Business Processes : from SBVR to BPMN
SEKE 2014 : The 26th International Conference on Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. pp.684 - 687
hal-02283716v1  Conference papers
Jacky AkokaIsabelle Comyn-Wattiau. Évaluation de la gouvernance de l'information : une approche multifacette et multicritères
INFORSID 2019 : 37e congrès INFormatique des ORganisation et Systèmes d'Information et de Décision, Jun 2019, Paris, France
hal-02283783v1  Conference papers
Alan HevnerNicolas PratIsabelle Comyn-WattiauJacky Akoka. A pragmatic approach for identifying and managing design science research goals and evaluation criteria
AIS SIGPrag Pre-ICIS workshop on "Practice-based Design and Innovation of Digital Artifacts", Dec 2018, San Francisco, United States
hal-02283764v1  Journal articles
Jacky AkokaIsabelle Comyn-Wattiau. Roundtrip engineering of NoSQL databases
Enterprise Modelling and Information Systems Architectures, German Informatics Society, 2018, 13, pp.281 - 292. ⟨10.18417/emisa.si.hcm.22⟩
hal-01272055v1  Conference papers
Jacob AkokaIsabelle Comyn-WattiauNabil Laoufi. Characterizing research on big data and security based on a bibliometric study
SCBC 2015 : Workshop on "Software Engineering, Cyber Security, Big Data and Conceptual Modeling" in Conjunction with International Conference on Conceptual Modeling (ER 2015), Oct 2015, Stockholm, Sweden
hal-02283321v1  Conference papers
Jacky AkokaIsabelle Comyn-Wattiau. Évaluation de la gouvernance de l'information : une approche holistique
24ème Colloque de l'Association Information & Management (AIM), Jun 2019, Nantes, France
hal-01272048v1  Journal articles
Nicolas PratIsabelle Comyn-WattiauJacob Akoka. A taxonomy of evaluation methods for information systems artifacts
Journal of Management Information Systems, Taylor & Francis (Routledge), 2015, 32 (3), pp.229 - 267. ⟨10.1080/07421222.2015.1099390⟩