Ivana Cerna

Citat de

	Toate	Din 2019
Referințe bibliografice	2167	461
h-index	26	13
i10-index	52	17

160

120

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 27 22 36 83 116 155 158 142 117 131 127 117 123 112 99 96 74 100 104 92 65 26

Acces public

Afișați-le pe toate

5 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Luboš BrimMasaryk university, Faculty of InformaticsAdresă de e-mail confirmată pe fi.muni.cz
Jiří BarnatMasaryk University, Faculty of InformaticsAdresă de e-mail confirmată pe fi.muni.cz
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityAdresă de e-mail confirmată pe fi.muni.cz
Jana TumovaKTHAdresă de e-mail confirmată pe kth.se
Calin BeltaBrendan Iribe Endowed Professor, University of MarylandAdresă de e-mail confirmată pe bu.edu
Radek PelánekMasaryk universityAdresă de e-mail confirmată pe fi.muni.cz
Maria SvorenovaUniversity of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk
David Safranekassistant professor, Masaryk university, Faculty of informaticsAdresă de e-mail confirmată pe safranek.cz
Jiří ŠimšaGoogleAdresă de e-mail confirmată pe google.com
Boyan YordanovScientific TechnologiesAdresă de e-mail confirmată pe scientific.london
Petr RočkaiFaculty of Informatics, Masaryk University in BrnoAdresă de e-mail confirmată pe mornfall.net
Milan CeskaBrno University of TechnologyAdresă de e-mail confirmată pe fit.vutbr.cz
Mojmír KřetínskýMasaryk university, Faculty of InformaticsAdresă de e-mail confirmată pe fi.muni.cz
Jan KřetínskýMasaryk University Brno; Technical University of MunichAdresă de e-mail confirmată pe fi.muni.cz
Krishnendu ChatterjeeProfessor, IST AustriaAdresă de e-mail confirmată pe ist.ac.at
Hong-Wu MaTianjin Institute of Industrial Biotechnology, CASAdresă de e-mail confirmată pe tib.cas.cn

Urmăriți

Ivana Cerna

Masaryk University, Brno, Czech Republic

Adresă de e-mail confirmată pe fi.muni.cz - Pagina de pornire

Formal verification and synthesis


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
DiVinE – A Tool for Distributed Verification: (Tool Paper) J Barnat, L Brim, I Černá, P Moravec, P Ročkai, P Šimeček International Conference on Computer Aided Verification, 278-281, 2006	170	2006
Temporal logic control of discrete-time piecewise affine systems B Yordanov, J Tumova, I Cerna, J Barnat, C Belta IEEE Transactions on Automatic Control 57 (6), 1491-1504, 2011	165	2011
Accepting predecessors are better than back edges in distributed LTL model-checking L Brim, I Černá, P Moravec, J Šimša Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD …, 2004	120	2004
Distributed explicit fair cycle detection (set based approach) I Černá, R Pelánek International SPIN Workshop on Model Checking of Software, 49-73, 2003	112	2003
Component-interaction automata as a verification-oriented component-based system specification L Brim, I Černá, P Vařeková, B Zimmerova ACM SIGSOFT Software Engineering Notes 31 (2), 4-es, 2005	111	2005
Distributed LTL model checking based on negative cycle detection L Brim, I Černá, P Krčál, R Pelánek International Conference on Foundations of Software Technology and …, 2001	98	2001
Relating Hierarchy of Temporal Properties to Model Checking I Černá, R Pelánek Mathematical Foundations of Computer Science (MFCS 2003), 318-327, 2003	76	2003
Property driven distribution of nested DFS J Barnat, L Brim, I Černá Dept. of Electronics and Computer Science, University of Southampton, 2002	57	2002
Optimal control of MDPs with temporal logic constraints M Svoreňová, I Černá, C Belta 52nd IEEE Conference on Decision and Control, 3938-3943, 2013	54	2013
Component substitutability via equivalencies of component-interaction automata I Černá, P Vařeková, B Zimmerova Electronic Notes in Theoretical Computer Science 182, 39-55, 2007	51	2007
Enhancing random walk state space exploration R Pelánek, T Hanžl, I Černá, L Brim Proceedings of the 10th international workshop on Formal methods for …, 2005	51	2005
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games M Svoreňová, J Křetínský, M Chmelík, K Chatterjee, I Černá, C Belta Nonlinear Analysis: Hybrid Systems 23 (2017), 230-250, 2017	41	2017
Cluster-based LTL model checking of large systems J Barnat, L Brim, I Černá Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006	41	2006
Formal analysis of piecewise affine systems through formula-guided refinement B Yordanov, J Tůmová, C Belta, I Černá, J Barnat 49th IEEE Conference on Decision and Control (CDC), 5899-5904, 2010	39	2010
How to order vertices for distributed LTL model-checking based on accepting predecessors L Brim, I Černá, P Moravec, J Šimša Electronic Notes in Theoretical Computer Science 135 (2), 3-18, 2006	38	2006
How to order vertices for distributed LTL model-checking based on accepting predecessors L Brim, I Černá, P Moravec, J Šimša Electronic Notes in Theoretical Computer Science 135 (2), 3-18, 2006	38	2006
ProbDiVinE-MC: Multi-core LTL model checker for probabilistic systems J Barnat, L Brim, I Cerná, M Ceška, J Tumova 2008 Fifth International Conference on Quantitative Evaluation of Systems, 77-78, 2008	37	2008
DiVinE-the distributed verification environment J Barnat, L Brim, I Černá, P Šimeček TU Munchen, 2005	37	2005
Temporal logic motion planning using POMDPs with parity objectives: Case study paper M Svoreňová, M Chmelík, K Leahy, HF Eniser, K Chatterjee, I Černá, ... Proceedings of the 18th International Conference on Hybrid Systems …, 2015	36	2015
Modal transition systems: Composition and LTL model checking N Beneš, I Černá, J Křetínský International Symposium on Automated Technology for Verification and …, 2011	35	2011

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori