Search

Your search keyword '"Ábrahám, Erika"' showing total 666 results
Start Over Author "Ábrahám, Erika"

Refine your results

more »

more »

more »

more »
666 results on '"Ábrahám, Erika"'

53. Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis

Author

Sassi, Mohamed Amin Ben, Sankaranarayanan, Sriram, Chen, Xin, and Abraham, Erika

Subjects
Mathematics - Dynamical Systems
Abstract

In this paper, we examine linear programming (LP) based relaxations for synthesizing polynomial Lyapunov functions to prove the stability of polynomial ODEs. A common approach to Lyapunov function synthesis starts from a desired parametric polynomial form of the polynomial Lyapunov function. Subsequently, we encode the positive-definiteness of the function, and the negative-definiteness of its derivative over the domain of interest. Therefore, the key primitives for this encoding include: (a) proving that a given polynomial is positive definite over a domain of interest, and (b) encoding the positive definiteness of a given parametric polynomial, as a constraint on the unknown parameters. We first examine two classes of relaxations for proving polynomial positivity: relaxations by sum-of-squares (SOS) programs, against relaxations that produce linear programs. We compare both types of relaxations by examining the class of polynomials that can be shown to be positive in each case. Next, we present a progression of increasingly more powerful LP relaxations based on expressing the given polynomial in its Bernstein form, as a linear combination of Bernstein polynomials. The well-known bounds on Bernstein polynomials over the unit box help us formulate increasingly precise LP relaxations that help us establish the positive definiteness of a polynomial over a bounded domain. Subsequently, we show how these LP relaxations can be used to search for Lyapunov functions for polynomial ODEs by formulating LP instances. We compare our approaches to synthesizing Lyapunov functions with approaches based on SOS programming relaxations.

Published
2014

54. Accelerating Parametric Probabilistic Verification

Author

Jansen, Nils, Corzilius, Florian, Volk, Matthias, Wimmer, Ralf, Ábrahám, Erika, Katoen, Joost-Pieter, and Becker, Bernd

Subjects
Computer Science - Software Engineering
Abstract

We present a novel method for computing reachability probabilities of parametric discrete-time Markov chains whose transition probabilities are fractions of polynomials over a set of parameters. Our algorithm is based on two key ingredients: a graph decomposition into strongly connected subgraphs combined with a novel factorization strategy for polynomials. Experimental evaluations show that these approaches can lead to a speed-up of up to several orders of magnitude in comparison to existing approaches

Published
2013

55. High-level Counterexamples for Probabilistic Automata

Author

Wimmer, Ralf, Jansen, Nils, Ábrahám, Erika, and Katoen, Joost-Pieter

Subjects
Computer Science - Software Engineering, Computer Science - Logic in Computer Science
Abstract

Providing compact and understandable counterexamples for violated system properties is an essential task in model checking. Existing works on counterexamples for probabilistic systems so far computed either a large set of system runs or a subset of the system's states, both of which are of limited use in manual debugging. Many probabilistic systems are described in a guarded command language like the one used by the popular model checker PRISM. In this paper we describe how a smallest possible subset of the commands can be identified which together make the system erroneous. We additionally show how the selected commands can be further simplified to obtain a well-understandable counterexample.

Published
2013
Full Text
View/download PDF

56. Task Planning with OMT: An Application to Production Logistics

Author

Leofante, Francesco, Ábrahám, Erika, Tacchella, Armando, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Furia, Carlo A., editor, and Winter, Kirsten, editor

Published
2018
Full Text
View/download PDF

57. Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations

Author

Nellen, Johanna, Rambow, Thomas, Waez, Md Tawhid Bin, Ábrahám, Erika, Katoen, Joost-Pieter, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Havelund, Klaus, editor, Peleska, Jan, editor, Roscoe, Bill, editor, and de Vink, Erik, editor

Published
2018
Full Text
View/download PDF

58. Verifying Auto-generated C Code from Simulink : An Experience Report in the Automotive Domain

Author

