Found: 20
Select item for more details and to access through your institution.
Synthesizing optimal bias in randomized self-stabilization.
- Published in:
- Distributed Computing, 2022, v. 35, n. 1, p. 37, doi. 10.1007/s00446-021-00408-4
- By:
- Publication type:
- Article
Learning Communicating Automata from MSCs.
- Published in:
- IEEE Transactions on Software Engineering, 2010, v. 36, n. 3, p. 390, doi. 10.1109/TSE.2009.89
- By:
- Publication type:
- Article
Counterexample Generation in Probabilistic Model Checking.
- Published in:
- IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 241, doi. 10.1109/TSE.2009.5
- By:
- Publication type:
- Article
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 10, p. 812, doi. 10.1109/TSE.2006.104
- By:
- Publication type:
- Article
Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of systems (QEST).
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 529, doi. 10.1109/TSE.2006.80
- By:
- Publication type:
- Article
Model-Checking Algorithms for Continuous-Time Markov Chains.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 524, doi. 10.1109/TSE.2003.1205180
- By:
- Publication type:
- Article
On the hardness of analyzing probabilistic programs.
- Published in:
- Acta Informatica, 2019, v. 56, n. 3, p. 255, doi. 10.1007/s00236-018-0321-1
- By:
- Publication type:
- Article
SMA - THE SMYLE MODELING APPROACH.
- Published in:
- Computing & Informatics, 2010, v. 29, n. 1, p. 45
- By:
- Publication type:
- Article
IC3 software model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 135, doi. 10.1007/s10009-019-00547-x
- By:
- Publication type:
- Article
Modelling and statistical model checking of a microgrid.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 537, doi. 10.1007/s10009-014-0345-y
- By:
- Publication type:
- Article
Guest editors’ introduction: quantitative analysis of real-time embedded systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 1, doi. 10.1007/s10009-006-0013-y
- By:
- Publication type:
- Article
Guest editors’ introduction: Advancements and extensions of verification techniques.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 99, doi. 10.1007/s10009-004-0150-0
- By:
- Publication type:
- Article
MODEL CHECKING TEMPORAL PROPERTIES OF RECURSIVE PROBABILISTIC PROGRAMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 4, p. 1, doi. 10.46298/LMCS-19(4:24)2023
- By:
- Publication type:
- Article
HIGH-LEVEL COUNTEREXAMPLES FOR PROBABILISTIC AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:15)2015
- By:
- Publication type:
- Article
ANALYSIS OF TIMED AND LONG-RUN OBJECTIVES FOR MARKOV AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 3, p. 1, doi. 10.2168/LMCS-10(3:17)2014
- By:
- Publication type:
- Article
Automatically Finding the Right Probabilities in Bayesian Networks.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 77, p. 1637, doi. 10.1613/jair.1.14044
- By:
- Publication type:
- Article
Scenario-based verification of uncertain parametric MDPs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 803, doi. 10.1007/s10009-022-00673-z
- By:
- Publication type:
- Article
The probabilistic model checker Storm.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 589, doi. 10.1007/s10009-021-00633-z
- By:
- Publication type:
- Article
DFT modeling approach for operational risk assessment of railway infrastructure.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 331, doi. 10.1007/s10009-022-00652-4
- By:
- Publication type:
- Article
Safety, Dependability and Performance Analysis of Extended AADL Models.
- Published in:
- Computer Journal, 2011, v. 54, n. 5, p. 754, doi. 10.1093/comjnl/bxq024
- By:
- Publication type:
- Article