Filtrer vos résultats
- 42
- 26
- 43
- 8
- 7
- 5
- 2
- 1
- 1
- 1
- 66
- 21
- 2
- 1
- 6
- 15
- 12
- 9
- 19
- 6
- 1
- 63
- 4
- 1
- 68
- 43
- 8
- 7
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 27
- 21
- 15
- 9
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
68 résultats
|
Space Software Validation using Abstract InterpretationThe International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7
Communication dans un congrès
inria-00528590v1
|
||
|
Calling Context Abstraction with ShapesPOPL'11 - 38th annual ACM SIGPLAN-SIGACT symposium on Principles Of Programming Languages 2011, Jan 2011, Austin, United States. pp.173-186, ⟨10.1145/1925844.1926406⟩
Communication dans un congrès
hal-00760421v1
|
||
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011)Jérôme Feret and Andre Levchenko. Elsevier, 284, pp.137, 2012, Electronic Notes in Theoretical Computer Science
Ouvrages
hal-00722482v1
|
|||
|
An Abstract Domain to Infer Types over Zones in SpreadsheetsSAS'12 - 19th International Static Analysis Symposium, Sep 2012, Deauville, France. pp.94-110, ⟨10.1007/978-3-642-33125-1_9⟩
Communication dans un congrès
hal-00760424v1
|
||
|
Intrinsic Information carriers in combinatorial dynamical systemsChaos: An Interdisciplinary Journal of Nonlinear Science, 2010, 20 (3), pp.037108. ⟨10.1063/1.3491100⟩
Article dans une revue
hal-00520128v1
|
||
Filtered compression for KappaSASB - 4th INternational Workshop on Static Analysis and Systems Biology, Jerome Feret and Andre Levchenko, Jun 2013, Seattle, United States
Communication dans un congrès
hal-00925549v1
|
|||
A case for static analyzers in the cloudBytecode - 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation, Miguel Gomez-Zamalloa and Germán Puebla, Mar 2013, Rome, Italy
Communication dans un congrès
hal-00925837v1
|
|||
|
Combining Model Reductionsthe 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. pp.73--96, ⟨10.1016/j.entcs.2010.08.006⟩
Communication dans un congrès
inria-00527536v1
|
||
Separating Shape Graphs19th European Symposium on Programming - ESOP 2010, Andrew Gordon, Mar 2010, Paphos, Cyprus. pp.387-406
Communication dans un congrès
inria-00539548v1
|
|||
Reconstructing Species-Based Dynamics from Reduced Stochastic Rule-Based Models.WSC - Winter Simulation Conference - 2012, Dec 2012, Berlin, Germany
Communication dans un congrès
hal-00734483v1
|
|||
|
Static Analysis by Abstract Interpretation of Sequential and Multi-Thread Programs10th School of Modelling and Verifying Parallel Processes, Dec 2012, Marseille, France
Communication dans un congrès
hal-00763076v1
|
||
|
Formal reduction for rule-based modelsthe 27th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2011, May 2011, Pittsburgh, United States. pp.29-59, ⟨10.1016/j.entcs.2011.09.014⟩
Communication dans un congrès
inria-00636850v1
|
||
Proceedings of the 19th International Static Analysis Symposium (SAS 2012)Antoine Miné and David Schmidt. Springer, 7460, pp.457, 2012, LNCS, 978-3-642-33124-4
Ouvrages
hal-00748287v1
|
|||
|
Investigation of a biological repair schemethe 9th Workshop on Membrane Computing - WMC9, Paun, G., Jul 2008, Edinburgh, United Kingdom. pp.1-12, ⟨10.1007/978-3-540-95885-7_1⟩
Communication dans un congrès
inria-00528319v1
|
||
A galois connection calculus for abstract interpretationPOPL - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2014, Suresh Jagannathan and Peter Sewell, Jan 2014, San Diego, United States. pp.3-4, ⟨10.1145/2535838.2537850⟩
Communication dans un congrès
hal-00930103v1
|
|||
|
Modular Construction of Shape-Numeric AnalyzersFestschrift for Dave Schmidt, Sep 2013, Manhattan, Kansas, United States
Communication dans un congrès
hal-00926948v1
|
||
|
Lumpability Abstractions of Rule-based SystemsTheoretical Computer Science, 2012, Modelling and Analysis of Biological Systems -- Based on papers presented at the Workshop on Membrane Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena), 431, pp.137-164. ⟨10.1016/j.tcs.2011.12.059⟩
Article dans une revue
hal-00677894v1
|
||
Pattern Graphs and Rule-Based Models: The Semantics of KappaFOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. pp.1--16, ⟨10.1007/978-3-642-37075-5⟩
Communication dans un congrès
hal-00925345v1
|
|||
|
Static analysis by abstract interpretation of concurrent programsPerformance [cs.PF]. Ecole Normale Supérieure de Paris - ENS Paris, 2013
HDR
tel-00903447v1
|
||
An Abstract Domain to Discover Interval Linear Equalities11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), Jan 2010, Spain. pp.112-128
Communication dans un congrès
hal-00531563v1
|
|||
|
Static AnalysisSpringer, LNCS (6337), 2010, 978-3-642-15768-4. ⟨10.1007/978-3-642-15769-1⟩
Ouvrages
hal-00813003v1
|
||
Proceedings of the Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010)Antoine Miné and Enric Rodríguez Carbonell. Elsevier, 267, pp.150, 2010, ENTCS
Ouvrages
hal-00748318v1
|
|||
|
Static Analysis of Run-Time Errors in Embedded Critical Parallel C ProgramsESOP'11 - 20th European Symposium on Programming, Mar 2011, Saarbrücken, Germany. pp.398-418, ⟨10.1007/978-3-642-19718-5_21⟩
Communication dans un congrès
hal-00648038v1
|
||
|
Graphs, Rewriting and Pathway Reconstruction for Rule-Based ModelsFSTTCS 2012 - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2012, Hyderabad, India. pp.276-288, ⟨10.4230/LIPIcs.FSTTCS.2012.276⟩
Communication dans un congrès
hal-00809065v1
|
||
Piecewise-Defined Ranking Functions13th International Workshop on Termination, Aug 2013, Bertinoro, Italy. pp.69-73
Communication dans un congrès
hal-00925682v1
|
|||
|
A Constraint Solver based on Abstract DomainsVMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. pp.434--454, ⟨10.1007/978-3-642-35873-9_26⟩
Communication dans un congrès
hal-00785604v1
|
||
|
Concrete Memory Models for Shape AnalysisNSAD'2010 - Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.139--150, ⟨10.1016/j.entcs.2010.09.012⟩
Communication dans un congrès
hal-00786330v1
|
||
Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based modelsInternational Journal of Software and Informatics (IJSI), 2014, Special issue of DCM'09, 7 (4), pp.527-604
Article dans une revue
hal-00975861v1
|
|||
Proceedings of the 1st International Workshop on Static Analysis and Systems Biology (SASB 2010)Jérôme Feret and Andre Levchenko. Elsevier, 272, pp.56, 2011, Electronic Notes in Theoretical Computer Science
Ouvrages
hal-00722483v1
|
|||
Verification, Model Checking, and Abstract InterpretationKenneth McMillan and Xavier Rival. Springer, 8318, pp.493, 2014, 978-3-642-54012-7
Ouvrages
hal-00931694v1
|