Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 12 Similar Profiles
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Experiments Engineering & Materials Science
Chondrocytes Medicine & Life Sciences
Throughput Engineering & Materials Science
Parallel algorithms Engineering & Materials Science
Algebra Engineering & Materials Science
Specification languages Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2007 2018

Contract-based specification of embedded control systems

Oguz, O. 16 Feb 2018 Enschede. 216 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Specifications
Model checking
Hybrid systems
Embedded systems
Algebra

Distributed Binary Decision Diagrams for Symbolic Reachability

Oortwijn, W., Dijk, T. V. & Pol, J. V. D. Jul 2017 SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. ACM, p. 21-30 10 p.

Research output: Scientific - peer-reviewConference contribution

Binary decision diagrams
Network performance
Parallel algorithms

Explicit State Model Checking with Generalized Büchi and Rabin Automata

Bloemen, V., Duret-Lutz, A. & Pol, J. V. D. Jul 2017 SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. ACM, p. 50-59 10 p.

Research output: Scientific - peer-reviewConference contribution

Model checking
Set theory
Experiments

Green computing: efficient energy management of multiprocessor streaming applications via model checking

Ahmad, W. 13 Apr 2017 Enschede. 228 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Scheduling
Video conferencing
Mobile computing
Energy harvesting
Energy management

Improving the Timed Automata Approach to Biological Pathway Dynamics

Langerak, R., Pol, J. V. D., Post, J. N. & Schivo, S. 19 Aug 2017 Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 96-111 16 p. (Lecture Notes in Computer Science; vol. 10460)

Research output: Scientific - peer-reviewConference contribution

Computer science
Model checking
Biological systems
User interfaces
Genes