112 related articles for article (PubMed ID: 31806925)
1. Monitoring hyperproperties.
Finkbeiner B; Hahn C; Stenger M; Tentrup L
Form Methods Syst Des; 2019; 54(3):336-363. PubMed ID: 31806925
[TBL] [Abstract][Full Text] [Related]
2. Synthesis from hyperproperties.
Finkbeiner B; Hahn C; Lukert P; Stenger M; Tentrup L
Acta Inform; 2020; 57(1):137-163. PubMed ID: 32189717
[TBL] [Abstract][Full Text] [Related]
3. From LTL to rLTL monitoring: improved monitorability through robust semantics.
Mascle C; Neider D; Schwenger M; Tabuada P; Weinert A; Zimmermann M
Form Methods Syst Des; 2021; 59(1-3):170-204. PubMed ID: 36590854
[TBL] [Abstract][Full Text] [Related]
4. Mutation testing with hyperproperties.
Fellner A; Tabaei Befrouei M; Weissenbacher G
Softw Syst Model; 2021; 20(2):405-427. PubMed ID: 34720800
[TBL] [Abstract][Full Text] [Related]
5. Runtime verification of embedded real-time systems.
Reinbacher T; Függer M; Brauer J
Form Methods Syst Des; 2014; 44(3):203-239. PubMed ID: 26752679
[TBL] [Abstract][Full Text] [Related]
6. starMC: an automata based CTL* model checker.
Amparore EG; Donatelli S; Gallà F
PeerJ Comput Sci; 2022; 8():e823. PubMed ID: 35494878
[TBL] [Abstract][Full Text] [Related]
7. Runtime verification in uncertain environment based on probabilistic model learning.
Zhou G; Yang C; Lu P; Chen X
Math Biosci Eng; 2022 Sep; 19(12):13607-13627. PubMed ID: 36654060
[TBL] [Abstract][Full Text] [Related]
8. Visual Analysis of Hyperproperties for Understanding Model Checking Results.
Horak T; Coenen N; Metzger N; Hahn C; Flemisch T; Mendez J; Dimov D; Finkbeiner B; Dachselt R
IEEE Trans Vis Comput Graph; 2022 Jan; 28(1):357-367. PubMed ID: 34587083
[TBL] [Abstract][Full Text] [Related]
9. Formalizing the use case model: A model-based approach.
Zaman QU; Nadeem A; Sindhu MA
PLoS One; 2020; 15(4):e0231534. PubMed ID: 32310952
[TBL] [Abstract][Full Text] [Related]
10. Para
Konnov I; Lazić M; Veith H; Widder J
Form Methods Syst Des; 2017; 51(2):270-307. PubMed ID: 32009739
[TBL] [Abstract][Full Text] [Related]
11. Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.
Czepa C; Amiri A; Ntentos E; Zdun U
Softw Syst Model; 2019; 18(6):3331-3371. PubMed ID: 31975976
[TBL] [Abstract][Full Text] [Related]
12. A Visual Analytics Framework for the Detection of Anomalous Call Stack Trees in High Performance Computing Applications.
Xie C; Xu W; Mueller K
IEEE Trans Vis Comput Graph; 2018 Aug; ():. PubMed ID: 30136972
[TBL] [Abstract][Full Text] [Related]
13. [Treatment dynamics in sensorimotor disorders: the contribution of electrophysiology].
Hasbroucq T; Burle B; Bonnet M; Possamaï CA; Vidal F
Can J Exp Psychol; 2002 Jun; 56(2):75-97. PubMed ID: 12066423
[TBL] [Abstract][Full Text] [Related]
14. Fuzzy-trace theory: dual processes in memory, reasoning, and cognitive neuroscience.
Brainerd CJ; Reyna VF
Adv Child Dev Behav; 2001; 28():41-100. PubMed ID: 11605365
[TBL] [Abstract][Full Text] [Related]
15. Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks.
Zbrzezny AM; Zbrzezny A
Sensors (Basel); 2022 Dec; 22(23):. PubMed ID: 36502252
[TBL] [Abstract][Full Text] [Related]
16. The Asynchronous Bounded-Cycle model.
Robinson P; Schmid U
Theor Comput Sci; 2011 Sep; 412(40):5580-5601. PubMed ID: 22031790
[TBL] [Abstract][Full Text] [Related]
17. A unified framework for bounded and unbounded numerical estimation.
Kim D; Opfer JE
Dev Psychol; 2017 Jun; 53(6):1088-1097. PubMed ID: 28447817
[TBL] [Abstract][Full Text] [Related]
18. Unbounded dynamics in dissipative flows: Rössler model.
Barrio R; Blesa F; Serrano S
Chaos; 2014 Jun; 24(2):024407. PubMed ID: 24985461
[TBL] [Abstract][Full Text] [Related]
19. Temporal logics for phylogenetic analysis via model checking.
Requeno JI; Casado Gde M; Blanco R; Colom JM
IEEE/ACM Trans Comput Biol Bioinform; 2013; 10(4):1058-70. PubMed ID: 24334397
[TBL] [Abstract][Full Text] [Related]
20.
; ; . PubMed ID:
[No Abstract] [Full Text] [Related]
[Next] [New Search]