|
|
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. |
PAKDD |
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. |
DGCI |
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. |
PACMNET |
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. |
Comput. Ind. |
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. |
CoRR |
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. |
Remote. Sens. |
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. |
ISCAS |
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. |
Electron. Gov. an Int. J. |
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. |
HPCA |
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. |
Remote. Sens. |
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. |
Biosyst. |
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. |
Biosyst. |
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. |
Bioinform. |
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. |
IPDPS |
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. |
CMSB |
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. |
SC |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek |
Exploring attractor bifurcations in Boolean networks. |
BMC Bioinform. |
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. |
Frontiers Digit. Health |
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. |
Bioinform. |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková |
Robust Control of Partially Specified Boolean Networks. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
27 | Matej Troják, David Safránek, Lubos Brim |
Biochemical Space Language in Relation to Multiset Rewriting Systems. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. |
Log. Methods Comput. Sci. |
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. |
SMC |
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. |
CMSB |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Matej Troják, Samuel Pastva, David Safránek, Lubos Brim |
Regulated Multiset Rewriting Systems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Computing Bottom SCCs Symbolically Using Transition Guided Reduction. |
CAV (1) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Symbolic Coloured SCC Decomposition. |
TACAS (2) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Aeon 2021: Bifurcation Decision Trees in Boolean Networks. |
CMSB |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Digital Bifurcation Analysis of Internet Congestion Control Protocols. |
Int. J. Bifurc. Chaos |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Matej Troják, David Safránek, Lubos Brim |
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
27 | Lubos Brim, Samuel Pastva, David Safránek, Eva Smijakova |
Parallel One-Step Control of Parametrised Boolean Networks. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Parallel parameter synthesis algorithm for hybrid CTL. |
Sci. Comput. Program. |
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. |
CAV (1) |
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. |
CAV (1) |
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. |
SASB |
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. |
CMSB |
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. |
CMSB |
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. |
NFM |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Andrew Brim |
Deep Reinforcement Learning Pairs Trading with a Double Deep Q-Network. |
CCWC |
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? |
Concurr. Comput. Pract. Exp. |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Model Checking Approach to the Analysis of Biological Systems. |
Automated Reasoning for Systems Biology and Medicine |
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. |
ICFEM |
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. |
HSCC |
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. |
ISC Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek |
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Digital Bifurcation Analysis of TCP Dynamics. |
TACAS (2) |
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. |
CMSB |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Miles Brim, James L. Cale |
Remote and dynamic assessment of reliability in electromechanical actuator systems. |
SysCon |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Milan Ceska 0002, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim |
Precise parameter synthesis for stochastic biochemical systems. |
Acta Informatica |
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. |
CAV (1) |
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. |
IEEE BigData |
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. |
CMSB |
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. |
ROSS@HPDC |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Petr Rockai, Jiri Barnat, Lubos Brim |
Model checking C++ programs with exceptions. |
Sci. Comput. Program. |
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. |
Formal Aspects Comput. |
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. |
FM |
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. |
ATVA |
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. |
TACAS |
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. |
HSB |
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. |
CMSB |
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. |
SASB |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Michael J. Brim, Joshua K. Lothian |
Monitoring Extreme-scale Lustre Toolkit. |
CoRR |
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). |
CoRR |
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. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
27 | Joel Reed, Jeremy S. Archuleta, Michael J. Brim, Joshua K. Lothian |
Evaluating Dynamic File Striping For Lustre. |
CoRR |
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. |
CAV (1) |
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. |
HSB |
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. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Juraj Niznan, David Safránek |
Compact Representation of Photosynthesis Dynamics by Rule-based Models. |
SASB |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Petr Rockai, Jiri Barnat, Lubos Brim |
Model Checking C++ with Exceptions. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Juraj Niznan, David Safránek |
Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version). |
CoRR |
2014 |
DBLP BibTeX RDF |
|
27 | Lubos Brim, Petr Dluhos, David Safránek, Tomas Vejpustek |
STL⁎: Extending signal temporal logic with signal-value freezing operator. |
Inf. Comput. |
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. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
27 | Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková |
Robustness Analysis for Value-Freezing Signal Temporal Logic. |
HSB |
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. |
CAV |
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. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Vilém Ded, David Safránek |
Qualitative modelling and analysis of Photosystem II. |
BioPPN@Petri Nets |
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. |
IPDPS |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Vojtech Havel |
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Milan Ceska 0002, David Safránek |
Model Checking of Biological Systems. |
SFM |
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. |
NASA Formal Methods |
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. |
PDSW@SC |
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. |
CS2Bio |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek |
On Approximative Reachability Analysis of Biochemical Dynamical Systems. |
Trans. Comp. Sys. Biology |
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. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
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. |
J. Parallel Distributed Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Petr Dluhos, Lubos Brim, David Safránek |
On Expressing and Monitoring Oscillatory Dynamics |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jakub Chaloupka |
Using Strategy Improvement to Stay Alive. |
Int. J. Found. Comput. Sci. |
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. |
Sci. Comput. Program. |
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. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Petr Rockai |
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira |
Executing Model Checking Counterexamples in Simulink. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Petr Bauch, Lubos Brim |
Checking Sanity of Software Requirements. |
SEFM |
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. |
Biosyst. |
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. |
Formal Methods Syst. Des. |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska 0002 |
Computing Optimal Cycle Mean in Parallel on CUDA |
PDMC |
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) |
CompMod |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jiri Barnat |
Platform Dependent Verification: On Engineering Verification Tools for 21st Century |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek |
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 193 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|