Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ivana Cerná

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Pavlína Vareková

> Home > Persons > Ivana Cerná

Publications

2011
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BenesBBCSV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BenesBBCSV11
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. 76(10): 877-890 (2011)
2009
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BenesBCSVZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BenesBCSVZ09
Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová:
Partial Order Reduction for State/Event LTL. IFM 2009: 307-321
2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/VarekovaZ0C08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/VarekovaZ0C08
Pavlína Vareková, Barbora Zimmerová, Pavel Moravec, Ivana Cerná:
Formal verification of systems with an unlimited number of components. IET Softw. 2(6): 532-546 (2008)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/VarekovaC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/VarekovaC08
Pavlína Vareková, Ivana Cerná:
Model Checking of Control-User Component-Based Parametrised Systems. CBSE 2008: 146-162
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BenesCSVZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BenesCSVZ08
Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová:
A Case Study in Parallel Verification of Component-Based Systems. PDMC@ETAPS 2008: 67-83
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/VarekovaVC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/VarekovaVC10
Pavlína Vareková, I. Vareková, Ivana Cerná:
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. FACS 2008: 243-259
2007
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/ZimmerovaVBCBS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/ZimmerovaVBCBS07
Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor:
Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/VarekovaMCZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/VarekovaMCZ07
Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerová:
Effective verification of systems with a dynamic number of components. SAVCBS 2007: 3-13
2006
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/BrimCVZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/BrimCVZ06
Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová:
Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006)
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CernaVZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CernaVZ07
Ivana Cerná, Pavlína Vareková, Barbora Zimmerová:
Component Substitutability via Equivalencies of Component-Interaction Automata. FACS 2006: 39-55
2005
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BrimCVZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BrimCVZ05
Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová:
Component-interaction automata as a verification-oriented component-based system specification. SAVCBS@ESEC/FSE 2005: 4

a service of

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.