Doc. Ing. Zdeňka Rábová, CSc.
|
| Hlavní řešitel: | Vavřín Petr |
|---|
| Spoluřešitelé: | Češka Milan, Hanáček Petr, Hruška Tomáš, Janoušek Vladimír, Jirsík Václav, Jura Pavel, Marušinec Jaromír, Pavlíčková Jiřina, Peringer Petr, Pivoňka Petr, Přikryl Petr, Rábová Zdeňka, Šolc František, Zbořil František |
|---|
| Agentura: | GAČR |
| Kód: | GA102/98/0552 |
| Začátek: | 1998 |
| Konec: | 2000 |
| Klíčová slova: | modelování - spojité a diskrétní systémy - netradiční modely |
|---|
| Anotace: |
|---|
| Cílem tohoto mezioborového projektu je výzkum nových metod a programových prostředků usnadňujících návrh a implementaci heterogenních modelů. Heterogenní modely vyžadují kombinaci různých metod a přístupů k analýze problému, syntéze vytvořených modelů a jejich verifikaci. |
Publikace
| 2001 | Češka Milan, Janoušek Vladimír, Vojnar Tomáš: Analysis and Verification Queries over Object-Oriented Petri Nets, In: Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts, Las Palmas de Gran Canaria, Canary Islands, Spain, ES, ULPGC, 2001, s. 115-118, ISBN 84-699-3971-8 |
| 2000 | Češka Milan, Janoušek Vladimír, Vojnar Tomáš: Towards Verifying Distributed Systems Using Object-Oriented Petri Nets, In: Lecture Notes in Computer Science, roč. 2000, č. 1798, DE, s. 90-104, ISSN 0302-9743 |
| | Češka Milan, Urbášek Milan: Reasoning about Categories of Petri Nets, In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, Scotland, GB, US, 2000, s. 67-70, ISBN 1-85-769121-0 |
| | Grebeníček František: Constructing Hierarchical Neural Nets Using Sparse Distributed Memory, In: ASIS 2000 Proceedings of the Colloquium, Sv. Hostýn, Bystřice pod Hostýnem, CZ, MARQ, 2000, s. 359-364, ISBN 80-85988-51-8 |
| | Grebeníček František: Sparse Distributed Memory -- Pattern Data Analysis, In: MOSIS 2000 Proceedings, Rožnov pod Radhoštěm, CZ, MARQ, 2000, s. 165-170, ISBN 80-85988-44-5 |
| | Hanáček Petr, Peringer Petr, Rábová Zdeňka: Knowledge-Based Approach to Risk Analysis Modelling, In: Proceedings of JCKBSE 2000, Brno, CZ, neznámá, 2000, s. 25-30, ISBN 1-58603-060-4 |
| | Hanáček Petr, Staudek Jan: Bezpečnost informačních systémů, Praha, CZ, neznámá, 2000, s. 127, ISBN 80-238-5400-3 |
| | Hanáček Petr: Certifikace veřejných klíčů a certifikační autority, In: Sborník konference Security'2000, Praha, CZ, neznámá, 2000, s. 86-88 |
| | Hanáček Petr: Certifikace veřejných klíčů a podpora legislativy, In: Sborník semináře elektronický podpis, Praha, CZ, neznámá, 2000, s. 43-47 |
| | Hanáček Petr: Digitální podpis zdravotnické dokumentace, In: Lékař a technika, roč. 31, č. 5, 2000, CZ, s. 130-132, ISSN 0301-5491 |
| | Hanáček Petr: Elektronický podpis jako nástroj bezpečného obchodování, In: Sborník konference Internet jako nástroj obchodního úspěchu, Brno, CZ, neznámá, 2000, s. 10 |
| | Hanáček Petr: Hodnocení bezpečnosti podle normy ISO/IEC 15408, In: Sborník konference AFOI 2000, Praha, CZ, neznámá, 2000, s. 10 |
| | Hanáček Petr: Problems of Tamper Resistant Software, In: ISM 2000, Roznov pod Radhostem, CZ, MARQ, 2000, s. 117-122 |
| | Hrubý Martin, Rábová Zdeňka: Language for Modelling of Parallel Systems, In: Proceedings of ASIS2000, Ostrava, CZ, MARQ, 2000, s. 229-234, ISBN 80-85988-51-8 |
| | Hruška Tomáš, Hashimoto Masa-aki (editors): Knowledge-Based Software Engineering, In: Frontiers in Artificial Intelligence and Applications, č. 62, 2000, CZ, s. 330, ISBN 1-58603-060-4, ISSN 0922-6389 |
| | Hruška Tomáš, Máčel Michal: Concept Definition Language for Object-Oriented Databases, In: ISM 2000 Workshop Proceedings, Rožnov pod Radhoštěm, CZ, MARQ, 2000, s. 37-45, ISBN 80-85988-45-3 |
| | Hruška Tomáš, Máčel Michal: Object-Oriented Database Systems, In: Sborník konference DATASEM 2000, Brno, CZ, neznámá, 2000, s. 9-46, ISBN 80-210-2428-3 |
| | Marušinec Jaromír: Data Structures For Virtual Reality, In: Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000, Rožnov pod Radhoštěm, CZ, MARQ, 2000, s. 39-44, ISBN 80-85988-44-5 |
| | Očenášek Jiří, Schwarz Josef: The Parallel Bayesian Optimization Algorithm, In: Proceedings of the European Symposium on Computational Inteligence, Košice, SK, Springer, 2000, s. 61-67, ISBN 3-7908-1322-2, ISSN 1615-3871 |
| | Peňás Petr: Workflow Specification Languages, In: Proceedings of Information System Modeling Conference 2000, Rožnov pod Radhoštěm, CZ, MARQ, 2000, s. 177-183, ISBN 80-85988-45-3 |
| | Peringer Petr: Tools for Simulation Model Optimization, In: Proceedings of 22nd International Autumn Workshop ASIS 2000, Sv. Hostýn, CZ, MARQ, 2000, s. 195-198, ISBN 80-85988-51-8 |
| | Rábová Zdeňka, Janoušek Vladimír, Peringer Petr, Vojnar Tomáš: An Environment for Building Heterogeneous Models, In: Proceedings of MOSIS 2000, Rožnov, CZ, MARQ, 2000, s. 89-94, ISBN 80-85988-44-5 |
| | Sekanina Lukáš, Sllame Azeddien M.: Toward Uniform Approach to Design of Evolvable Hardware Based Systems, In: Lecture Notes in Computer Science, roč. 2000, č. 1896, DE, s. 814-817, ISSN 0302-9743 |
| | Schwarz Josef, Očenášek Jiří: A problem knowledge-based evolutionary algorithm KBOA for hypergraph bisectioning, In: Proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering Brno, Czech Republic, 2000, BRNO, CZ, IOS, 2000, s. 51-58, ISBN 1-58603-060-4 |
| | Schwarz Josef, Očenášek Jiří: Partitioning-oriented placement using advanced genetic algorithm BOA, In: Procceedings of the Mendel '2000 Conference, BRNO, CZ, FSI VUT, 2000, s. 88-91, ISBN 80-214-1609-2 |
| | Schwarz Josef: Fuzzy genetic algorithm - a brief survey, In: Proceedings of the Colloquium Advanced Simulation of Systems, Bystřice pod Hostýnem, CZ, MARQ, 2000, s. 353-358, ISBN 80-85988-51-8 |
| | Schwarz Josef: The probability models for combinatorial optimization problems, In: Proceedings of The 4th Japan-Central Europe Joint Workshop on Energy and Information in Non-Linear Systems. Brno, Czech Republic, November 10-12, 2000, Brno, CZ, neznámá, 2000, s. 72-75 |
| | Smolík Petr, Tesáček Jan: Data Source Independent XML Data Access, In: Proceedings of Information System Modeling Conference 2000, Rožnov pod Radhoštěm, CZ, MARQ, 2000, s. 17-22, ISBN 80-85988-45-3 |
| | Urbášek Milan: Categories in Modelling, In: Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000, Rožnov pod Radhoštěm, CZ, MARQ, 2000, s. 21-28, ISBN 80-85988-44-5 |
| | Zbořil František, Zbořil František ml.: The use of the RCE Neural Network in a Pattern Recognition, In: 34th Spring International Conference Modelling and Simulation of Systems MOSIS 2000, Ostrava, CZ, MARQ, 2000, s. 65-70, ISBN 80-85988-44-5 |
| | Zbořil František: Neural Network for Text Associations, In: Proceedings of XXIInd International Colloquium ASIS 2000, Ostrava, CZ, MARQ, 2000, s. 145-150, ISBN 80-85988-51-8 |
| 1999 | Češka Milan, Janoušek Vladimír, Vojnar Tomáš: Towards Verifying Complex Distributed Systems Using Object-Oriented
Petri Nets, In: Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99, Vienna, AT, neznámá, 1999, s. 229-232 |
| | Češka Milan, Urbášek Milan: Categorical approach to Petri nets transformations, In: Proceedings of the 33rd Spring International Conference MOSIS'99, Rožnov pod Radhoštěm, CZ, CZ, MARQ, 1999, s. 133-140, ISBN 80-85988-32-1 |
| | Češka Milan, Urbášek Milan: Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts, In: Proceedings of XXIst International Colloquium ASIS 1999, Krnov, Czech Republic, CZ, MARQ, 1999, s. 371-377, ISBN 80-85988-41-0 |
| | Češka Milan: Cybernetics and Concepts of Formal Language Theory, In: Wiener's Cybernetics-50 years of evolution, Las Palmas de Gran Canaria, CZ, neznámá, 1999, s. 57-59, ISBN 84-8416-950-2 |
| | Češka Milan: Petriho sítě ve výuce oboru Informatika a výpočetní technika FEI VUT v Brně, In: Proceedings of XXIst International Colloquium ASIS 1999, Krnov, CZ, MARQ, 1999, s. 143-146, ISBN 80-85988-41-0 |
| | Grebeníček František: Self-Organized Sparse Distributed Memory -- an Application, In: ASIS '99, Krnov, CZ, MARQ, 1999, s. 39-44, ISBN 80-85988-41-0 |
| | Grebeníček František: Self-Organizing Sparse Distributed Memory as a Predictive Memory, In: Nostradamus '99, Zlín, CZ, neznámá, 1999, s. 17-22, ISBN 80-214-1424-3 |
| | Hanáček Petr, Hanzal Martin, Rábová Zdeňka: Interaktivní budování modelu aktiv, In: Sborník LŠ Informační systémy a jejich aplikace, Ruprechtov, CZ, neznámá, 1999, s. 60-69, ISBN 80-214-1379-2 |
| | Hanáček Petr, Rábová Zdeňka: Interactive Tools for Creation of Assets Model, In: ASIS 1999, Krnov, CZ, MARQ, 1999, s. 213-219, ISBN -80-85988-41-0 |
| | Hanáček Petr, Staudek Jan: Bezpečnost elektronického obchodu, In: Systems Integration '99, Praha, CZ, neznámá, 1999, s. 55-74, ISBN 80-7079-059-8 |
| | Hanáček Petr: Bezpečnost informačních systémů, In: ASIS 1999, Krnov, CZ, MARQ, 1999, s. 11-19, ISBN 80-85988-41-0 |
| | Hanáček Petr: Implementing Secure Payment Systems to Avoid Potential Problems, In: Banking Technology in Central europe, Praha, CZ, neznámá, 1999, s. 6 |
| | Hanáček Petr: Security Verification of Smartcard Scripts, In: ISM'99, Roznov pod Radhostem, CZ, MARQ, 1999, s. 11-18, ISBN 80-85988-31-3 |
| | Hruška Tomáš, Máčel Michal: G2-Component Architecture of an Object-Oriented Database System, In: Proceedings of ISM 99 Workshop, Rožnov pod Radhoštěm, CZ, MARQ, 1999, s. 125-133, ISBN 80-85988-31-3 |
| | Janoušek Vladimír: Synchronous Interactions of Objects in Object Oriented Petri Nets, In: Proc. of MOSIS'99, Ostrava, Czech Republic, CZ, MARQ, 1999, s. 73-80, ISBN 80-85988-32-1 |
| | Marušinec Jaromír, Rábová Zdeňka: Transport Simulation in Virtual Reality, In: Proceedings of the MOSMIC'99 international workshop, Súlov, CZ, MARQ, 1999, s. 77-82, ISBN 80-7100-635-1 |
| | Marušinec Jaromír: Artificial life in virtual reality, Sborník prací studentu a doktorandu, Brno, CZ, FEI VUT, 1999, s. 83-84, ISBN 80-214-1155-4 |
| | Marušinec Jaromír: Artificial life models in virtual reality, In: Proceedings of the ASIS '99 international workshop, Krnov, CZ, MARQ, 1999, s. 57-62, ISBN ISBN 80-85988-41 |
| | Marušinec Jaromír: Natural virtual reality, In: Proceedings of the MOSIS'99, Rožnov pod Radhoštěm, CZ, MARQ, 1999, s. 45-50, ISBN 80-85988-32-1 |
| | Ondráček Tomáš, Zbořil František: An Identification of Transfer Function Coefficients of Systems with Time Delay Using a Neural Network, In: Proceedings of the ASIS'99, Krnov, CZ, MARQ, 1999, s. 203-208, ISBN 80-85988-41-0 |
| | Ondráček Tomáš, Zbořil František: Identification of Time Coefficients of Systems using Neural Network, In: Proceedings of the MOSIS'99, Rožnov pod Radhoštěm, CZ, MARQ, 1999, s. 93-98, ISBN 80-85988-33-X |
| | Peringer Petr: Design and Implementation of Fuzzy Extension to SIMLIB/C++, In: Proceedings of ASIS'99, Krnov, CZ, MARQ, 1999, s. 209-212, ISBN 80-85988-41-0 |
| | Rábová Zdeňka, Slezák Miroslav: Notes on Modelling Human Activity in Heterogeneous Systems, In: Proceedings of MOSIS'99, Roznov, CZ, MARQ, 1999, s. 173-178, ISBN 80-85988-32-1 |
| | Schwarz Josef, Peringer Petr: Simulation Model of the Traffic Light Crossing with Fuzzy Control, In: Proceedings of MOSIS'99, Rožnov, CZ, MARQ, 1999, s. 99-106, ISBN 80-85988-33-X |
| | Urbášek Milan: Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets, Huddersfield, Great Britain, GB, neznámá, 1999, s. 77 |
| | Urbášek Milan: Categories of Petri nets: a bisimulation approach, Sborník prací studentů a doktorandů FEI VUT, Brno, CZ, neznámá, 1999, s. 109-110, ISBN 80-214-1155-4 |
| | Vojnar Tomáš: Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models, In: Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99, Krnov, CZ, MARQ, 1999, s. 219-224, ISBN 80-85988-41-0 |
| | Vojnar Tomáš: The First Steps Towards Using State Spaces of Object-Oriented Petri
Nets, In: Proceedings of International Workshop on Control and Information Technology - IWCIT'99, Ostrava, CZ, neznámá, 1999, s. 165-170, ISBN 80-7078-679-5 |
| | Vojnar Tomáš: Towards Using State Spaces of Object-Oriented Petri Nets, In: Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99, Rožnov pod Radhoštěm, CZ, MARQ, 1999, s. 141-148, ISBN 80-85988-32-1 |
| | Zbořil František: Identifikace systému neuronovou sítí, In: MOSMIC'99, Súľov, SK, neznámá, 1999, s. 165-170, ISBN 80-7100-635-1 |
| 1998 | Bumbálek Jaromír, Rábová Zdeňka: A System for Approximating Stochastic Data, In: Proceedings of Conference MOSIS '98, Bystřice pod Hostýnem, CZ, MARQ, 1998, s. 269-272, ISBN 80-85988-23-2 |
| | Češka Milan, Janoušek Vladimír, Vojnar Tomáš: Object-Oriented Petri Nets, Their Simulation, and Analysis, In: Proceedings of the IEEE SMC'98 Conference, San Diego, California, US, neznámá, 1998, s. 256-261, ISBN 0-7803-4781-1, ISSN 1062-922X |
| | Češka Milan, Urbášek Milan: Extension of the PESIM Simulation Tool, In: Proceedings of XX-th Workshop ASIS '98, Krnov, CZ, MARQ, 1998, s. 81-86, ISBN 80-85988-27-5 |
| | Hanáček Petr, Kotyza Břetislav, Rábová Zdeňka: Znalostní model analýzy rizik, In: Sborník letní školy Informační systémy a jejich aplikace 1998, Ruprechtov, CZ, neznámá, 1998, s. 213-219, ISBN 80-214-1205-4 |
| | Hanáček Petr, Rábová Zdeňka: Knowledge-Based Simulation in Risk Analysis, In: Proceedings of ASIS 1998, Krnov, CZ, MARQ, 1998, s. 79-84, ISBN 80-85988-26-7 |
| | Hanáček Petr: Security of Smartcard Based Payment Protocol, In: Proceedings of International Conference MOSIS'98, Bystrice pod Hostynem, CZ, MARQ, 1998, s. 123-129, ISBN 80-85988-24-0 |
| | Janoušek Vladimír, Vojnar Tomáš: Modelling a Flexible Manufacturing System, In: Proceedings of 32nd Spring International Conference on Modelling and Simulation of Systems MOSIS'98, Sv. Hostýn, CZ, MARQ, 1998, s. 195-200, ISBN 80-85988-23-2 |
| | Janoušek Vladimír, Vojnar Tomáš: State Spaces of Object-Oriented Petri Nets, In: Proceedings of MFCS'98 Workshop on Concurrency, Brno, CZ, neznámá, 1998, s. 87-96 |
| | Janoušek Vladimír: Modelování objektů Petriho sítěmi, Brno, CZ, UIVT FEI VUT, 1998, s. 132 |
| | Marušinec Jaromír: Řešení viditelnosti metodou konvexních podprostorů, Sborník prací studentů a doktorandů, Brno, CZ, FEI VUT, 1998, s. 51-52, ISBN 80-214-1141-4 |
| | Marušinec Jaromír: Visualisation for simulation in virtual reality, In: Proceedings of International Conference MOSIS'98, Bystřice pod Hostýnem, CZ, MARQ, 1998, s. 77-81, ISBN 80-85988-24-0 |
| | Peringer Petr, Rábová Zdeňka: Heterogeneous Models, In: Proceedings of ECI'98, Herlany, SK, SAV, 1998, s. 187-190, ISBN 80-88786-94-0 |
| | Peringer Petr: Models of Delay in SIMLIB/C++, In: Proceedings of ASIS'98, Krnov, Czech Republic, CZ, MARQ, 1998, s. 51-54, ISBN 80-85988-27-5 |
| | Ryšánek Martin: Congestion in High-Loaded Networks of Parallel Machines, In: MOSIS'98, Bystřice pod Hostýnem, CZ, MARQ, 1998, s. 281-288, ISBN 80-85988-23-2 |
| | Ryšánek Martin: Parallel Discrete Event Simulation Mechanisms, In: ASIS'98, Krnov, CZ, MARQ, 1998, s. 123-128, ISBN 80-85988-27-5 |
| | Vojnar Tomáš: An Overview of Some Automated Tools for Formal Analysis and
Verification, In: Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98, Krnov, CZ, MARQ, 1998, s. 223-228, ISBN 80-85988-26-7 |
| | Zbořil František: Analysis of Neural Networks Applications in Heterogeneous Models, In: Proceedings of the ASIS'98, Krnov, CZ, MARQ, 1998, s. 21-26, ISBN 80-85988-26-7 |
| | Zbořil František: Sparse Distributed Memory and Restricted Coulomb Energy Classifier, In: Proceedings of the MOSIS'98, Sv. Hostýn - Bystřice pod Hostýnem, CZ, MARQ, 1998, s. 171-176, ISBN 80-85988-23-2 |
|
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)