Skip to Main content Skip to Navigation

inria-00529848v1  Book sections
Xavier Leroy. Mechanized semantics
J. Esparza and B. Spanfelner and O. Grumberg. Logics and languages for reliability and security, 25, IOS Press, pp.195-224, 2010, NATO Science for Peace and Security Series D: Information and Communication Security, ⟨10.3233/978-1-60750-100-8-195⟩
tel-00196524v2  Theses
Benjamin Werner. Une Théorie des Constructions Inductives
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1994. Français
tel-00577229v1  Theses
Benoît Gérard. Cryptanalyses statistiques des algorithmes de chiffrement à clef secrète.
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2010. Français
inria-00524746v1  Book sections
Laurence Danlos. Extension de la notion de verbe support
T. Nakamura and E. Laporte and A. Dister and C. Fairon. Les Tables, La grammaire par le menu, Volume d'hommage à Christian Leclère, Presses Universitaires de Louvain, pp.81--90, 2010
hal-00780066v1  Conference papers
Alin BostanShaoshi ChenFrédéric ChyzakZiming Li. Complexity of Creative Telescoping for Bivariate Rational Functions
ISSAC'10 - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.203-210
hal-00777489v1  Conference papers
Huaibin TangQinghua Zhang. Inverse Scattering for Lossy Electric Transmission Line Soft Fault Diagnosis
APSURSI 2010 - IEEE International Symposium on Antennas and Propagation, Jul 2010, Toronto, Canada. pp.1-4, ⟨10.1109/APS.2010.5561688⟩
hal-00777507v1  Conference papers
Chunyun YanJiandong WangQinghua Zhang. A Least-Parameterized Method for Subspace Identification of Hammerstein Systems
CCC 2010 - The 29th Chinese Control Conference, Jul 2010, Beijing, China. pp.1313-1318
hal-00777501v1  Conference papers
Mohamed OumriQinghua ZhangMichel Sorine. A Reduced Model of Reflectometry for Wired Electric Networks
MTNS 2010 - The 19th International Symposium on Mathematical Theory of Networks and Systems, Jul 2010, Budapest, Hungary. pp.2213-2218
hal-01185600v1  Conference papers
Thomas Feierl. Asymptotics for Walks in a Weyl chamber of Type $B$ (extended abstract)
21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010, Vienna, Austria. pp.175-188
tel-02113377v1  Habilitation à diriger des recherches
Frédéric Mallet. Logical Time in Model-Driven Engineering
Embedded Systems. Université Nice Sophia Antipolis, 2010
inria-00495664v1  Book sections
Charles AndréJulien DeantoniFrédéric MalletRobert de Simone. The Time Model of Logical Clocks available in the OMG MARTE profile
Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.28, 2010, 978-1-4419-6399-4
inria-00495666v1  Book sections
Dumitru Potop-ButucaruRobert de SimoneYves Sorel. From Synchronous Specifications to Statically-Scheduled Hard Real-Time Implementations
Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.34, 2010, 978-1-4419-6399-4
hal-01223388v1  Journal articles
Martin GroheLuc Segoufin. On First-Order Topological Queries
ACM Transactions on Computational Logic, Association for Computing Machinery, 2002, 3 (3), ⟨10.1145/507382.507384⟩
hal-00527835v1  Journal articles
Alexis Saurin. Typing streams in the $\Lambda\mu$-calculus
ACM Transactions on Computational Logic, Association for Computing Machinery, 2010, 11 (4), pp.28-61. ⟨10.1145/1805950.1805958⟩
hal-00706787v1  Journal articles
Xiaoliang LiChenqi MouDongming Wang. Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case
Computers and Mathematics with Applications, Elsevier, 2010, 60 (11), pp.2983-2997. ⟨10.1016/j.camwa.2010.09.059⟩
hal-00516785v1  Journal articles
Hehua ZhangStephan MerzMing Gu. Specifying and Verifying PLC systems with TLA+: a case study
Computers and Mathematics with Applications, Elsevier, 2010, 60 (3), pp.695-705. ⟨10.1016/j.camwa.2010.05.017⟩
inria-00527169v1  Conference papers
Dana N. XuGregor GoesslerAlain Girault. Probabilistic Contracts for Component-Based Design
the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Sep 2010, Singapore, Singapore. pp.325-340, ⟨10.1007/978-3-642-15643-4_24⟩
inria-00525751v1  Conference papers
Reut TsarfatyDjamé SeddahYoav GoldbergSandra KublerYannick Versley et al.  Statistical Parsing of Morphologically Rich Languages (SPMRL) What, How and Whither
Proceedings of the NAACL HLT 2010 First Workshop on Statistical Parsing of Morphologically-Rich Languages, 2010, Los Angeles, United States. pp.1--12
inria-00525753v1  Conference papers
Djamé Seddah. Exploring the Spinal-Stig Model for Parsing French
Proceedings of the 7th International Conference on Language Resources and Evaluation (LREC 2010) (to appear), 2010, Malta, Malta
inria-00536763v1  Conference papers
Antonia BertolinoPaola InverardiValérie IssarnyAntonino SabettaRomina Spalazzese. On-the-fly Interoperability through Automated Mediator Synthesis and Monitoring?
ISoLA 2010 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2010, Heraclion, Greece
inria-00525754v1  Conference papers
Djamé SeddahGrzegorz ChrupalaÖzlem ÇetinogluJosef van GenabithMarie Candito. Lemmatization and Statistical Lexicalized Parsing of Morphologically-Rich Languages
Proceedings of the NAACL/HLT Workshop on Statistical Parsing of Morphologically Rich Languages - SPMRL 2010, 2010, Los Angeles, CA, United States
inria-00525874v1  Conference papers
Matthias PuechYann Régis-Gianas. Towards typed repositories of proofs
Mathematically Intelligent Proof Search - MIPS 2010, Jul 2010, Paris, France
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-00543216v1  Conference papers
Irène KorsakissokVivien Mallet. Development and application of a reactive plume-in-grid model: evaluation over Greater Paris
Proceedings of International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regularity Purposes, Jun 2010, Paris, France
hal-00935369v1  Conference papers
Adrien LoseilleRainald Lohner. Anisotropic Adaptive Simulations in Aerodynamics
48th AIAA Aerospace Sciences Meeting Including the New Horizons Forum and Aerospace Exposition, Jan 2010, Orlando, FL, United States. ⟨10.2514/6.2010-169⟩
inria-00538317v1  Conference papers
Etienne HuotIsabelle HerlinNicolas MercierEvgeny Plotnikov. Estimating apparent motion on satellite acquisitions with a physical dynamic model
International Conference on Pattern Recognition - ICPR 2010, Aug 2010, Istambul, Turkey. ⟨10.1109/ICPR.2010.19⟩
inria-00534821v1  Conference papers
Kaustuv ChaudhuriDamien DoligezLeslie LamportStephan Merz. Verifying Safety Properties With the TLA+ Proof System
Fifth International Joint Conference on Automated Reasoning - IJCAR 2010, Jul 2010, Edinburgh, United Kingdom. pp.142--148, ⟨10.1007/978-3-642-14203-1_12⟩
hal-00530383v1  Conference papers
Jianping XieFawzi NashashibiMichel ParentOlivier Garcia-Favrot. A Real-Time Robust SLAM for Large-Scale Outdoor Environments
17th ITS world congress (ITSwc'2010), Oct 2010, Busan, South Korea. pp.S_EU00913, ⟨10.1028/ITS.SLAM.Nashashibi⟩
inria-00533487v1  Conference papers
Paulo ResendeFawzi Nashashibi. Real-time Dynamic Trajectory Planning for Highly Automated Driving in Highways
13th International IEEE Conference on Intelligent Transportation Systems, Institute of Systems and Robotics - University of Coimbra, Portugal, Sep 2010, Funchal, Madeira, Portugal
hal-00938727v1  Conference papers
Damien GaraudVivien Mallet. Calibration d'ensemble pour l'estimation de l'incertitude en qualité de l'air
A.M.A. - Atelier de Modélisation de l'Atmosphère, Jan 2010, Toulouse, France
hal-00938758v1  Conference papers
Sergiy Zhuk. Inverse problem for ill-posed linear differential-algebraic equations with variable coefficients
IWOTA - International Workshop on Operator Theory and its Applications, Jul 2010, Berlin, Germany
inria-00533483v1  Conference papers
Frank FlemischFawzi NashashibiNadja RauchAnna SchiebenSebastien Glaser et al.  Towards Highly Automated Driving: Intermediate report on the HAVEit-Joint System
3rd European Road Transport Research Arena, TRA 2010, Jun 2010, Brussels, Belgium
hal-00945722v1  Conference papers
Fabien GaudSylvain GenevèsRenaud LachaizeBaptiste LepersFabien Mottet et al.  Efficient Workstealing for Multicore Event-Driven Systems
ICDCS 2010 - IEEE 30th International Conference on Distributed Computing Systems, Jun 2010, Genova, Italy. pp.516-525, ⟨10.1109/ICDCS.2010.55⟩