Berger, Philipp, Katoen, Joost-Pieter, Ábrahám, Erika, Waez, Md Tawhid Bin, Rambow, Thomas, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Havelund, Klaus, editor, Peleska, Jan, editor, Roscoe, Bill, editor, and de Vink, Erik, editor

Published
2018
Full Text
View/download PDF

59. Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems

Author

Schupp, Stefan, Ábrahám, Erika, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Johnsen, Einar Broch, editor, and Schaefer, Ina, editor

Published
2018
Full Text
View/download PDF

60. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis

Author

Schupp, Stefan, Ábrahám, Erika, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Beyer, Dirk, editor, and Huisman, Marieke, editor

Published
2018
Full Text
View/download PDF

63. The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains

Author

Jansen, Nils, Ábrahám, Erika, Scheffler, Maik, Volk, Matthias, Vorpahl, Andreas, Wimmer, Ralf, Katoen, Joost-Pieter, and Becker, Bernd

Subjects
Computer Science - Software Engineering
Abstract

This report presents the tool COMICS, which performs model checking and generates counterexamples for DTMCs. For an input DTMC, COMICS computes an abstract system that carries the model checking information and uses this result to compute a critical subsystem, which induces a counterexample. This abstract subsystem can be refined and concretized hierarchically. The tool comes with a command-line version as well as a graphical user interface that allows the user to interactively influence the refinement process of the counterexample.

Published
2012

64. Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications

Author

Lepri, Daniela, Ölveczky, Peter Csaba, and Ábrahám, Erika

Subjects
Computer Science - Logic in Computer Science
Abstract

This paper presents a transformational approach for model checking two important classes of metric temporal logic (MTL) properties, namely, bounded response and minimum separation, for nonhierarchical object-oriented Real-Time Maude specifications. We prove the correctness of our model checking algorithms, which terminate under reasonable non-Zeno-ness assumptions when the reachable state space is finite. These new model checking features have been integrated into Real-Time Maude, and are used to analyze a network of medical devices and a 4-way traffic intersection system., Comment: In Proceedings RTRTS 2010, arXiv:1009.3982

Published
2010
Full Text
View/download PDF

65. A Rewriting-Logic-Based Technique for Modeling Thermal Systems

Author

Fadlisyah, Muhammad, Ábrahám, Erika, Lepri, Daniela, and Ölveczky, Peter Csaba

Subjects
Computer Science - Logic in Computer Science, Computer Science - Software Engineering, Physics - Computational Physics
Abstract

This paper presents a rewriting-logic-based modeling and analysis technique for physical systems, with focus on thermal systems. The contributions of this paper can be summarized as follows: (i) providing a framework for modeling and executing physical systems, where both the physical components and their physical interactions are treated as first-class citizens; (ii) showing how heat transfer problems in thermal systems can be modeled in Real-Time Maude; (iii) giving the implementation in Real-Time Maude of a basic numerical technique for executing continuous behaviors in object-oriented hybrid systems; and (iv) illustrating these techniques with a set of incremental case studies using realistic physical parameters, with examples of simulation and model checking analyses., Comment: In Proceedings RTRTS 2010, arXiv:1009.3982

Published
2010
Full Text
View/download PDF

70. HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis

Author

Schupp, Stefan, Ábrahám, Erika, Makhlouf, Ibtissem Ben, Kowalewski, Stefan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Barrett, Clark, editor, Davies, Misty, editor, and Kahsai, Temesghen, editor

Published
2017
Full Text
View/download PDF

71. Modular strategic SMT solving with SMT-RAT

Author

Kremer Gereon and Ábrahám Erika

Subjects
satisfiability modulo theories, polynomial arithmetic, strategic combination, 68-04, Electronic computers. Computer science, QA75.5-76.95
Abstract

In this paper we present the latest developments in SMT-RAT, a tool for the automated check of quantifier-free real and integer arithmetic formulas for satisfiability. As a distinguishing feature, SMT-RAT provides a set of solving modules and supports their strategic combination. We describe our CArL library for arithmetic computations, the available modules implemented on top of CArL, and how modules can be combined to satisfiability-modulo-theories (SMT) solvers. Besides the traditional SMT approach, some new modules support also the recently proposed and highly promising model-constructing satisfiability calculus approach.

