PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ábrahám, Erika"

Author of the publication

copydeleteadd this publication to your clipboard
On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata.

, , , and . DDECS, page 391-396. IEEE Computer Society, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Erika Bäcker University of Stuttgart

 

Other publications of authors with the same name

Some recent advances in automated analysis., and . STTT, 18 (2): 121-128 (2016)Two CEGAR-based approaches for the safety verification of PLC-controlled plants., , , , and . Information Systems Frontiers, 18 (5): 927-952 (2016)Task Planning with OMT: An Application to Production Logistics., , and . IFM, volume 11023 of Lecture Notes in Computer Science, page 316-325. Springer, (2018)A Tool-Supported Proof System for Multithreaded Java., , , and . FMCO, volume 2852 of Lecture Notes in Computer Science, page 1-32. Springer, (2002)A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic., , and . CASC, volume 9890 of Lecture Notes in Computer Science, page 315-335. Springer, (2016)Minimal Critical Subsystems for Discrete-Time Markov Models., , , , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 299-314. Springer, (2012)Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking., , , , and . FMOODS/FORTE, volume 6722 of Lecture Notes in Computer Science, page 75-89. Springer, (2011)SMT Solving for Arithmetic Theories: Theory and Tool Support., and . SYNASC, page 1-8. IEEE Computer Society, (2017)Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies., , , , and . SETTA, volume 9984 of Lecture Notes in Computer Science, page 229-245. (2016)Stochastic Bounded Model Checking: Bounded Rewards and Compositionality., , , and . MBMV, page 243-254. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)