An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00509-3
Spatial logics and model checking for medical imaging
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00511-9
The ABZ-2018 case study with Event-B
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00525-3
Model-based testing of apps in real network scenarios
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00518-2
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00540-4
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00542-2
Diversity of graph models and graph generators in mutation testing
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00530-6
Joint forces for memory safety checking revisited
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00526-2
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00531-5
Symmetry reduction in CSP model checking
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00516-4
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00548-w
Quantitative variability modelling and analysis
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00535-1
Static generation of UML sequence diagrams
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00545-z
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00543-1
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00539-x
Variable order metrics for decision diagrams in system verification
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00522-6
Introduction to Selected Papers from SPIN 2017
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00515-5
Detecting multiphase linear ranking functions for single-path linear-constraint loops
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/S10009-019-00527-1
ASAP: A Source Code Authorship Program
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00517-3
Model-based software quality assurance tools and techniques presented at FASE 2018
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00541-3
Learning Moore machines from input–output traces
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00544-0