Search results for "Ivana Cerná"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos (eds.)	Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers	MEMICS	2012	DBLP DOI BibTeX RDF
1	Nikola Benes, Ivana Cerná, Filip Stefanak	Factorization for Component-Interaction Automata.	SOFSEM	2012	DBLP DOI BibTeX RDF
1	Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková	Partial order reduction for state/event LTL with application to component-interaction automata.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Ivana Cerná, Boudewijn R. Haverkort	Parallel and Distributed Methods in Verification.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
1	Nikola Benes, Ivana Cerná, Milan Krivánek	CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems	PDMC	2011	DBLP DOI BibTeX RDF
1	Nikola Benes, Ivana Cerná, Jan Kretínský	Modal Transition Systems: Composition and LTL Model Checking.	ATVA	2011	DBLP DOI BibTeX RDF
1	Jiri Barnat, Ivana Cerná, Jana Tumova	Timed Automata Approach to Verification of Systems with Degradation.	MEMICS	2011	DBLP DOI BibTeX RDF
1	Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovic, Keith G. Jeffery, Rastislav Královic, Marko Vukolic, Stefan Wolf (eds.)	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	2011	DBLP DOI BibTeX RDF
1	Pavlína Vareková, I. Vareková, Ivana Cerná	Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat	A symbolic approach to controlling piecewise affine systems.	CDC	2010	DBLP DOI BibTeX RDF
1	Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat	Formal analysis of piecewise affine systems through formula-guided refinement.	CDC	2010	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek	On algorithmic analysis of transcriptional regulation by LTL model checking.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma	BioDiVinE: A Framework for Parallel Analysis of Biological Models	COMPMOD	2009	DBLP DOI BibTeX RDF
1	Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova	Partial Order Reduction for State/Event LTL.	IFM	2009	DBLP DOI BibTeX RDF
1	Jiri Barnat, Ivana Cerná, Jana Tumova	Quantitative Model Checking of Systems with Degradation.	QEST	2009	DBLP DOI BibTeX RDF
1	Ivana Cerná, Boudewijn R. Haverkort	Preface.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Ivana Cerná, Gerald Lüttgen	Preface.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek	Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova	A Case Study in Parallel Verification of Component-Based Systems.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Pavlína Vareková, Barbora Zimmerova, Pavel Moravec 0002, Ivana Cerná	Formal verification of systems with an unlimited number of components.	IET Software	2008	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova	Local Quantitative LTL Model Checking.	FMICS	2008	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova	ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.	QEST	2008	DBLP DOI BibTeX RDF
1	Pavlína Vareková, Ivana Cerná	Model Checking of Control-User Component-Based Parametrised Systems.	CBSE	2008	DBLP DOI BibTeX RDF
1	Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert W. N. van der Torre, Ivana Cerna, Isabelle Linden	Preface.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Ivana Cerná, Pavlína Vareková, Barbora Zimmerova	Component Substitutability via Equivalencies of Component-Interaction Automata.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor	Component-Interaction Automata Approach (CoIn).	CoCoME	2007	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova	ProbDiVinE: A Parallel Qualitative LTL Model Checker.	QEST	2007	DBLP DOI BibTeX RDF
1	Pavlína Vareková, Pavel Moravec 0002, Ivana Cerná, Barbora Zimmerova	Effective verification of systems with a dynamic number of components.	SAVCBS	2007	DBLP DOI BibTeX RDF	dynamic number of components, formal verification, software verification, component-based systems, finite-state systems
1	Tomás Brázdil, Ivana Cerná	Model Checking of RegCTL.	Computers and Artificial Intelligence	2006	DBLP BibTeX RDF
1	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova	Component-interaction automata as a verification-oriented component-based system specification.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	Component-based specification languages, component-interaction automata, team automata, verification, ADLs, I/O automata, interface automata, component interaction
1	Jiri Barnat, Ivana Cerná	Distributed breadth-first search LTL model checking.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	LTL model checking, Distributed memory, Breadth-first search
1	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	On Combining Partial Order Reduction with Fairness Assumptions.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Petr Rockai, Pavel Simecek	DiVinE - A Tool for Distributed Verification.	CAV	2006	DBLP DOI BibTeX RDF
1	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	Distributed Partial Order Reduction of State Spaces.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Ivana Cerná	Cluster-Based LTL Model Checking of Large Systems.	FMCO	2005	DBLP DOI BibTeX RDF
1	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking.	FMCAD	2004	DBLP DOI BibTeX RDF
1	Ivana Cerná, Radek Pelánek	Relating Hierarchy of Temporal Properties to Model Checking.	MFCS	2003	DBLP DOI BibTeX RDF
1	Ivana Cerná, Radek Pelánek	Distributed Explicit Fair Cycle Detection (Set Based Approach).	SPIN	2003	DBLP DOI BibTeX RDF
1	Lubos Brim, Ivana Cerná, Lukás Hejtmánek	Distributed Negative Cycle Detection Algorithms.	PARCO	2003	DBLP BibTeX RDF
1	Tomás Brázdil, Ivana Cerná	Local Distributed Model Checking of RegCTL.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Jitka Stríbrná, Ivana Cerná	Modifications of Expansion Trees for Weak Bisimulation in BPA.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Lubos Brim, Ivana Cerná, Martin Necesal	Randomization Helps in LTL Model Checking.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
1	Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek	How to Employ Reverse Search in Distributed Single Source Shortest Paths.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek	Distributed LTL Model Checking Based on Negative Cycle Detection.	FSTTCS	2001	DBLP DOI BibTeX RDF
1	Ivana Cerná, Mojmír Kretínský, Antonín Kucera	Comparing Expressibility of Normed BPA and Normed BPP Processes.	Acta Inf.	1999	DBLP DOI BibTeX RDF
1	Ivana Cerná, Ondrej Klíma, Jirí Srba	Pattern Equations and Equations with Stuttering.	SOFSEM	1999	DBLP DOI BibTeX RDF
1	Ivana Cerná, Mojmír Kretínský, Antonín Kucera	Bisimilarity is decidable in the union of normed BPA and normed BPP processes.	Electr. Notes Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
1	Ivana Cerná	Some Properties of Zerotesting Bounded One-Way Multicounter Machines.	MFCS	1990	DBLP DOI BibTeX RDF

Publications of "Ivana Cerná" ( http://dblp.L3S.de/Authors/Ivana_Cerná )