Published
2018
Full Text
View/download PDF

72. Multi-Objective Optimization of Solar Tower Heliostat Fields

Author

Richter, Pascal, Frank, Martin, Ábrahám, Erika, Bock, Hans Georg, Series editor, de Hoog, Frank, Series editor, Friedman, Avner, Series editor, Gupta, Arvind, Series editor, Nachbin, André, Series editor, Ozawa, Tohru, Series editor, Pulleyblank, William R., Series editor, Rusten, Torgeir, Series editor, Santosa, Fadil, Series editor, Seo, Jin Keun, Series editor, Tornberg, Anna-Karin, Series editor, Russo, Giovanni, editor, Capasso, Vincenzo, editor, Nicosia, Giuseppe, editor, and Romano, Vittorio, editor

Published
2016
Full Text
View/download PDF

73. A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic

Author

Kremer, Gereon, Corzilius, Florian, Ábrahám, Erika, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gerdt, Vladimir P., editor, Koepf, Wolfram, editor, Seiler, Werner M., editor, and Vorozhtsov, Evgenii V., editor

Published
2016
Full Text
View/download PDF

74. : Satisfiability Checking Meets Symbolic Computation : (Project Paper)

Author

Ábrahám, Erika, Abbott, John, Becker, Bernd, Bigatti, Anna M., Brain, Martin, Buchberger, Bruno, Cimatti, Alessandro, Davenport, James H., England, Matthew, Fontaine, Pascal, Forrest, Stephen, Griggio, Alberto, Kroening, Daniel, Seiler, Werner M., Sturm, Thomas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kohlhase, Michael, editor, Johansson, Moa, editor, Miller, Bruce, editor, de Moura, Leonardo, editor, and Tompa, Frank, editor

Published
2016
Full Text
View/download PDF

75. Satisfiability Checking: Theory and Applications

Author

Ábrahám, Erika, Kremer, Gereon, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, De Nicola, Rocco, editor, and Kühn, Eva, editor

Published
2016
Full Text
View/download PDF

76. Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies

Author

Ábrahám, Erika, Corzilius, Florian, Johnsen, Einar Broch, Kremer, Gereon, Mauro, Jacopo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fränzle, Martin, editor, Kapur, Deepak, editor, and Zhan, Naijun, editor

Published
2016
Full Text
View/download PDF

77. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots

Author

Leofante, Francesco, Vuotto, Simone, Ábrahám, Erika, Tacchella, Armando, Jansen, Nils, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

78. Multiple Analyses, Requirements Once

Author

Berger, Philipp, primary, Nellen, Johanna, additional, Katoen, Joost-Pieter, additional, Ábrahám, Erika, additional, Waez, Md Tawhid Bin, additional, and Rambow, Thomas, additional

Published
2019
Full Text
View/download PDF

80. Current Challenges in the Verification of Hybrid Systems

Author

Schupp, Stefan, Ábrahám, Erika, Chen, Xin, Ben Makhlouf, Ibtissem, Frehse, Goran, Sankaranarayanan, Sriram, Kowalewski, Stefan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Mousavi, Mohammad Reza, editor, and Berger, Christian, editor

Published
2015
Full Text
View/download PDF

81. SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving

Author

Corzilius, Florian, Kremer, Gereon, Junges, Sebastian, Schupp, Stefan, Ábrahám, Erika, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

82. PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

Author

Dehnert, Christian, Junges, Sebastian, Jansen, Nils, Corzilius, Florian, Volk, Matthias, Bruintjes, Harold, Katoen, Joost-Pieter, Ábrahám, Erika, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kroening, Daniel, editor, and Păsăreanu, Corina S., editor

Published
2015
Full Text
View/download PDF

83. Counterexamples for Expected Rewards

Author

Quatmann, Tim, Jansen, Nils, Dehnert, Christian, Wimmer, Ralf, Ábrahám, Erika, Katoen, Joost-Pieter, Becker, Bernd, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bjørner, Nikolaj, editor, and de Boer, Frank, editor

