|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 16 keywords
|
|
|
Results
Found 201 publication records. Showing 193 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
87 | Bao-Zhi Qiu, Feng Yue, Jun-Yi Shen |
BRIM: An Efficient Boundary Points Detecting Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings, pp. 761-768, 2007, Springer, 978-3-540-71700-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Data mining, neighborhood, density, boundary points |
63 | Valentin E. Brimkov, Davide Moroni, Reneta P. Barneva |
Combinatorial Relations for Digital Pictures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006, Proceedings, pp. 189-198, 2006, Springer, 3-540-47651-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
digital picture, brim, Digital geometry, gap |
34 | Patrick Sattler, Johannes Zirngibl, Mattijs Jonker, Oliver Gasser, Georg Carle, Ralph Holz |
Packed to the Brim: Investigating the Impact of Highly Responsive Prefixes on Internet-wide Measurement Campaigns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACMNET ![In: PACMNET 1(CoNEXT3), pp. 24:1-24:21, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Masoud Mohammadi, Maria Rashidi, Yang Yu 0002, Bijan Samali |
Integration of TLS-derived Bridge Information Modeling (BrIM) with a Decision Support System (DSS) for digital twinning and asset management of bridge infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 147, pp. 103881, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Patrick Sattler, Johannes Zirngibl, Mattijs Jonker, Oliver Gasser, Georg Carle, Ralph Holz |
Packed to the Brim: Investigating the Impact of Highly Responsive Prefixes on Internet-wide Measurement Campaigns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.17012, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Masoud Mohammadi, Maria Rashidi, Vahid Mousavi, Yang Yu 0002, Bijan Samali |
Application of TLS Method in Digitization of Bridge Infrastructures: A Path to BrIM Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(5), pp. 1148, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Yiqiao Zhang, Richard Afoakwa, Uday Kumar Reddy Vengalam, Michael C. Huang 0001, Zeljko Ignjatovic |
A CMOS Compatible Bistable Resistively-coupled Ising Machine-BRIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2022, Austin, TX, USA, May 27 - June 1, 2022, pp. 1665-1669, 2022, IEEE, 978-1-6654-8485-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Farzana Parveen Tajudeen, Ainin Sulaiman, Siti Qhairunissa Ramli, Nor Shahida Azali, Liyana Shuib |
E-BRIM usage by B40 citizens: the role of citizens' trust and computer self-efficacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Gov. an Int. J. ![In: Electron. Gov. an Int. J. 17(2), pp. 144-159, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Richard Afoakwa, Yiqiao Zhang, Uday Kumar Reddy Vengalam, Zeljko Ignjatovic, Michael C. Huang 0001 |
BRIM: Bistable Resistively-Coupled Ising Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: IEEE International Symposium on High-Performance Computer Architecture, HPCA 2021, Seoul, South Korea, February 27 - March 3, 2021, pp. 749-760, 2021, IEEE, 978-1-6654-2235-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Yong Li, Bin Yong, Huayi Wu, Ru An, Hanwei Xu |
An Improved Top-Hat Filter with Sloped Brim for Extracting Ground Points from Airborne Lidar Point Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 6(12), pp. 12885-12908, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková |
Temporary and permanent control of partially specified Boolean networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biosyst. ![In: Biosyst. 223, pp. 104795, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Matej Troják, David Safránek, Samuel Pastva, Lubos Brim |
Rule-based modelling of biological systems using regulated rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biosyst. ![In: Biosyst. 225, pp. 104843, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek |
Boolean network sketches: a unifying framework for logical model inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 39(4), April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Michael J. Brim, Adam T. Moody, Seung-Hwan Lim, Ross G. Miller, Swen Boehm, Cameron Stanavige, Kathryn M. Mohror, Sarp Oral |
UnifyFS: A User-level Shared File System for Unified Access to Distributed Local Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: IEEE International Parallel and Distributed Processing Symposium, IPDPS 2023, St. Petersburg, FL, USA, May 15-19, 2023, pp. 290-300, 2023, IEEE, 979-8-3503-3766-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková |
Phenotype Control of Partially Specified Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings, pp. 18-35, 2023, Springer, 978-3-031-42696-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Scott Atchley, Christopher Zimmer 0001, John Lange, David E. Bernholdt, Verónica G. Melesse Vergara, Thomas Beck, Michael J. Brim, Reuben D. Budiardja, Sunita Chandrasekaran, Markus Eisenbach 0002, Thomas M. Evans 0001, Matthew Ezell, Nicholas Frontiere, Antigoni Georgiadou, Joe Glenski, Philipp Grete, Steven P. Hamilton, John K. Holmen, Axel Huebl, Daniel A. Jacobson, Wayne Joubert, Kim H. McMahon, Elia Merzari, Stan G. Moore, Andrew Myers 0001, Stephen Nichols, Sarp Oral, Thomas Papatheodore, Danny Perez, David M. Rogers, Evan Schneider, Jean-Luc Vay, P. K. Yeung |
Frontier: Exploring Exascale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2023, Denver, CO, USA, November 12-17, 2023, pp. 52:1-52:16, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek |
Exploring attractor bifurcations in Boolean networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 23(1), pp. 173, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Brent D. Winslow, Rebecca Kwasinski, Jeffrey Hullfish, Mitchell Ruble, Adam Lynch, Timothy Rogers, Debra Nofziger, William Brim, Craig Woodworth |
Automated stress detection using mobile application and wearable sensors improves symptoms of mental health disorders in military personnel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Digit. Health ![In: Frontiers Digit. Health 4, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek, Eva Smijáková |
AEON.py: Python library for attractor analysis in asynchronous Boolean networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 38(21), pp. 4978-4980, October 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková |
Robust Control of Partially Specified Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.13440, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
27 | Matej Troják, David Safránek, Lubos Brim |
Biochemical Space Language in Relation to Multiset Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.08817, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(1), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Christian Engelmann, Olga A. Kuchar, Swen Boehm, Michael J. Brim, Thomas J. Naughton, Suhas Somnath, Scott Atchley, Jack Lange, Ben Mintz, Elke Arenholz |
The INTERSECT Open Federated Architecture for the Laboratory of the Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Accelerating Science and Engineering Discoveries Through Integrated Research Infrastructure for Experiment, Big Data, Modeling and Simulation - 22nd Smoky Mountains Computational Sciences and Engineering Conference, SMC 2022, Virtual Event, August 23-25, 2022, Revised Selected Papers, pp. 173-190, 2022, Springer, 978-3-031-23605-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Matej Troják, David Safránek, Branislav Brozmann, Lubos Brim |
eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, Proceedings, pp. 302-309, 2022, Springer, 978-3-031-15033-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Matej Troják, Samuel Pastva, David Safránek, Lubos Brim |
Regulated Multiset Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.13036, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.13113, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Computing Bottom SCCs Symbolically Using Transition Guided Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I, pp. 505-528, 2021, Springer, 978-3-030-81684-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Symbolic Coloured SCC Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, pp. 64-83, 2021, Springer, 978-3-030-72012-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Aeon 2021: Bifurcation Decision Trees in Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 19th International Conference, CMSB 2021, Bordeaux, France, September 22-24, 2021, Proceedings, pp. 230-237, 2021, Springer, 978-3-030-85632-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Digital Bifurcation Analysis of Internet Congestion Control Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 30(13), pp. 2030038:1-2030038:18, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Matej Troják, David Safránek, Lubos Brim |
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.00731, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Lubos Brim, Samuel Pastva, David Safránek, Eva Smijakova |
Parallel One-Step Control of Parametrised Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.00359, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Parallel parameter synthesis algorithm for hybrid CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 185, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek |
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, pp. 569-581, 2020, Springer, 978-3-030-53287-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Søe Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan |
Stratified Abstraction of Access Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, pp. 165-176, 2020, Springer, 978-3-030-53287-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený |
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018, pp. 91-116, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Eva Smijáková, Samuel Pastva, David Safránek, Lubos Brim |
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings, pp. 280-297, 2020, Springer, 978-3-030-60326-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim |
eBCSgen: A Software Tool for Biochemical Space Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings, pp. 356-361, 2020, Springer, 978-3-030-60326-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim |
Parameter Synthesis and Robustness Analysis of Rule-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, pp. 41-59, 2020, Springer, 978-3-030-55753-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Andrew Brim |
Deep Reinforcement Learning Pairs Trading with a Double Deep Q-Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCWC ![In: 10th Annual Computing and Communication Workshop and Conference, CCWC 2020, Las Vegas, NV, USA, January 6-8, 2020, pp. 222-227, 2020, IEEE, 978-1-7281-3783-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Verónica G. Vergara Larrea, Michael J. Brim, Wayne Joubert, Swen Boehm, Matthew B. Baker, Oscar R. Hernandez, Sarp Oral, James Simmons, Don Maxwell |
Are we witnessing the spectre of an HPC meltdown? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 31(16), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Model Checking Approach to the Analysis of Biological Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning for Systems Biology and Medicine ![In: Automated Reasoning for Systems Biology and Medicine, pp. 3-35, 2019, Springer, 978-3-030-17296-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek |
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, pp. 353-369, 2019, Springer, 978-3-030-32408-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek |
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 99-108, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Verónica G. Vergara Larrea, Wayne Joubert, Michael J. Brim, Reuben D. Budiardja, Don Maxwell, Matthew Ezell, Christopher Zimmer 0001, Swen Boehm, Wael R. Elwasif, Sarp Oral, Chris Fuson, Daniel Pelfrey, Oscar R. Hernandez, Dustin Leverman, Jesse Hanley, Mark A. Berrill, Arnold N. Tharrington |
Scaling the Summit: Deploying the World's Fastest Supercomputer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC Workshops ![In: High Performance Computing - ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers, pp. 330-351, 2019, Springer, 978-3-030-34355-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek |
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 27-45, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Digital Bifurcation Analysis of TCP Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, pp. 339-356, 2019, Springer, 978-3-030-17464-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim |
Barbaric Robustness Monitoring Revisited for STL* in Parasim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 356-359, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Miles Brim, James L. Cale |
Remote and dynamic assessment of reliability in electromechanical actuator systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018, pp. 1-8, 2018, IEEE, 978-1-5386-3664-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Milan Ceska 0002, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim |
Precise parameter synthesis for stochastic biochemical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 54(6), pp. 589-623, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek |
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I, pp. 591-598, 2017, Springer, 978-3-319-63386-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Arnab Kumar Paul, Arpit Goyal, Feiyi Wang, Sarp Oral, Ali Raza Butt, Michael J. Brim, Sangeetha B. Srinivasa |
I/O load balancing for big data HPC applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: 2017 IEEE International Conference on Big Data (IEEE BigData 2017), Boston, MA, USA, December 11-14, 2017, pp. 233-242, 2017, IEEE Computer Society, 978-1-5386-2715-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek |
Detecting Attractors in Biological Models with Uncertain Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 40-56, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Terry R. Jones, Michael J. Brim, Geoffroy Vallée, Benjamin Mayer, Aaron Welch, Tonglin Li, Michael Lang 0003, Latchesar Ionkov, Douglas Otstott, Ada Gavrilovska, Greg Eisenhauer, Thaleia Dimitra Doudali, Pradeep Fernando |
UNITY: Unified Memory and File Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROSS@HPDC ![In: Proceedings of the 7th International Workshop on Runtime and Operating Systems for Supercomputers, ROSS@HPDC 2017, Washingon, DC, DC, USA, June 27 - 27, 2017, pp. 6:1-6:8, 2017, ACM, 978-1-4503-5086-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Petr Rockai, Jiri Barnat, Lubos Brim |
Model checking C++ programs with exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 128, pp. 68-85, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila |
Analysing sanity of requirements for avionics systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 28(1), pp. 45-63, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek |
A Model Checking Approach to Discrete Bifurcation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 85-101, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek |
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 192-208, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Milan Ceska 0002, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska |
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 367-384, 2016, Springer, 978-3-662-49673-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Matej Hajnal, David Safránek, Martin Demko, Samuel Pastva, Pavel Krejcí, Lubos Brim |
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSB ![In: Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings, pp. 57-66, 2016, 978-3-319-47150-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 82-97, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | T. Ded, David Safránek, Matej Troják, Matej Klement, Jakub Salagovic, Lubos Brim |
Formal Biochemical Space with Semantics in Kappa and BNGL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015, pp. 27-49, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Michael J. Brim, Joshua K. Lothian |
Monitoring Extreme-scale Lustre Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.06836, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
27 | Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila |
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.02669, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
27 | Neena Imam, Michael J. Brim, Sarp Oral |
Proceedings of the 2015 International Workshop on the Lustre Ecosystem: Challenges and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.05323, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
27 | Joel Reed, Jeremy S. Archuleta, Michael J. Brim, Joshua K. Lothian |
Evaluating Dynamic File Striping For Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.06833, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
27 | Alessandro Abate, Lubos Brim, Milan Ceska 0002, Marta Z. Kwiatkowska |
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pp. 195-213, 2015, Springer, 978-3-319-21689-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Martin Demko, Samuel Pastva, David Safránek |
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSB ![In: Hybrid Systems Biology - Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, pp. 58-74, 2015, Springer, 978-3-319-26915-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Milan Ceska 0002, Martin Demko, Samuel Pastva, David Safránek |
Parameter Synthesis by Parallel Coloured CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 251-263, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Juraj Niznan, David Safránek |
Compact Representation of Photosynthesis Dynamics by Rule-based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014, pp. 17-27, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Petr Rockai, Jiri Barnat, Lubos Brim |
Model Checking C++ with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Juraj Niznan, David Safránek |
Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.3632, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
27 | Lubos Brim, Petr Dluhos, David Safránek, Tomas Vejpustek |
STL⁎: Extending signal temporal logic with signal-value freezing operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 236, pp. 52-67, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Milan Ceska 0002, Sven Drazan, David Safránek |
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1310.4734, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
27 | Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková |
Robustness Analysis for Value-Freezing Signal Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSB ![In: Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013., pp. 20-36, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser |
DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pp. 863-868, 2013, Springer, 978-3-642-39798-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Milan Ceska 0002, Sven Drazan, David Safránek |
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pp. 107-123, 2013, Springer, 978-3-642-39798-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Vilém Ded, David Safránek |
Qualitative modelling and analysis of Photosystem II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the International Workshop on Biological Processes & Petri Nets, Milano, Italy, June 24, 2013, pp. 17-29, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
27 | Dong H. Ahn, Michael J. Brim, Bronis R. de Supinski, Todd Gamblin, Gregory L. Lee, Matthew P. LeGendre, Barton P. Miller, Adam Moody, Martin Schulz 0001 |
Efficient and Scalable Retrieval Techniques for Global File Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 27th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2013, Cambridge, MA, USA, May 20-24, 2013, pp. 369-380, 2013, IEEE Computer Society, 978-1-4673-6066-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Vojtech Havel |
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013, pp. 51-59, 2013, IEEE Computer Society, 978-0-7695-5035-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Milan Ceska 0002, David Safránek |
Model Checking of Biological Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures, pp. 63-112, 2013, Springer, 978-3-642-38873-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Petr Rockai, Jiri Barnat, Lubos Brim |
Improved State Space Reductions for LTL Model Checking of C and C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 1-15, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Michael J. Brim, David A. Dillow, Sarp Oral, Bradley W. Settlemyer, Feiyi Wang |
Asynchronous object storage with QoS for scientific and commercial big data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSW@SC ![In: Proceedings of the 8th Parallel Data Storage Workshop, PDSW 2013, Denver, Colorado, USA, November 17-21, 2013, pp. 7-13, 2013, ACM, 978-1-4503-2505-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | S. Van Goethem, Jean-Marie Jacquet, Lubos Brim, David Safránek |
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS2Bio ![In: Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, CS2Bio 2012, Stockholm, Sweden, June 16, 2012, pp. 67-81, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek |
On Approximative Reachability Analysis of Biochemical Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comp. Sys. Biology ![In: Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes, pp. 77-101, 2012, Springer, 978-3-642-35523-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek |
On Parameter Synthesis by Parallel Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 9(3), pp. 693-705, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska 0002 |
Designing fast LTL model checking algorithms for many-core GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 72(9), pp. 1083-1097, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Petr Dluhos, Lubos Brim, David Safránek |
On Expressing and Monitoring Oscillatory Dynamics ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSB ![In: Proceedings First International Workshop on Hybrid Systems and Biology, HSB 2012, Newcastle Upon Tyne, UK, 3rd September 2012., pp. 73-87, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jakub Chaloupka |
Using Strategy Improvement to Stay Alive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 23(3), pp. 585-608, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Petr Rockai |
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 77(12), pp. 1272-1288, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai |
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings, pp. 78-92, 2012, Springer, 978-3-642-32468-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Petr Rockai |
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, pp. 252-266, 2012, Springer, 978-3-642-28890-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira |
Executing Model Checking Counterexamples in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, pp. 245-248, 2012, IEEE Computer Society, 978-0-7695-4751-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Petr Bauch, Lubos Brim |
Checking Sanity of Software Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings, pp. 48-62, 2012, Springer, 978-3-642-33825-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | David Safránek, Jan Cervený, Matej Klement, Jana Pospísilová, Lubos Brim, Dusan Lazar, Ladislav Nedbal |
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biosyst. ![In: Biosyst. 103(2), pp. 115-124, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jakub Chaloupka, Laurent Doyen 0001, Raffaella Gentilini, Jean-François Raskin |
Faster algorithms for mean-payoff games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 38(2), pp. 97-118, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska 0002 |
Computing Optimal Cycle Mean in Parallel on CUDA ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., pp. 68-83, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek |
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompMod ![In: Proceedings Third International Workshop on Computational Models for Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011., pp. 97-112, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jiri Barnat |
Platform Dependent Verification: On Engineering Verification Tools for 21st Century ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., pp. 1-12, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek |
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.5924, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 193 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|