Ivana Cerná - RankMe

81 papers A* 2A 1B 13C 5Misc 1Journal 21Unranked 34

Year	Rank	Type	Title / Venue / Authors
2023	A*	`conf`	Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics. ICRA Jan Mrázek, Patrick Ondika, Ivana Cerná, Jiri Barnat
2022	J	`jnl`	Timed Automata Robustness Analysis via Model Checking. Log. Methods Comput. Sci. Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
2021	—	`conf`	Timed Automata Relaxation for Reachability. TACAS (1) Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
2021	J	`jnl`	Timed Automata Robustness Analysis via Model Checking. CoRR Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
2020	—	`conf`	MUST: Minimal Unsatisfiable Subsets Enumeration Tool. TACAS (1) Jaroslav Bendík, Ivana Cerná
2020	A	`conf`	Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. CP Jaroslav Bendík, Ivana Cerná
2018	J	`jnl`	DiVM: Model checking with LLVM and graph memory. J. Syst. Softw. Petr Rockai, Vladimír Still, Ivana Cerná, Jiri Barnat
2018	C	`conf`	Finding Regressions in Projects under Version Control Systems. ICSOFT Jaroslav Bendík, Nikola Benes, Ivana Cerná
2018	J	`jnl`	On clock-aware LTL parameter synthesis of timed automata. J. Log. Algebraic Methods Program. Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat
2018	B	`conf`	Online Enumeration of All Minimal Inductive Validity Cores. SEFM Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná
2018	B	`conf`	Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. ATVA Jaroslav Bendík, Ivana Cerná, Nikola Benes
2017	J	`jnl`	DiVM: Model Checking with LLVM and Graph Memory. CoRR Petr Rockai, Ivana Cerná, Jiri Barnat
2016	B	`conf`	Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. SEFM Jaroslav Bendík, Nikola Benes, Jiri Barnat, Ivana Cerná
2016	B	`conf`	LTL Parameter Synthesis of Parametric Timed Automata. SEFM Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná
2016	Misc	`conf`	On verifying C++ programs with probabilities. SAC Jiri Barnat, Ivana Cerná, Petr Rockai, Vladimír Still, Kristína Zákopcanová
2016	J	`jnl`	Optimal Observation Mode Scheduling for Systems under Temporal Constraints. CoRR Eva Tesarova, María Svorenová, Jiri Barnat, Ivana Cerná
2016	—	`conf`	Tunable Online MUS/MSS Enumeration. FSTTCS Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat
2016	J	`jnl`	Tunable Online MUS/MSS Enumeration. CoRR Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat
2015	—	`conf`	Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. HSCC María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2015	—	`conf`	Temporal logic motion planning using POMDPs with parity objectives: case study paper. HSCC María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2014	J	`jnl`	LTL Model Checking of Parametric Timed Automata. CoRR Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná
2014	C	`conf`	On Clock-Aware LTL Properties of Timed Automata. ICTAC Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná
2014	J	`jnl`	Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. CoRR María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2013	—	`conf`	DCCL: verification of component systems with ensembles. CBSE Jiri Barnat, Nikola Benes, Ivana Cerná, Zuzana Petruchová
2013	J	`jnl`	Formal analysis of piecewise affine systems through formula-guided refinement. Autom. Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta
2013	J	`jnl`	Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints CoRR María Svorenová, Ivana Cerná, Calin Belta
2013	C	`conf`	Optimal receding horizon control for finite deterministic systems with temporal logic constraints. ACC María Svorenová, Ivana Cerná, Calin Belta
2013	—	`conf`	Towards Verification of Ensemble-Based Component Systems. FACS Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil
2012	B	`conf`	Factorization for Component-Interaction Automata. SOFSEM Nikola Benes, Ivana Cerná, Filip Stefanak
2012	—	`ed.`	Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers MEMICS Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos
2012	J	`jnl`	Verification of Systems with Degradation. Comput. Informatics Jiri Barnat, Ivana Cerná, Jana Tumova
2012	J	`jnl`	pecial CAI Section Devoted to MEMICS '11: Preface. Comput. Informatics Zdenek Kotásek, Lukás Sekanina, Tomás Vojnar, Jan Bouda, Ivana Cerná
2011	—	`conf`	CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems PDMC Nikola Benes, Ivana Cerná, Milan Krivánek
2011	B	`conf`	Modal Transition Systems: Composition and LTL Model Checking. ATVA Nikola Benes, Ivana Cerná, Jan Kretínský
2011	J	`jnl`	Parallel and Distributed Methods in Verification. J. Log. Comput. Ivana Cerná, Boudewijn R. Haverkort
2011	J	`jnl`	Partial order reduction for state/event LTL with application to component-interaction automata. Sci. Comput. Program. Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková
2011	B	`ed.`	SOFSEM 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings SOFSEM Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovic, Keith G. Jeffery, Rastislav Královic, Marko Vukolic, Stefan Wolf
2011	—	`conf`	Timed Automata Approach to Verification of Systems with Degradation. MEMICS Jiri Barnat, Ivana Cerná, Jana Tumova
2009	—	`conf`	BioDiVinE: A Framework for Parallel Analysis of Biological Models COMPMOD Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma
2009	J	`jnl`	On algorithmic analysis of transcriptional regulation by LTL model checking. Theor. Comput. Sci. Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek
2009	B	`conf`	Partial Order Reduction for State/Event LTL. IFM Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová
2009	—	`conf`	Quantitative Model Checking of Systems with Degradation. QEST Jiri Barnat, Ivana Cerná, Jana Tumova
2008	—	`conf`	A Case Study in Parallel Verification of Component-Based Systems. PDMC@ETAPS Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová
2008	—	`conf`	Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. FACS Pavlína Vareková, I. Vareková, Ivana Cerná
2008	J	`jnl`	Formal verification of systems with an unlimited number of components. IET Softw. Pavlína Vareková, Barbora Zimmerová, Pavel Moravec, Ivana Cerná
2008	C	`conf`	Local Quantitative LTL Model Checking. FMICS Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
2008	—	`conf`	Model Checking of Control-User Component-Based Parametrised Systems. CBSE Pavlína Vareková, Ivana Cerná
2008	—	`conf`	Preface. PDMC@ETAPS Ivana Cerná, Gerald Lüttgen
2008	—	`conf`	ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
2008	—	`ed.`	Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007 PDMC@CAV Ivana Cerná, Boudewijn R. Haverkort
2008	—	`ed.`	Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March 29, 2008 PDMC@ETAPS Ivana Cerná, Gerald Lüttgen
2007	—	`ed.`	Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006 CoOrg/MTCoord@CCOORDINATION Guido Boella, Mehdi Dastani, Andrea Omicini, Leon van der Torre, Ivana Cerná, Isabelle Linden
2007	—	`conf`	Component-Interaction Automata Approach (CoIn). CoCoME Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor
2007	—	`conf`	Effective verification of systems with a dynamic number of components. SAVCBS Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerová
2007	—	`conf`	Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. FBTC@CONCUR Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek
2007	—	`conf`	Preface. PDMC@CAV Ivana Cerná, Boudewijn R. Haverkort
2007	—	`conf`	ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
2006	—	`conf`	Component Substitutability via Equivalencies of Component-Interaction Automata. FACS Ivana Cerná, Pavlína Vareková, Barbora Zimmerová
2006	J	`jnl`	Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Softw. Eng. Notes Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová
2006	A*	`conf`	DiVinE - A Tool for Distributed Verification. CAV Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek
2006	J	`jnl`	Distributed breadth-first search LTL model checking. Formal Methods Syst. Des. Jiri Barnat, Ivana Cerná
2006	J	`jnl`	Model Checking of RegCTL. Comput. Artif. Intell. Tomás Brázdil, Ivana Cerná
2006	—	`conf`	On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
2005	—	`conf`	Cluster-Based LTL Model Checking of Large Systems. FMCO Jiri Barnat, Lubos Brim, Ivana Cerná
2005	—	`conf`	Component-interaction automata as a verification-oriented component-based system specification. SAVCBS@ESEC/FSE Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová
2005	C	`conf`	Enhancing random walk state space exploration. FMICS Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim
2005	—	`conf`	How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. PDMC@ICALP Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
2004	B	`conf`	Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
2004	—	`conf`	Distributed Partial Order Reduction of State Spaces. PDMC Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
2003	—	`conf`	Distributed Explicit Fair Cycle Detection (Set Based Approach). SPIN Ivana Cerná, Radek Pelánek
2003	—	`conf`	Distributed Negative Cycle Detection Algorithms. PARCO Lubos Brim, Ivana Cerná, Lukás Hejtmánek
2003	B	`conf`	Relating Hierarchy of Temporal Properties to Model Checking. MFCS Ivana Cerná, Radek Pelánek
2002	—	`conf`	Local Distributed Model Checking of RegCTL. PDMC@CONCUR Tomás Brázdil, Ivana Cerná
2002	—	`conf`	Modifications of Expansion Trees for Weak Bisimulation in BPA. INFINITY Jitka Stríbrná, Ivana Cerná
2001	—	`conf`	Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
2001	B	`conf`	How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
2001	—	`conf`	Randomization Helps in LTL Model Checking. PAPM-PROBMIV Lubos Brim, Ivana Cerná, Martin Necesal
1999	J	`jnl`	Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta Informatica Ivana Cerná, Mojmír Kretínský, Antonín Kucera
1999	B	`conf`	Pattern Equations and Equations with Stuttering. SOFSEM Ivana Cerná, Ondrej Klíma, Jirí Srba
1996	—	`conf`	Bisimilarity is decidable in the union of normed BPA and normed BPP processes. INFINITY Ivana Cerná, Mojmír Kretínský, Antonín Kucera
1990	B	`conf`	Some Properties of Zerotesting Bounded One-Way Multicounter Machines. MFCS Ivana Cerná