Some Comments on Wu and Browne
- 期刊名称Psychometrika
- 作者Steyer, Rolf; Sengewald, Erik; Hahn, Sonja
- 卷第80卷
- 期第3期
- 印刷ISSN0033-3123
- 电子ISSN1860-0980
- 文件大小115.03KB
- 发表时间2015-9-27
- DOI10.1007/s11336-015-9453-1
- 页码608-610
Creating and Validating Embedded Assertion StatechartsDrusinsky, Doron; Shing, Man-Tak; Demir, Kadir Alpaslan · 2007
A framework for computer-aided validationDoron Drusinsky; James Bret Michael; Man-Tak Shing · 2008
On the power of bounded concurrency I: finite automataDrusinsky, Doron; Harel, David · Journal of the ACM · 1994
Runtime monitoring and verification of systems with hidden informationDrusinsky, Doron · Innovations in Systems and Software Engineering · 2014
Validating quality attribute requirements via execution-based model checkingDoron Drusinsky; Man-Tak Shing · 2012
Obtaining Trust in Executable Derivatives Using Crowdsourced Critiques With Blind SignaturesDrusinsky, Doron; Michael, James Bret · Computer · 2020
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned TransitionsDoron Drusinsky · 2005
Run-time monitoring using bounded constraint instance discovery within big data streamsDrusinsky, Doron · Innovations in Systems and Software Engineering · 2016
Software health managementDubey, Abhishek; Karsai, Gabor · Innovations in Systems and Software Engineering · 2013
Copilot: monitoring embedded systemsPike, Lee; Wegmann, Nis; Niller, Sebastian; Goodloe, Alwyn · Innovations in Systems and Software Engineering · 2013
PrefaceReeves, Steve · Innovations in Systems and Software Engineering · 2015
Editorial prefaceMandal, Jyotsna Kumar; Mukhopadhyay, Somnath · Innovations in Systems and Software Engineering · 2019
Certified normalization of generalized tracesMaarand, Hendrik; Uustalu, Tarmo · Innovations in Systems and Software Engineering · 2019
Timed service contract automataBasile, Davide; ter Beek, Maurice H.; Legay, Axel · Innovations in Systems and Software Engineering · 2019
Managing uncertainty in software projectsMarinho, Marcelo; Sampaio, Suzana; Moura, Hermano · Innovations in Systems and Software Engineering · 2017
Optimal compression of combinatorial state spacesLaarman, Alfons · Innovations in Systems and Software Engineering · 2019