Výsledky vyhledávání
- 1.0574098 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Lipparini, E. - Ratschan, Stefan
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.
NASA Formal Methods: 15th International Symposium, NFM 2023 Proceedings. Cham: Springer, 2023 - (Rozier, K.; Chaudhuri, S.), s. 472-488. Lecture Notes in Computer Science, 13903. ISBN 978-3-031-33169-5. ISSN 0302-9743.
[NFM 2023: NASA Formal Methods International Symposium /15./. Houston (US), 16.05.2023-18.05.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: SAT modulo theories * constraint solving * formal verification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.1007/978-3-031-33170-1_29
Trvalý link: https://hdl.handle.net/11104/0344454 - 2.0531242 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kolárik, T. - Ratschan, Stefan
SAT Modulo Differential Equation Simulations.
Tests and Proofs. Cham: Springer, 2020 - (Ahrendt, W.; Wehrheim, H.), s. 80-99. Lecture Notes on Computer Science, 12165. ISBN 978-3-030-50994-1. ISSN 0302-9743.
[TAP 2020: The International Conference on Tests and Proofs /14./. Bergen (NO), 22.06.2020-23.06.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: constraint solving * Boolean satisfiability * formal verification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0309940 - 3.0473970 - ÚI 2018 SE eng A - Abstrakt
Franek, Peter - Kuřátko, Jan - Ratschan, Stefan
Safety Verification By Interval Based Quantified Constraint Solving,.
SCAN 2016. Book of Abstracts. Uppsala University, 2016. s. 107-108.
[SCAN 2016. International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics /17./. 26.09.2016-29.09.2016, Uppsala]
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: ordinary differential equations * safety verification * constraints * constraint solving
Trvalý link: http://hdl.handle.net/11104/0271070Název souboru Staženo Velikost Komentář Verze Přístup a0473970.pdf 0 2 MB Vydavatelský postprint povolen - 4.0430462 - ÚI 2015 RIV CH eng J - Článek v odborném periodiku
Hladík, M. - Ratschan, Stefan
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall.
Mathematics in Computer Science. Roč. 8, 3-4 (2014), s. 329-340. ISSN 1661-8289
Grant CEP: GA ČR GCP202/12/J060
Grant ostatní: GA ČR(CZ) GA13-10660S
Institucionální podpora: RVO:67985807
Klíčová slova: constraint solving * decision procedures * interval computation
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0235395 - 5.0382764 - ÚI 2013 CZ eng V - Výzkumná zpráva
Keznikl, Jaroslav - Bureš, T. - Plášil, F. - Hnětynka, P.
Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method).
Prague: Department of Distributed and Dependable Systems, Charles University, 2012. 41 s. Technical report, 2012/1.
Institucionální podpora: RVO:67985807
Klíčová slova: software architecture * software connectors * constraint solving * middleware-based connectors * connector theory * Alloy
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0212889 - 6.0382684 - ÚI 2015 DE eng J - Článek v odborném periodiku
Keznikl, Jaroslav - Bureš, Tomáš - Plášil, František - Hnětynka, P.
Automated resolution of connector architectures using constraint solving (ARCAS method).
Software and Systems Modeling. Roč. 13, č. 2 (2014), s. 843-872. ISSN 1619-1366. E-ISSN 1619-1374
Grant CEP: GA ČR GCP202/10/J042
GRANT EU: European Commission ASCENS 257414
Program: FP7
Klíčová slova: Software architecture * Software connectors * Constraint solving * Middleware-based connectors * Connector theory * Alloy
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 1.408, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0212836 - 7.0351298 - ÚI 2011 RIV US eng J - Článek v odborném periodiku
Ratschan, Stefan - She, Z.
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions.
SIAM Journal on Control and Optimization. Roč. 48, č. 7 (2010), s. 4377-4394. ISSN 0363-0129. E-ISSN 1095-7138
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: basin of attraction * stability * constraint solving * interval computation * algorithms
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.297, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0191083 - 8.0339966 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan - She, Z.
Constraints for Continuous Reachability in the Verification of Hybrid Systems.
Artificial Intelligence and Symbolic Computation. Berlin: Springer, 2006 - (Calmet, J.; Ida, T.; Wang, D.), s. 196-210. Lecture Notes in Artificial Intelligence, 4120. ISBN 3-540-39728-0.
[AISC 2006. International Conference on Artificial Intelligence and Symbolic Computation /8./. Beijing (CN), 20.09.2006-22.09.2006]
Grant ostatní: AVACS(DE) SFB/TR 14 AVACS
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybrid systems * verification * constraint solving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0183323 - 9.0089329 - ÚI 2008 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Burchardt, H. - Ratschan, Stefan
Estimating the Region of Attraction of Ordinary Differential Equations by Quantified Constraint Solving.
[Odhadování oblasti přitažlivosti diferenciálních rovnic s pomocí řešení podmínek s kvantifikátory.]
Mathematical Methods and Computational Techniques in Research and Education. Arcachon: WSEAS Press, 2007 - (Dondon, P.; Mladenov, V.; Impedovo, S.; Cepisca, C.), s. 241-246. ISBN 978-960-6766-08-4.
[CONTROL '07. WSEAS/IASME International Conference on Dynamical Systems and Control /3./. Arcachon (FR), 13.10.2007-15.10.2007]
Grant ostatní: AVACS(DE) SFB/TR 14
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: region of attraction * constraint solving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0150572 - 10.0088814 - ÚI 2008 RIV NL eng J - Článek v odborném periodiku
Fränzle, M. - Herde, C. - Teige, T. - Ratschan, Stefan - Schubert, T.
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.
[Řešení velkých soustav nelineárních aritmetických podmínek se složitou Booleovou strukturou.]
Journal of Satisfiability, Boolean Modeling and Computation. Roč. 1, - (2007), s. 209-236. ISSN 1574-0617
Grant ostatní: AVACS(DE) SFB/TR 14
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: interval-based arithmetic constraint solving * SAT modulo theories
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0150220