Modelling Epigenetic Information Maintenance: A Kappa Tutorial (English)
- New search for: Krivine, J.
- New search for: Danos, V.
- New search for: Benecke, A.
- New search for: Krivine, J.
- New search for: Danos, V.
- New search for: Benecke, A.
- New search for: Bouajanii, Ahmed
- New search for: Maler, O.
In:
Computer aided verification
5643
;
17-32
;
2009
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Modelling Epigenetic Information Maintenance: A Kappa Tutorial
-
Contributors:Krivine, J. ( author ) / Danos, V. ( author ) / Benecke, A. ( author ) / Bouajanii, Ahmed / Maler, O.
-
Conference:International conference; 21st, Computer aided verification ; 2009 ; Grenoble, France
-
Published in:Computer aided verification , 5643 ; 17-32LECTURE NOTES IN COMPUTER SCIENCE , 5643 ; 17-32
-
Publisher:
- New search for: Springer
-
Place of publication:New York
-
Publication date:2009-01-01
-
Size:16 pages
-
Remarks:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Transactional Memory: Glimmer of a Theory (Invited Paper)Guerraoui, R. / Kapalka, M. et al. | 2009
- 16
-
Mixed-Signal System Verification: A High-Speed Link ExampleKim, J. et al. | 2009
- 17
-
Modelling Epigenetic Information Maintenance: A Kappa TutorialKrivine, J. / Danos, V. / Benecke, A. et al. | 2009
- 33
-
Component-Based Construction of Real-Time Systems in BIPSifakis, J. et al. | 2009
- 35
-
Models and Proofs of Protocol Security: A Progress ReportAbadi, M. / Blanchet, B. / Comon-Lundh, H. et al. | 2009
- 50
-
Predictability vs. Efficiency in the Multicore Era: Fight of Titans or Happy Ever after?Benini, L. et al. | 2009
- 51
-
SPEED: Symbolic Complexity Bound AnalysisGulwani, S. et al. | 2009
- 63
-
Regression Verification: Proving the Equivalence of Similar ProgramsStrichman, O. et al. | 2009
- 64
-
Symbolic Counter Abstraction for Concurrent SoftwareBasler, G. / Mazzucchi, M. / Wahl, T. / Kroening, D. et al. | 2009
- 79
-
Priority Scheduling of Distributed Systems Based on Model CheckingBasu, A. / Bensalem, S. / Peled, D. / Sifakis, J. et al. | 2009
- 94
-
Explaining Counterexamples Using CausalityBeer, I. / Ben-David, S. / Chockler, H. / Orni, A. / Trefler, R. et al. | 2009
- 109
-
Size-Change Termination, Monotonicity Constraints and Ranking FunctionsBen-Amram, A.M. et al. | 2009
- 124
-
Linear Functional Fixed-PointsBjorner, N. / Hendrix, J. et al. | 2009
- 140
-
Better Quality in Synthesis through Quantitative ObjectivesBloem, R. / Chatterjee, K. / Henzinger, T.A. / Jobstmann, B. et al. | 2009
- 157
-
Automatic Verification of Integer Array ProgramsBozga, M. / Habermehl, P. / Iosif, R. / Konecny, F. / Vojnar, T. et al. | 2009
- 173
-
Automated Analysis of Java Methods for ConfidentialityCerny, P. / Alur, R. et al. | 2009
- 188
-
Requirements Validation for Hybrid SystemsCimatti, A. / Roveri, M. / Tonetta, S. et al. | 2009
- 204
-
Towards Performance Prediction of Compositional Models in Industrial GALS DesignsCoste, N. / Hermanns, H. / Lantreibecq, E. / Serwe, W. et al. | 2009
- 219
-
Image Computation for Polynomial Dynamical Systems Using the Bernstein ExpansionDang, T. / Salinas, D. et al. | 2009
- 233
-
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over IntegersDillig, I. / Dillig, T. / Aiken, A. et al. | 2009
- 248
-
Meta-analysis for Atomicity Violations under Nested LockingFarzan, A. / Madhusudan, P. / Sorrentino, F. et al. | 2009
- 263
-
An Antichain Algorithm for LTL RealizabilityFiliot, E. / Jin, N. / Raskin, J.-F. et al. | 2009
- 278
-
On Extending Bounded Proofs to Inductive ProofsFuhrmann, O. / Hoory, S. et al. | 2009
- 291
-
Games through Nested FixpointsGawlitza, T.M. / Seidl, H. et al. | 2009
- 306
-
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo TheoriesGe, Y. / de Moura, L. et al. | 2009
- 321
-
Software Transactional Memory on Relaxed Memory ModelsGuerraoui, R. / Henzinger, T.A. / Singh, V. et al. | 2009
- 337
-
Sliding Window Abstraction for Infinite Markov ChainsHenzinger, T.A. / Mateescu, M. / Wolf, V. et al. | 2009
- 353
-
Centaur Technology Media Unit Verification: Case Study: Floating-Point AdditionHunt, W.A. / Swords, S. et al. | 2009
- 368
-
Incremental Instance Generation in Local ReasoningJacobs, S. et al. | 2009
- 383
-
Quantifier Elimination via Functional CompositionJiang, J.-H.R. et al. | 2009
- 398
-
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction TechniqueKahlon, V. / Wang, C. / Gupta, A. et al. | 2009
- 414
-
Replacing Testing with Formal Verification in Intel® Core™ i7 Processor Execution Engine ValidationKaivola, R. / Ghughal, R. / Narasimhan, N. / Telfer, A. / Whittemore, J. / Pandav, S. / Slobodova, A. / Taylor, C. / Frolov, V. / Reeber, E. et al. | 2009
- 430
-
Generating and Analyzing Symbolic Traces of Simulink/Stateflow ModelsKanade, A. / Alur, R. / Ivancic, F. / Ramesh, S. / Sankaranarayanan, S. / Shashidhar, K.C. et al. | 2009
- 446
-
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer ConstraintsKitchen, N. / Kuehlmann, A. et al. | 2009
- 462
-
Generalizing DPLL to Richer LogicsMcMillan, K.L. / Kuehlmann, A. / Sagiv, M. et al. | 2009
- 477
-
Reducing Context-Bounded Concurrent Reachability to Sequential ReachabilityLa Torre, S. / Madhusudan, P. / Parlato, G. et al. | 2009
- 493
-
Intra-module InferenceLahiri, S.K. / Qadeer, S. / Galeotti, J.P. / Voung, J.W. / Wies, T. et al. | 2009
- 509
-
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT SolversLahiri, S.K. / Qadeer, S. / Rakamaric, Z. et al. | 2009
- 525
-
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular ConstraintsLammich, P. / Muller-Olm, M. / Wenner, A. et al. | 2009
- 540
-
Reachability Analysis of Hybrid Systems Using Support FunctionsLe Guernic, C. / Girard, A. et al. | 2009
- 555
-
Reducing Test Inputs Using Information PartitionsMajumdar, R. / Xu, R.-G. et al. | 2009
- 570
-
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision ProcedureMonniaux, D. et al. | 2009
- 584
-
Cardinality Abstraction for Declarative Networking ApplicationsPerez, J.A.N. / Rybalchenko, A. / Singh, A. et al. | 2009
- 599
-
Equivalence Checking of Static Affine Programs Using Widening to Handle RecurrencesVerdoolaege, S. / Janssens, G. / Bruynooghe, M. et al. | 2009
- 614
-
D-Finder: A Tool for Compositional Deadlock Detection and VerificationBensalem, S. / Bozga, M. / Nguyen, T.-H. / Sifakis, J. et al. | 2009
- 620
-
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous EnvironmentBouissou, O. / Goubault, E. / Putot, S. / Tekkal, K. / Vedrine, F. et al. | 2009
- 627
-
The Zonotope Abstract Domain Taylor1+Ghorbal, K. / Goubault, E. / Putot, S. et al. | 2009
- 634
-
InvGen: An Efficient Invariant GeneratorGupta, A. / Rybalchenko, A. et al. | 2009
- 641
-
INFAMY: An Infinite-State Markov Model CheckerHahn, E.M. / Hermanns, H. / Wachter, B. / Zhang, L. et al. | 2009
- 648
-
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeepHalle, S. / Villemaire, R. et al. | 2009
- 654
-
Homer: A Higher-Order Observational Equivalence Model checkERHopkins, D. / Ong, C.-H.L. et al. | 2009
- 661
-
Apron: A Library of Numerical Abstract Domains for Static AnalysisJeannet, B. / Mine, A. et al. | 2009
- 668
-
Beaver: Engineering an Efficient SMT Solver for Bit-Vector ArithmeticJha, S. / Limaye, R. / Seshia, S.A. et al. | 2009
- 675
-
CalFuzzer: An Extensible Active Testing Framework for Concurrent ProgramsJoshi, P. / Naik, M. / Park, C.-S. / Sen, K. et al. | 2009
- 682
-
MCMAS: A Model Checker for the Verification of Multi-Agent SystemsLomuscio, A. / Qu, H. / Raimondi, F. et al. | 2009
- 689
-
TASS: Timing Analyzer of Scenario-Based SpecificationsPan, M. / Bu, L. / Li, X. et al. | 2009
- 696
-
Translation Validation: From Simulink to CRyabtsev, M. / Strichman, O. et al. | 2009
- 702
-
VS^3: SMT Solvers for Program VerificationSrivastava, S. / Gulwani, S. / Foster, J.S. et al. | 2009
- 709
-
PAT: Towards Flexible Verification under FairnessSun, J. / Liu, Y. / Dong, J.S. / Pang, J. et al. | 2009
- 715
-
A Concurrent Portfolio Approach to SMT SolvingWintersteiger, C.M. / Hamadi, Y. / de Moura, L. et al. | 2009