Found: 37
Select item for more details and to access through your institution.
Dynamic networks of heterogeneous timed machines.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 6, p. 800, doi. 10.1017/S0960129517000135
- By:
- Publication type:
- Article
Extending modal transition systems with structured labels.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 4, p. 581, doi. 10.1017/S0960129511000697
- By:
- Publication type:
- Article
REFINEMENT AND DIFFERENCE FOR PROBABILISTIC AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 3, p. 1, doi. 10.2168/LMCS-10(3:11)2014
- By:
- Publication type:
- Article
Compositionality for quantitative specifications.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2018, v. 22, n. 4, p. 1139, doi. 10.1007/s00500-017-2519-5
- By:
- Publication type:
- Article
COMPUTING CONVEX HULLS BY AUTOMATA ITERATION.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 647, doi. 10.1142/S0129054109006796
- By:
- Publication type:
- Article
Statistical prioritization for software product line testing: an experience report.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 1, p. 153, doi. 10.1007/s10270-015-0479-8
- By:
- Publication type:
- Article
Component-based verification using incremental design and invariants.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 2, p. 427, doi. 10.1007/s10270-014-0410-8
- By:
- Publication type:
- Article
When time meets test.
- Published in:
- International Journal of Information Security, 2018, v. 17, n. 4, p. 395, doi. 10.1007/s10207-017-0371-3
- By:
- Publication type:
- Article
Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms.
- Published in:
- EURASIP Journal on Advances in Signal Processing, 2021, v. 2021, n. 1, p. 1, doi. 10.1186/s13634-021-00732-8
- By:
- Publication type:
- Article
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 8, p. 1069, doi. 10.1109/TSE.2012.86
- By:
- Publication type:
- Article
General quantitative specification theories with modal transition systems.
- Published in:
- Acta Informatica, 2014, v. 51, n. 5, p. 261, doi. 10.1007/s00236-014-0196-8
- By:
- Publication type:
- Article
On timed alternating simulation for concurrent timed games.
- Published in:
- Acta Informatica, 2012, v. 49, n. 4, p. 249, doi. 10.1007/s00236-012-0158-y
- By:
- Publication type:
- Article
An automated and scalable formal process for detecting fault injection vulnerabilities in binaries.
- Published in:
- Concurrency & Computation: Practice & Experience, 2019, v. 31, n. 23, p. N.PAG, doi. 10.1002/cpe.4794
- By:
- Publication type:
- Article
Tropical Fourier-Motzkin elimination, with an application to real-time verification.
- Published in:
- International Journal of Algebra & Computation, 2014, v. 24, n. 5, p. 569, doi. 10.1142/S0218196714500258
- By:
- Publication type:
- Article
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 611, doi. 10.1007/s10009-022-00664-0
- By:
- Publication type:
- Article
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 351, doi. 10.1007/s10009-022-00653-3
- By:
- Publication type:
- Article
Masterminding change by combining secure system design with security risk assessment.
- Published in:
- 2021
- By:
- Publication type:
- Editorial
ADTLang: a programming language approach to attack defense trees.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 1, p. 89, doi. 10.1007/s10009-020-00593-w
- By:
- Publication type:
- Article
Introduction to the special issue for SPIN 2019.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 563, doi. 10.1007/s10009-020-00580-1
- By:
- Publication type:
- Article
Quantitative properties of featured automata.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 667, doi. 10.1007/s10009-019-00538-y
- By:
- Publication type:
- Article
Verification and abstraction of real-time variability-intensive systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 635, doi. 10.1007/s10009-019-00537-z
- By:
- Publication type:
- Article
Quantitative variability modelling and analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 607, doi. 10.1007/s10009-019-00535-1
- By:
- Publication type:
- Article
High-level frameworks for the specification and verification of scheduling problems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 397, doi. 10.1007/s10009-017-0466-1
- By:
- Publication type:
- Article
Generating counterexamples of model-based software product lines.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 5, p. 585, doi. 10.1007/s10009-014-0341-2
- By:
- Publication type:
- Article
Uppaal SMC tutorial.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 397, doi. 10.1007/s10009-014-0361-y
- By:
- Publication type:
- Article
Statistical model checking: challenges and perspectives.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 369, doi. 10.1007/s10009-015-0384-z
- By:
- Publication type:
- Article
Statistical model checking for biological systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 351, doi. 10.1007/s10009-014-0323-4
- By:
- Publication type:
- Article
Smart sampling for lightweight verification of Markov decision processes.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 469, doi. 10.1007/s10009-015-0383-0
- By:
- Publication type:
- Article
Statistical model checking QoS properties of systems with SBIP.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 171, doi. 10.1007/s10009-014-0313-6
- By:
- Publication type:
- Article
Schedulability of Herschel revisited using statistical model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 187, doi. 10.1007/s10009-014-0331-4
- By:
- Publication type:
- Article
Real-time specifications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 17, doi. 10.1007/s10009-013-0286-x
- By:
- Publication type:
- Article
Rigorous embedded design: challenges and perspectives.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 3, p. 149, doi. 10.1007/s10009-013-0271-4
- By:
- Publication type:
- Article
Model checking software product lines with SNIP.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 589, doi. 10.1007/s10009-012-0234-1
- By:
- Publication type:
- Article
Compositional verification of real-time systems using Ecdar.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 703, doi. 10.1007/s10009-012-0237-y
- By:
- Publication type:
- Article
Extrapolating (omega-)regular model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 119, doi. 10.1007/s10009-011-0209-7
- By:
- Publication type:
- Article
Statistical abstraction and model-checking of large heterogeneous systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 53, doi. 10.1007/s10009-011-0201-2
- By:
- Publication type:
- Article
Formal verification of probabilistic SystemC models with statistical model checking.
- Published in:
- Journal of Software: Evolution & Process, 2018, v. 30, n. 3, p. 1, doi. 10.1002/smr.1890
- By:
- Publication type:
- Article