 |
 |
 |
 |
|
|
|
|---|---|---|
|
hal-00925345v1
Communication dans un congrès
Jonathan Hayman, Tobias Heindel. Pattern Graphs and Rule-Based Models: The Semantics of Kappa Frank Pfenning. FOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. Springer, 7794, pp.1--16, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-37075-5> |
||
|
inria-00430198v1
Poster
F. Ben Hassen, Maureen Clerc, Juliette Leblond, Stéphane Rigat, M. Zghal. Inverse EEG source problems and approximation Proceedings of Optimization and Inverse Problems in Electromagnetism (OIPE), Sep 2008, Ilmenau, Germany |
||
|
inria-00075449v1
Rapport
Jean-Daniel Boissonnat, Mariette Yvinec. Probing a scene of non convex polyhedra [Research Report] RR-1110, INRIA. 1989 |
||
|
hal-00925837v1
Communication dans un congrès
Michael Barnett, Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich. A case for static analyzers in the cloud Miguel Gomez-Zamalloa and Germán Puebla. Bytecode - 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation, Mar 2013, Rome, Italy. Elsevier, 2014, ENTCS; Bytecode Semantics, Verification, Analysis, and Transformation |
||
|
inria-00528571v1
Communication dans un congrès
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné et al. Combination of Abstractions in the ASTRÉE Static Analyzer Okada, Mitsu and Satoh, Ichir. the 11th Annual Asian Computing Science Conference - ASIAN'06, Dec 2006, Tokyo, Japan. Springer, 4435, pp.272-300, 2006, Lecture Notes in Computer Science; Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues. <10.1007/978-3-540-77505-8_23> |
||
|
inria-00528632v1
Communication dans un congrès
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne et al. Static Analysis by Abstract Interpretation of Embedded Critical Software Augusti Canal. the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China. 2010 |
||
|
inria-00528600v1
Communication dans un congrès
Daniel Kästner, Stephan Wilhelm, Stefana Nenova, Patrick Cousot, Radhia Cousot et al. Astree: Proving the Absence of Runtime Errors Laprie, J.C. Embedded real time software and systems - ERTS2 2010, May 2010, Toulouse, France. 2010, <http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0024_final.pdf> |
||
|
inria-00528611v1
Communication dans un congrès
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne et al. Static Analysis and Verification of Aerospace Software by Abstract Interpretation American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States. American Institue of Aeronautics and Astronautics, 2010, <http://www.google.fr/url?sa=t&source=web&cd=2&sqi=2&ved=0CB4QFjAB&url=http%3A%2F%2Fpdf.aiaa.org%2Fpreview%2F2010%2FCDReadyMIAA10_2358%2FPV2010_3385.pdf&ei=1UvBTLLqEMGKswamv-S4CA&usg=AFQjCNFGH0_rG7PESuLq1mQXnbBFlLvSzw&sig2=Kk5dxWbo0c1XTGFijYp4xA> |
||
|
hal-00765220v1
Ouvrage (y compris édition critique et traduction)
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimellli, Albert Cohen et al. Informatique et Sciences du Numérique - Spécialité ISN en Terminale S Eyrolles, pp.303, 2012, ISBN 978-2-212-13543-5 |
||
|
tel-00136630v1
Thèse
Antoine Miné. Weakly Relational Numerical Abstract Domains Software Engineering [cs.SE]. Ecole Polytechnique X, 2004. English |
||
|
hal-00713693v2
Rapport
Boubacar Diouf, Albert Cohen, Fabrice Rastello. A Polynomial Spilling Heuristic: Layered Allocation [Research Report] RR-8007, INRIA. 2012, pp.23 |
||
|
inria-00170153v3
Rapport
Maria-Jose Escobar, Guillaume Masson, Thierry Viéville, Pierre Kornprobst. Spike to Spike Model and Applications: A biological plausible approach for the motion processing [Research Report] RR-6280, INRIA. 2007, pp.37 |
||
|
tel-00084287v1
Thèse
David Monniaux. Analysis of probabilistic programs by abstract interpretation Software Engineering [cs.SE]. Université Paris Dauphine - Paris IX, 2001. English |
||
|
inria-00638289v1
Communication dans un congrès
Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar. Monotonicity in Service Orchestrations Franceschinis, Giuliana and Wolf, Karsten. Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (ICATPN'09), 2009, Paris, France, France. Springer, 5606, pp.263-282, 2009, <10.1007/978-3-642-02424-5_16> |
||
|
inria-00638288v1
Communication dans un congrès
Anne Bouillard, Stefan Haar, Sidney Rosario. Critical paths in the Partial Order Unfolding of a Stochastic Petri Net Ouaknine, Joël and Vaandrager, Frits. Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 2009, Budapest, Hungary, Hungary. Springer, 5813, pp.43-57, 2009, <10.1007/978-3-642-04368-0_6> |
||
|
hal-00931694v1
Direction d'ouvrage, Proceedings
Kenneth Mcmillan, Xavier Rival. Verification, Model Checking, and Abstract Interpretation Kenneth McMillan and Xavier Rival. 8318, Springer, pp.493, 2014, 978-3-642-54012-7 |
||
|
hal-00362761v1
Communication dans un congrès
Ricardo Martinez, Nicolas Pasquier, Claude Pasquier, Lucero Lopez-Perez. Interpreting microarray experiments via co-expressed gene groups analysis Springer. DS'2006 international conference on Discovery Science, Oct 2006, Barcelona, France. 4265, pp.316-320, 2006, Lecture Notes in Artificial Intelligence. <10.1007/11893318_34> |
||
|
hal-00361718v1
Article dans une revue
Ricardo Martinez, Nicolas Pasquier, Claude Pasquier, Martine Collard, Lucero Lopez-Perez. Analyse des groupes de gènes co-exprimés : un outil automatique pour l'interprétation des expériences de biopuces (version étendue) Revue des Nouvelles Technologies de l'Information, Hermann, 2008, Classification : points de vue croisés, Chapitre XXI |
||
|
inria-00075274v1
Rapport
Jean-Daniel Boissonnat, Olivier Devillers, Rene Schott, Monique Teillaud, Mariette Yvinec. Applications of random sampling to on-line algorithms in computational geometry [Research Report] RR-1285, INRIA. 1990 |
||
|
tel-00719092v1
Thèse
Oliver Whyte. Removing camera shake blur and unwanted occluders from photographs General Mathematics [math.GM]. École normale supérieure de Cachan - ENS Cachan, 2012. English. <NNT : 2012DENS0013> |
||
|
inria-00075003v1
Rapport
Olivier Devillers, Monique Teillaud, Mariette Yvinec. Dynamic location in an arrangement of line segments in the plane [Research Report] RR-1558, INRIA. 1991 |
||
|
inria-00070536v1
Rapport
Nicolas Wotawa, Bertrand Thirion, Eric Castet, Jean-Luc Anton, Olivier Faugeras. Human Retinotopic Mapping Using fMRI [Research Report] RR-5472, INRIA. 2006, pp.65 |
||
|
tel-00172858v1
Thèse
Philippe Matherat. Contribution à l'augmentation de puissance des architectures de visus graphiques Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 1988. Français |
||
|
inria-00070382v1
Rapport
Steve Oudot, Laurent Rineau, Mariette Yvinec. Meshing Volumes Bounded by Smooth Surfaces [Research Report] RR-5626, INRIA. 2006, pp.21 |
||
|
hal-00930096v1
Communication dans un congrès
Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri. Andromeda: Accurate and Scalable Security Analysis of Web Applications Vittorio Cortellessa and Dániel Varró. FASE 2013 - International Conference Fundamental Approaches to Software Engineering, Mar 2013, Rome, Italy. Springer, 7793, pp.210-225, 2013, LNCS - Lecture Notes in Computer Science; Fundamental Approaches to Software Engineering. <10.1007/978-3-642-37057-1_15> |
||
|
hal-00930103v1
Communication dans un congrès
Patrick Cousot, Radhia Cousot. A galois connection calculus for abstract interpretation Suresh Jagannathan and Peter Sewell. POPL - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2014, Jan 2014, San Diego, United States. ACM, pp.3-4, 2014, POPL'14. <10.1145/2535838.2537850> |
||
|
hal-00930070v1
Communication dans un congrès
Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo. Automatic Inference of Necessary Preconditions Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni. VMCAI 2013 - 14th Conference on Verification, Model Checking and Abstract Interpretation, Jan 2013, Rome, Italy. Springer, 7737, pp.128-148, 2013, LNCS - Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation. <10.1007/978-3-642-35873-9_10> |
||
|
inria-00528442v1
Chapitre d'ouvrage
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne et al. Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software Mogensen, T. and Schmidt, D.A. and Sudborough, I.H. The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, 2566, Springer, pp.85-108, 2002, Lecture Notes in Computer Science, <10.1007/3-540-36377-7_5> |
||
|
inria-00528450v1
Communication dans un congrès
Jérôme Feret. The Arithmetic-Geometric Progression Abstract Domain Cousot, Radhia. the 6th International Conference on Verification, Model Checking and Abstract Interpretation - VMCAI 2005, Jan 2005, Paris, France. Springer, 3385, pp.42-58, 2005, Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation. <10.1007/978-3-540-30579-8_3> |
||
|
inria-00528590v1
Communication dans un congrès
Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret et al. Space Software Validation using Abstract Interpretation The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, May 2009, Istambul, Turkey. European Space Agency, pp.1-7, 2009 |
||
|
|
|