Published
2015
Full Text
View/download PDF

84. A Benchmark Suite for Hybrid Systems Reachability Analysis

Author

Chen, Xin, Schupp, Stefan, Makhlouf, Ibtissem Ben, Ábrahám, Erika, Frehse, Goran, Kowalewski, Stefan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Havelund, Klaus, editor, Holzmann, Gerard, editor, and Joshi, Rajeev, editor

Published
2015
Full Text
View/download PDF

85. A Greedy Approach for the Efficient Repair of Stochastic Models

Author

Pathak, Shashank, Ábrahám, Erika, Jansen, Nils, Tacchella, Armando, Katoen, Joost-Pieter, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Havelund, Klaus, editor, Holzmann, Gerard, editor, and Joshi, Rajeev, editor

Published
2015
Full Text
View/download PDF

86. FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex

Author

Nalbach, Jasper, Promies, Valentin, Ábrahám, Erika, Kobialka, Paul, Nalbach, Jasper, Promies, Valentin, Ábrahám, Erika, and Kobialka, Paul

Abstract

In this paper we present a quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elimination procedure, but by case splitting we are able to reduce the worst-case complexity from doubly to singly exponential. The adaption of the procedure for SMT solving has strong correspondence to the simplex algorithm, therefore we name it FMplex. Besides the theoretical foundations, we provide an experimental evaluation in the context of SMT solving. This is an extended version of the authors' work previously published at the fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023).

Published
2023

88. Fast Debugging of PRISM Models

Author

Dehnert, Christian, Jansen, Nils, Wimmer, Ralf, Ábrahám, Erika, Katoen, Joost-Pieter, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cassez, Franck, editor, and Raskin, Jean-François, editor

Published
2014
Full Text
View/download PDF

89. Accelerating Parametric Probabilistic Verification

Author

Jansen, Nils, Corzilius, Florian, Volk, Matthias, Wimmer, Ralf, Ábrahám, Erika, Katoen, Joost-Pieter, Becker, Bernd, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Norman, Gethin, editor, and Sanders, William, editor

Published
2014
Full Text
View/download PDF

90. Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey

Author

Ábrahám, Erika, Becker, Bernd, Dehnert, Christian, Jansen, Nils, Katoen, Joost-Pieter, Wimmer, Ralf, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bernardo, Marco, editor, Damiani, Ferruccio, editor, Hähnle, Reiner, editor, Johnsen, Einar Broch, editor, and Schaefer, Ina, editor

Published
2014
Full Text
View/download PDF

96. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers

Author

Junges, Sebastian, Loup, Ulrich, Corzilius, Florian, Ábrahám, Erika, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Muntean, Traian, editor, Poulakis, Dimitrios, editor, and Rolland, Robert, editor

Published
2013
Full Text
View/download PDF

97. A Timed CTL Model Checker for Real-Time Maude

Author

Lepri, Daniela, Ábrahám, Erika, Ölveczky, Peter Csaba, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Heckel, Reiko, editor, and Milius, Stefan, editor

Published
2013
Full Text
View/download PDF

98. Flow*: An Analyzer for Non-linear Hybrid Systems

Author

Chen, Xin, Ábrahám, Erika, Sankaranarayanan, Sriram, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Sharygina, Natasha, editor, and Veith, Helmut, editor

Published
2013
Full Text
View/download PDF

99. A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition

Author

Loup, Ulrich, Scheibler, Karsten, Corzilius, Florian, Ábrahám, Erika, Becker, Bernd, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, and Bonacina, Maria Paola, editor

Published
2013
Full Text
View/download PDF

100. Symbolic Counterexample Generation for Discrete-Time Markov Chains

Author

Jansen, Nils, Ábrahám, Erika, Zajzon, Barna, Wimmer, Ralf, Schuster, Johann, Katoen, Joost-Pieter, Becker, Bernd, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Păsăreanu, Corina S., editor, and Salaün, Gwen, editor

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results