Skip to Main content Skip to Navigation

tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
hal-01676355v1  Book sections
David GonzálezJoshué PérezVicente MilanésFawzi NashashibiMarga Saez Tort et al.  Arbitration and Sharing Control Strategies in the Driving Process
Guillermo Payá-Vayá; Holger Blume. Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems The DESERVE Approach, River Publishers , pp.24, 2017, 9788793519145
hal-00826909v1  Journal articles
Yelva RoustanMarc BocquetLuc Musson-GenonBruno Sportisse. Modélisation du mercure, du plomb et du cadmium à l'échelle européenne
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2006, 48 (191), pp.317-327
hal-00826931v1  Journal articles
Anne MathieuIrène KorsakissokDenis QuéloOlivier SaunierJérôme Groëll et al.  État de la modélisation pour simuler l'accident nucléaire de la centrale Fukushima Daiichi
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2013
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
hal-00933358v1  Journal articles
Isabelle HerlinVivien Mallet. La qualité de l'air sous surveillance
Textes et documents pour la classe, SCEREN-CNDP (2002-2013), CANOPE (2014- ), INRDP (1967- ), 2013, Les mathématiques de la terre, pp.40-41
inria-00633749v1  Journal articles
Marc BocquetBruno Sportisse. Modélisation inverse pour la qualité de l'air : éléments de méthodologie et exemples
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2007, pp.395-404
hal-01556289v1  Book sections
Martin SerranoAmelie GyrardMichael BonifacePaul GraceNikolaos Georgantas et al.  Cross-Domain Interoperability Using Federated Interoperable Semantic IoT/Cloud Testbeds and Applications: The FIESTA-IoT Approach
Building the Future Internet through FIRE 2016 FIRE Book: A Research and Experiment based Approach, River Publishers, 2017, 978-87-93519-11-4
inria-00543185v1  Journal articles
Irène KorsakissokVivien Mallet. Development and application of a reactive plume-in-grid model: evaluation over Greater Paris
Atmospheric Chemistry and Physics, European Geosciences Union, 2010, 10 (18), pp.8917--8931. ⟨10.5194/acp-10-8917-2010⟩
hal-02392487v1  Journal articles
Francisco NavasVicente Milanés. Mixing V2V- and non-V2V-equipped vehicles in car following
Transportation research. Part C, Emerging technologies, Elsevier, 2019, 108, pp.167-181. ⟨10.1016/j.trc.2019.08.021⟩
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-01672734v1  Journal articles
Danel Ahman. Handling Fibred Algebraic Effects
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-29. ⟨10.1145/3158095⟩
hal-01949209v1  Journal articles
Max NewAmal Ahmed. Graduality from embedding-projection pairs
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1-30. ⟨10.1145/3236768⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
hal-01672735v1  Journal articles
William J. BowmanYouyou CongNick RiouxAmal Ahmed. Type‐Preserving CPS Translation of Σ and Π Types is Not Not Possible
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-33. ⟨10.1145/3158110⟩
hal-01672706v1  Journal articles
Jonathan ProtzenkoJean‐karim ZinzindohouéAseem RastogiTahina RamananandroPeng Wang et al.  Verified Low‐Level Programming Embedded in F*
Proceedings of the ACM on Programming Languages, ACM, 2017, 1 (ICFP), pp.17:1--17:29. ⟨10.1145/3110261⟩
hal-01555429v1  Journal articles
Pedro Henrique GomesThomas WatteyneBhaskar Krishnamachari. MABO-TSCH: Multi-hop And Blacklist-based Optimized Time Synchronized Channel Hopping
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-01548381v1  Journal articles
Karun M. JosephThomas WatteyneBranko Kerkez. Awa: Using Water Distribution Systems to Transmit Data
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-01533174v1  Journal articles
Tengfei ChangThomas WatteyneXavier VilajosanaQin Wang. CCR: Cost-Aware Cell Relocation in 6TiSCH Networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-01379322v1  Conference papers
Guillaume BressonMohamed-Cherif RahalDominique GruyerMarc RevilloudZayed Alsayed. A Cooperative Fusion Architecture for Robust Localization: Application to Autonomous Driving
IEEE Intelligent Transportation Systems Conference 2016, Nov 2016, Rio de Janeiro, Brazil
hal-02435793v1  Journal articles
Pascal PréaDominique Fortin. An Optimal Algorithm To Recognize Robinsonian Dissimilarities
Journal of Classification, Springer Verlag, 2014
hal-00826581v1  Journal articles
Anne TilloyVivien MalletDavid PouletCéline PesinFabien Brocheton. BLUE-based NO2 data assimilation at urban scale
Journal of Geophysical Research, American Geophysical Union, 2013, 118 (4), pp.2031-2040. ⟨10.1002/jgrd.50233⟩
hal-00903880v1  Journal articles
Vivien MalletAlexander NakonechnySergiy Zhuk. Minimax filtering for sequential aggregation: Application to ensemble forecast of ozone analyses
Journal of Geophysical Research, American Geophysical Union, 2013, 118 (19), pp.11,294-11,303. ⟨10.1002/jgrd.50751⟩
inria-00547903v1  Journal articles
Vivien Mallet. Ensemble forecast of analyses: Coupling data assimilation and sequential aggregation
Journal of Geophysical Research, American Geophysical Union, 2010, 115 (D24303), ⟨10.1029/2010JD014259⟩
hal-01411848v1  Journal articles
Zeinab HmedehHarry KourdounakisVassilis ChristophidesCédric Du MouzaMichel Scholl et al.  Content-Based Publish/Subscribe System for Web Syndication
Journal of Computer Science and Technology, Springer Verlag, 2016, 31, pp.359 - 380. ⟨10.1007/s11390-016-1632-8⟩
hal-01416026v1  Journal articles
Jurek CzyzowiczDariusz DereniowskiLeszek GąsieniecRalf KlasingAdrian Kosowski et al.  Collision-Free Network Exploration
Journal of Computer and System Sciences, Elsevier, 2017, 86, pp.70-81. ⟨10.1016/j.jcss.2016.11.008⟩
inria-00497177v2  Journal articles
Vincent SilesHugo Herbelin. Pure Type System conversion is always typable
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
hal-00650980v1  Journal articles
Vivien MalletBruno Sportisse. Ensemble-based air quality forecasts: A multimodel approach applied to ozone
Journal of Geophysical Research, American Geophysical Union, 2006, 111 (D18302), ⟨10.1029/2005JD006675⟩
hal-01423053v1  Journal articles
Vincent Cohen-AddadMichel HabibFabien de Montgolfier. Algorithmic aspects of switch cographs
Discrete Applied Mathematics, Elsevier, 2016, 200, pp.23 - 42. ⟨10.1016/j.dam.2015.07.008⟩
hal-00931764v1  Journal articles
Jean-Pierre TillichGilles Zémor. Quantum LDPC codes with positive rate and minimum distance proportional to the square root of the blocklength
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2014, 60 (2), pp.1193-1202. ⟨10.1109/TIT.2013.2292061⟩
inria-00633799v1  Journal articles
Bruno SportisseRafik Djouad. Use of proper orthogonal decomposition for the reduction of atmospheric chemical kinetics
Journal of Geophysical Research, American Geophysical Union, 2007, 112 (D06303), ⟨10.1029/2006JD007808⟩
inria-00179732v1  Conference papers
Aline NevesMaria MirandaMamadou Mboup. Algebraic Parameter Estimation of Damped Exponentials
EUSIPCO, Sep 2007, Poznan, Poland. pp.965--969
inria-00001264v1  Conference papers
Alin BostanFrédéric ChyzakFrançois OllivierBruno SalvyÉric Schost et al.  Fast computation of power series solutions of systems of differential equations
2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021
hal-01708137v2  Conference papers
Mohamed KhemakhemAxel HeroldLaurent Romary. Enhancing Usability for Automatically Structuring Digitised Dictionaries
GLOBALEX workshop at LREC 2018, May 2018, Miyazaki, Japan
hal-01231710v1  Conference papers
Benjamin LesageDavid GriffinFrank SoboczenskiIain BateRobert Davis. A Framework For The Evaluation Of Measurement-based Timing Analyses
23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Nov 2015, Lille, France. pp.35-44
hal-01257952v1  Book sections
Frédéric MalletZholtkevych Grygoriy. Co-Algebraic Semantic Model for the Clock Constraint Specification Language
Communications in Computer and Information Science, 476, Springer, pp.174-188, 2015, ⟨10.1007/978-3-319-17581-2_12⟩
inria-00413486v1  Conference papers
Omar KermiaYves Sorel. A Rapid Heuristic for Scheduling Non-Preemptive Dependent Periodic Tasks onto Multiprocessor
Proceedings of ISCA 20th International Conference on Parallel and Distributed Computing Systems, PDCS'07, 2007, Las Vegas, Nevada, United States
inria-00536363v1  Conference papers
Robert DavisLaurent GeorgePierre Courbin. Quantifying the Sub-optimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.1-10
inria-00561247v1  Books
Frédéric Mallet. Logical Time @ Work for the Modeling and Analysis of Embedded Systems
LAP LAMBERT Academic Publishing, pp.124, 2011, 978-3-8433-9388-1
hal-02929324v1  Conference papers
Francesco FoscarinAndrew McleodPhilippe RigauxFlorent JacquemardMasahiko Sakai. ASAP: a dataset of aligned scores and performances for piano transcription
ISMIR 2020 - 21st International Society for Music Information Retrieval, Oct 2020, Montreal / Virtual, Canada
hal-00757344v1  Conference papers
Saoucene MahfoudhPascale MinetAnis Laouiti. Overview of deployment and redeployment algorithms for mobile wireless sensor networks
EmSeNs 2012 - 2nd International Workshop on Emerging Topics on Sensor Networks, Aug 2012, Niagara Falls, Canada. pp.946-951, ⟨10.1016/j.procs.2012.06.128⟩
hal-01176715v1  Conference papers
Ronan Saillard. Rewriting Modulo β in the λ Π-Calculus Modulo
Logical Frameworks and Meta Languages: Theory and Practic, Affiliated with CADE-25, Aug 2015, Berlin, Germany. pp 87-101, ⟨10.4204/EPTCS.185.6⟩
hal-00651586v1  Conference papers
Weigao XieMukul GoyalHossein HosseiniJerald MartocciYusuf Bashir et al.  A Performance Analysis of Point-to-Point Routing along a Directed Acyclic Graph in Low Power and Lossy Networks
13th International Conference on Network-Based Information Systems, Sep 2010, Takayama, Japan. pp.111 - 116, ⟨10.1109/NBiS.2010.65⟩
hal-01121359v1  Journal articles
Gabriel Peyré. Entropic Wasserstein Gradient Flows
SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2015, 8 (4), pp.2323-2351
hal-01968646v1  Journal articles
Tengfei ChangThomas WatteyneXavier VilajosanaPedro Henrique Gomes. Constructive Interference in 802.15.4: A Tutorial
Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2018
hal-01096688v1  Conference papers
Frédéric MalletZholtkevych Grygoriy. Co-Algebraic Semantic Model for the Clock Constraint Specification Language
Formal Techniques for Safety-Critical Systems - ICFEM/FTSCS 2014, Nov 2014, Luxembourg, Luxembourg
tel-00327772v1  Theses
Fabrice Peix. Distribution de programmes synchrones : Le cas d'Esterel
Autre [cs.OH]. Université Nice Sophia Antipolis, 2004. Français
hal-01298734v1  Conference papers
Cristian MaximLiliana Cucu-GrosjeanBenoit Triquet. Rare events and worst-case execution times
5th Real-Time Scheduling Open Problems Seminar(RTSOPS 2014), Jul 2014, Madrid, Spain
hal-00839978v1  Conference papers
Yuliia RomenskaFrédéric Mallet. Lazy Parallel Synchronous Composition of In finite Transition Systems
International Conference on ICT in Education, Research and Industrial Applications, Jun 2013, Kherson, Ukraine. pp.130-145
tel-01274140v1  Theses
Xavier Koegler. Population protocols, games, and large populations
Networking and Internet Architecture [cs.NI]. Paris Diderot Unviersity, 2012. English
hal-01093233v1  Conference papers
Marc Bocquet. An introduction to inverse modelling and parameter estimation for atmosphere and ocean sciences
International Summer School - Advanced Data Assimilation for Geosciences, Les Houches school of physics, May 2012, Les Houches, France. pp.461-493
hal-01923856v1  Poster communications
Rachit AgarwalNikolaos GeorgantasValérie Issarny. Impact of Spatial Scale on Mobility Parameters
NetSci 2018 - International Conference on Network Science, Jun 2018, Paris, France. Netsci 2018: Book of Abstracts (Posters - Social)
hal-01097428v1  Conference papers
Guillaume Burel. Cut Admissibility by Saturation
Joint International Conference, RTA-TLCA 2014, Jul 2014, Vienna, Austria. pp.124-138, ⟨10.1007/978-3-319-08918-8_9⟩
hal-00646323v1  Conference papers
Vivien MalletSergiy Zhuk. Reduced minimax filtering by means of Differential-Algebraic equations
PhysCon 2011 - 5th International Scientific Conference on Physics and Control, Sep 2011, Leon, Spain
hal-00652196v1  Conference papers
Vivien MalletBruno Sportisse. Peut-on modéliser la qualité de l'air de manière déterministe ?
38èmes Journées de Statistique, May 2006, Clamart, France
hal-01349391v1  Poster communications
Isabelle HerlinEtienne Huot. Image-Based Forecast of the Surface Circulation of Black Sea
Black Sea from Space Workshop, Sep 2016, Constanta, Romania
hal-00727807v1  Conference papers
Paul MuhlethalerYasser ToorAnis Laouiti. Suitability of HIPERLAN's EY-NPMA for traffic jam scenarios in VANETs
ITST '10 : The 10th International Conference on Intelligent Transportation Systems Telecommunications, Nov 2010, Kyoto, Japan
hal-02334088v1  Journal articles
Amar AbaneMehammed DaouiSamia BouzefranePaul Muhlethaler. A lightweight forwarding strategy for Named Data Networking in low-end IoT
Journal of Network and Computer Applications (JNCA), Elsevier, 2019, 148, pp.102445. ⟨10.1016/j.jnca.2019.102445⟩
hal-01401856v2  Master thesis
Michele Pittoni. Online Identification of Last-Mile Throughput Bottlenecks on Home Routers
Networking and Internet Architecture [cs.NI]. 2016
hal-01568165v1  Master thesis
Marina LucenaFrancesco BronzinoRenata Teixeira. Inference of User-Facing Packets from Network Traffic
Networking and Internet Architecture [cs.NI]. 2017
hal-01415767v1  Master thesis
Maximilian Bachl. Collaborative Home Network Troubleshooting
Networking and Internet Architecture [cs.NI]. 2016
hal-00880345v1  Journal articles
Marc F LensinkAiain H. MoalPaul A. BatesPanagiotis L. KastritisAdrien S. J. Melquiond et al.  Blind prediction of interfacial water positions in CAPRI
Proteins - Structure, Function and Bioinformatics, Wiley, 2014, 82 (4), pp.620-632. ⟨10.1002/prot.24439⟩
inria-00603964v1  Journal articles
Vivien MalletDenis QuéloB. SportisseIrène Korsakissok. Polyphemus : une plate-forme multimodèles pour la pollution atmosphérique et l'évaluation des risques
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2007, pp.423-431
hal-00904524v1  Book sections
Thierry DespeyrouxFrancisco de A.T. de CarvahloYves LechevallierFilipe de Melo. Multi-View Clustering on Relational Data
Fabrice Guillet and Bruno Pinaud and Gilles Venturini and Djamel Abdelkader Zighed. Advances in Knowledge Discovery and management, vol. 4, 527, Springer International Publishing, pp.37-51, 2013, Studies in Computational Intelligence, 978-3-319-02998-6 (Print) 978-3-319-02999-3 (Online). ⟨10.1007/978-3-319-02999-3⟩
hal-01947855v1  Book sections
Ahmed BouajjaniConstantin EneaKailiang JiShaz Qadeer. On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony
International Conference on Computer Aided Verification, CAV 2018: Computer Aided Verification, Springer International Publishing, pp.372-391, 2018
hal-00760732v1  Directions of work or proceedings
Olivier BournezGilles Dowek. Natural Computing
France. Springer, pp.1, 2012
hal-01583995v1  Journal articles
Benoît Sagot. Représentation de l’information sémantique lexicale : le modèle wordnet et son application au français
Revue Française de Linguistique Appliquée, Paris : Publications linguistiques, 2017, XXII
hal-00758934v1  Conference papers
Guilherme MaiaDaniel L. GuidoniAline Carneiro VianaAndré L. L. AquinoRaquel A. F. Mini. Um protocolo de distribuição de dados para redes de sensores sem fio heterogêneas com sink móvel
30th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), Apr 2012, Ouro Preto, Minas Gerais, Brazil