Остановите войну!
for scientists:
default search action
Erika Ábrahám
- > Home > Persons > Erika Ábrahám
Publications
- 2016
- [j16]Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám:
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. IMA J. Math. Control. Inf. 33(3): 723-756 (2016) - 2015
- [c72]Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám:
Flow* 1.2: More Effective to Play with Hybrid Systems. ARCH@CPSWeek 2015: 152-159 - [c71]Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski:
Current Challenges in the Verification of Hybrid Systems. CyPhy 2015: 8-24 - [c65]Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski:
A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM 2015: 408-414 - 2014
- [c61]Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám:
Under-approximate flowpipes for non-linear continuous systems. FMCAD 2014: 59-66 - 2013
- [c54]Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan:
Flow*: An Analyzer for Non-linear Hybrid Systems. CAV 2013: 258-263 - [c53]Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins:
Counterexample Generation for Hybrid Automata. FTSCS 2013: 88-106 - [c52]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám:
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. ICCAD 2013: 662-669 - [c50]Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám:
Lyapunov Function Synthesis Using Handelman Representations. NOLCOS 2013: 576-581 - 2012
- [c44]Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan:
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. RTSS 2012: 183-192 - 2011
- [c37]Xin Chen, Erika Ábrahám:
Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. EUROCAST (1) 2011: 535-542 - [c30]Xin Chen, Erika Ábrahám, Goran Frehse:
Efficient Bounded Reachability Computation for Rectangular Automata. RP 2011: 139-152
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-08 01:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint