Research Output 2007 2017

Filter
Conference contribution
2017

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

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
2 Citations

Property-Preserving Generation of Tailored Benchmark Petri Nets

Bernhard, S., Jasper, M., Meijer, J. & van de Pol, J. Jun 2017 17th International Conference on Application of Concurrency to System Design - ACSD 2017: 25-30 June 2017, Zaragoza, Spain : proceedings. Piscataway, NJ: IEEE Computer Society, 8 p.

Research output: Scientific - peer-reviewConference contribution

Petri nets
Decomposition
Specifications
2016
4 Citations

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis

Meijer, J. & van de Pol, J. C. 7 Jun 2016 NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Rayadurgam, S. & Tkachuk, O. (eds.). Springer International Publishing, p. 255-271 15 p. (Lecture Notes in Computer Science; vol. 9690)

Research output: Scientific - peer-reviewConference contribution

Wavefronts
Bandwidth
Petri nets
1 Citations

Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata

Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C. 24 Jun 2016 Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. USA: IEEE Computer Society, p. 114-123 10 p.

Research output: Scientific - peer-reviewConference contribution

Embedded systems
Quality of service
Mobile devices
Scalability
Durability
7 Citations

Multi-Core On-The-Fly SCC Decomposition

Bloemen, V., Laarman, A. & van de Pol, J. C. Mar 2016 Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016. New York: ACM, p. 8 12 p.

Research output: Scientific - peer-reviewConference contribution

Model checking
Parallel algorithms
Data structures
Scalability
1 Citations

Multi-core SCC-Based LTL Model Checking

Bloemen, V. & van de Pol, J. C. Nov 2016 Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016. Bloem, R. & Arbel, E. (eds.). Cham: Springer International Publishing, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10028)

Research output: Scientific - peer-reviewConference contribution

Model checking
Scalability
Decomposition
Experiments
2 Citations

Multi-core Symbolic Bisimulation Minimisation

van Dijk, T. & van de Pol, J. C. Apr 2016 Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016). Chechik, M. & Raskin, J-F. (eds.). Berlin: Springer Verlag, p. 332-348 17 p. (Lecture Notes in Computer Science; vol. 9636)

Research output: Scientific - peer-reviewConference contribution

Markov processes
Binary decision diagrams
Continuous time systems
Model checking
Parallel algorithms
1 Citations

Partial-Order Reduction for GPU Model Checking

Neele, T., Wijs, A., Bosnacki, D. & van de Pol, J. C. Oct 2016 Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016. Artho, C., Legay, A. & Peled, D. (eds.). Berlin: Springer Verlag, p. 357-374 18 p. (Lecture Notes in Computer Science; vol. 9938)

Research output: Scientific - peer-reviewConference contribution

Model checking
Parallel algorithms
Program processors
4 Citations

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification

Geske, M., Jasper, M., Steffen, B., Howar, F., Schordan, M. & van de Pol, J. C. Oct 2016 Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (II), ISoLA 2016. Margaria, T. & Steffen, B. (eds.). Berlin: Springer Verlag, p. 787-803 17 p. (Lecture Notes in Computer Science; vol. 9953)

Research output: Scientific - peer-reviewConference contribution

Temporal logic
Computer programming languages

Symbolic Reachability Analysis of B through ProB and LTSmin

Bendisposto, J., Körner, P., Leuschel, M., Meijer, J., van de Pol, J. C., Treharne, H. & Whitefield, J. Jun 2016 Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Ábrahám, E. & Huisman, M. (eds.). Cham: Springer International Publishing, p. 275-291 16 p. (Lecture Notes in Computer Science; vol. 9681)

Research output: Scientific - peer-reviewConference contribution

Model checking
Specification languages
Glues
Experiments
Formal specification
1 Citations

Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO

Ahmad, W. & van de Pol, J. C. Oct 2016 Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016. Margaria, T. & Steffen, B. (eds.). London: Springer Verlag, p. 94-113 20 p. (Lecture Notes in Computer Science; vol. 9952)

Research output: Scientific - peer-reviewConference contribution

Throughput
Energy utilization
Voltage scaling
Dynamic frequency scaling
Power management
2015
1 Citations

A Distributed Hash Table for Shared Memory

Oortwijn, W. H. M., van Dijk, T. & van de Pol, J. C. Sep 2015 Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II. Wyrzykowski, R., Deelman, E., Dongarra, J., Karczewski, K., Kitowski, J. & Wiatr, K. (eds.). London: Springer, p. 15-24 10 p. (Lecture Notes in Computer Science; vol. 9574)

Research output: Scientific - peer-reviewConference contribution

Supercomputers
Parallel algorithms
Program processors
Throughput

Automated Verification of Nested DFS

van de Pol, J. C. Jun 2015 Proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015). Núñez, M. & Güdemann, M. (eds.). Heidelberg: Springer, p. 181-197 17 p. (Lecture Notes in Computer Science; vol. 9128)

Research output: Scientific - peer-reviewConference contribution

Specifications
Surface mount technology
6 Citations

Green computing: power optimisation of vfi-based real-time multiprocessor dataflow applications

Ahmad, W., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C. 26 Aug 2015 18th Euromicro Conference on Digital Systems Design (DSD 2015). USA: IEEE Computer Society, p. 271-275 5 p.

Research output: Scientific - peer-reviewConference contribution

Power management
Model checking
Energy conservation
Computer systems
Electric power utilization
1 Citations

Modeling and Verification of the Bitcoin Protocol

Chaudhary, K., Fehnker, A., Fehnker, A., van de Pol, J. C. & Stoelinga, M. I. A. 13 Nov 2015 Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015). van Glabbeek, R. J., Groote, J. F. & Höfner, P. (eds.). Australia: Open Publishing Association, p. 46-60 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 196)

Research output: Scientific - peer-reviewConference contribution

Electronic money
7 Citations

Sylvan: Multi-core Decision Diagrams

van Dijk, T. & van de Pol, J. C. Apr 2015 Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015. London: Springer Verlag, p. 677-691 15 p. (Lecture Notes in Computer Science; vol. 9035)

Research output: Scientific - peer-reviewConference contribution

Model checking
Binary decision diagrams
Modeling languages
2014

An ECHO in biology: Validating the Executable CHondrocyte

Scholma, J., Schivo, S., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N. 1 Apr 2014 2014 World Congress on Osteoarthritis. Amsterdam: ELSEVIER, p. S157-S157 1 p. (Osteoarthritis and Cartilage; vol. 22)

Research output: ScientificConference contribution

Chondrocytes
Cartilage
Osteoarthritis
beta Catenin
Articular Cartilage

ECHO: the executable chondrocyte

Scholma, J., Schivo, S., Kerkhofs, J., Langerak, R., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N. 9 Jun 2014 Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting. Malden: Wiley, p. 54-54 1 p. (s1; vol. 8)

Research output: ScientificConference contribution

Chondrocytes
Articular Cartilage
Cartilage
Phenotype
Molecular Dynamics Simulation
4 Citations

Generating and Solving Symbolic Parity Games

Kant, G. & van de Pol, J. C. Apr 2014 Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014). EPTCS, p. 2-14 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 159)

Research output: Scientific - peer-reviewConference contribution

Specifications
7 Citations

Lace: non-blocking split deque for work-stealing

van Dijk, T. & van de Pol, J. C. Aug 2014 Proceedings of the 7th International Euro-Par Workshop on Multi-/Many-core Computing Systems, MuCoCoS 2014. Switzerland: Springer International Publishing, p. 206-217 12 p. (Lecture Notes in Computer Science; vol. 8806)

Research output: Scientific - peer-reviewConference contribution

Fences
Wool
Resource allocation
Scalability
4 Citations

Read, Write and Copy Dependencies for Symbolic Model Checking

Meijer, J., Kant, G., Blom, S. & van de Pol, J. C. Nov 2014 Proceedings of the 10th International Haifa Verification Conference, HVC 2014. Berlin: Springer, p. 204-219 16 p. (Lecture Notes in Computer Science; vol. 8855)

Research output: Scientific - peer-reviewConference contribution

Model checking
Copying
Modeling languages

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C. Jun 2014 Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014). USA: IEEE Computer Society, p. 72-81 8 p.

Research output: Scientific - peer-reviewConference contribution

Throughput
Model checking
Energy utilization
Costs
6 Citations

Setting Parameters for Biological Models With ANIMO

Schivo, S., Scholma, J., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R. 8 Apr 2014 Proceedings 1st International Workshop on Synthesis of Continuous Parameters. André, É. & Frehse, G. (eds.). Open Publishing Association, p. 35-47 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 145)

Research output: Scientific - peer-reviewConference contribution

Topology
Genes
2013

Confluence reduction for Markov automata

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A. Mar 2013 Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 18 4 p.

Research output: ScientificConference contribution

Automata
Confluence
Model
Specification
Process algebra
18 Citations

Confluence Reduction for Markov Automata

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A. Aug 2013 Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). Braberman, V. & Fribourg, L. (eds.). Berlin: Springer Verlag, p. 243-257 15 p. (Lecture Notes in Computer Science; vol. 8053)

Research output: Scientific - peer-reviewConference contribution

Automata
Confluence
Model
Specification
Process algebra
7 Citations

Guard-based Partial-Order Reduction

Laarman, A., Pater, E., van de Pol, J. C. & Weber, M. 8 Jul 2013 Proceedings of the 20th International SPIN Symposium on Model Checking of Software, SPIN 2013. Bartocci, E. & Ramakrishnan, C. R. (eds.). London: Springer, p. 227-245 18 p. (Lecture Notes in Computer Science; vol. 7976)

Research output: Scientific - peer-reviewConference contribution

Model checking
Experiments
Modeling languages

Mathematical modeling of signaling pathways in osteoarthritis

Scholma, J., Kerkhofs, J., Schivo, S., Langerak, R., van der Vet, P. E., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N. 19 Apr 2013 2013 Osteoarthritis Research Society International (OARSI) World Congress. Lohmander, S. (ed.). Amsterdam: ELSEVIER, p. - 1 p. (S123; vol. 21, no. Suppl.)

Research output: ScientificConference contribution

Cartilage
Growth Plate
Articular Cartilage
Chondrocytes
Transcriptome
13 Citations

Multi-core emptiness checking of timed Büchi automata using inclusion abstraction

Laarman, A., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & van de Pol, J. C. 13 Jul 2013 Proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013. Sharygina, N. & Veith, H. (eds.). London: Springer, p. 968-983 18 p. (Lecture Notes in Computer Science)

Research output: Scientific - peer-reviewConference contribution

Model checking
Carrier sense multiple access
Scalability
Structural properties
2012

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

Kant, G. & van de Pol, J. C. Apr 2012 First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2012). Wijs, A. J., Bošnački, D. & Edelkamp, S. (eds.). EPTCS, p. 50-65 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 99)

Research output: Scientific - peer-reviewConference contribution

Specifications
21 Citations

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A. 31 Mar 2012 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

Research output: ScientificConference contribution

State space
Probabilistic automata
Linearization
Automata
Transform
28 Citations

Improved Multi-Core Nested Depth-First Search

Evangelista, S., Laarman, A., Petrucci, L. & van de Pol, J. C. 3 Oct 2012 Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012. Ramesh, S. (ed.). London: Springer Verlag, p. 269-283 15 p. (Lecture Notes in Computer Science; vol. 7561)

Research output: Scientific - peer-reviewConference contribution

Model checking
Scalability
Experiments
9 Citations

Modelling biological pathway dynamics with Timed Automata

Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R. A., van der Vet, P. E., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N. Nov 2012 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE 2012). IEEE Computer Society, p. 447-453 7 p.

Research output: Scientific - peer-reviewConference contribution

Crosstalk
Reaction kinetics
User interfaces
Semantics
Engines

Multi-core and/or symbolic model checking

van Dijk, T., Laarman, A. & van de Pol, J. C. Sep 2012 12th International Workshop on Automated Verification of Critical Systems, AVoCS 2012. Luettgen, G. & Merz, S. (eds.). Berlin: EASST, 7 p. 773. (Electronic Communications of the EASST; vol. 53)

Research output: ScientificConference contribution

Model checking
Specification languages
7 Citations

Multi-Core BDD Operations for Symbolic Reachability

van Dijk, T., Laarman, A. & van de Pol, J. C. 17 Sep 2012 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012. Heljanko, K. & Knottenbelt, W. J. (eds.). Amsterdam: ELSEVIER, p. 127-143 18 p. (Electronic Notes in Theoretical Computer Science; vol. 296)

Research output: Scientific - peer-reviewConference contribution

Model checking
Wool
Substitution reactions
Hardware
Communication
11 Citations

Multi-Core Reachability for Timed Automata

Dalsgaard, A., Laarman, A., Larsen, K. G., Olesen, M. C. & van de Pol, J. C. 18 Sep 2012 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012. Jurdzinski, M. & Nickovic, D. (eds.). London: Springer Verlag, p. 91-106 16 p. (Lecture Notes in Computer Science; vol. 7595)

Research output: Scientific - peer-reviewConference contribution

Model checking
Parallel algorithms
Data structures
Scalability
Hardware
2011
10 Citations

Automated Verification of Executable UML Models

Hansen, H. H., Ketema, J., Luttik, B., Mousavi, M., van de Pol, J. C. & Marchi dos Santos, O. Nov 2011 Proceedings of the 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010. Revised Papers. Berlin: Springer Verlag, p. 225-250 26 p. (Lecture Notes in Computer Science; vol. 6957)

Research output: Scientific - peer-reviewConference contribution

Model checking
Algebra
13 Citations

Confluence Reduction for Probabilistic Systems

Timmer, M., Stoelinga, M. I. A. & van de Pol, J. C. Mar 2011 Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011. Abdulla, P. A. & Leino, K. R. M. (eds.). Berlin: Springer Verlag, p. 311-325 15 p. (Lecture Notes in Computer Science; vol. 6605)

Research output: Scientific - peer-reviewConference contribution

Confluence
Probabilistic automata
Process algebra
Bisimulation
Branching
26 Citations

Multi-Core LTSmin: Marrying Modularity and Scalability

Laarman, A., van de Pol, J. C. & Weber, M. Jul 2011 Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011. Bobaru, M., Havelund, K., Holzmann, G. J. & Joshi, R. (eds.). Berlin: Springer Verlag, p. 506-511 6 p. (Lecture Notes in Computer Science; vol. 6617)

Research output: Scientific - peer-reviewConference contribution

Model checking
Resource allocation
Specifications
21 Citations

Multi-Core Nested Depth-First Search

Laarman, A., Langerak, R., van de Pol, J. C., Weber, M. & Wijs, A. 8 Jul 2011 Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011. Bultan, T. & Hsiung, P-A. (eds.). London: Springer Verlag, p. 321-335 15 p. (Lecture Notes in Computer Science; vol. 6996)

Research output: Scientific - peer-reviewConference contribution

Model checking

Parallel Recursive State Compression for Free

Laarman, A., van de Pol, J. C. & Weber, M. 14 Jul 2011 Proceedings of the 18th International SPIN Workshop, SPIN 2011. Groce, A. & Musuvathi, M. (eds.). berlin: Springer, p. 38-56 18 p. (Lecture Notes in Computer Science; vol. 6823)

Research output: Scientific - peer-reviewConference contribution

Experiments
Model checking
Program processors
Scalability

Variations on Multi-Core Nested Depth-First Search

Laarman, A. & van de Pol, J. C. 14 Jul 2011 Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011. Barnat, J. & Heljanko, K. (eds.). USA: EPTCS, p. 13-28 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 72)

Research output: ScientificConference contribution

Parallel algorithms
Model checking
2010
5 Citations

A linear process-algebraic format for probabilistic systems with data

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M. Jun 2010 Application of Concurrency to System Design, Tenth International Conference on. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 213-222 10 p. 10.1109/ACSD.2010.18

Research output: Scientific - peer-reviewConference contribution

Process algebra
Symbolic analysis
Probabilistic automata
Linear process
Bisimulation

Boosting Multi-Core Reachability Performance with Shared Hash Tables

Laarman, A., van de Pol, J. C. & Weber, M. 20 Oct 2010 Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design. Sharygina, N. & Bloem, R. (eds.). USA: IEEE Computer Society, p. 247-256 9 p.

Research output: Scientific - peer-reviewConference contribution

Model checking
Resource allocation
Data structures
Scalability

Confluence reduction for probabilistic systems

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A. Sep 2010 Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory. Eindhoven, The Netherlands: Eindhoven University of Technology, p. 87-90 4 p.

Research output: Scientific - peer-reviewConference contribution

Probabilistic automata
Confluence
Process algebra
Bisimulation
Branching
3 Citations

From POOSL to UPPAAL: Transformation and Quantitative Analysis

Xing, J. S., Theelen, B. D., Langerak, R., van de Pol, J. C., Tretmans, G. J. & Voeten, J. P. M. Jun 2010 10 International Conference on Application of Concurrency to System Design: proceedings : 21-25 June 2010, Braga, Portugal. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 47-56 10 p.

Research output: Scientific - peer-reviewConference contribution

Specification languages
Motion control
Control systems
Model checking
Switches
53 Citations

LTSmin: Distributed and Symbolic Reachability

Blom, S., van de Pol, J. C. & Weber, M. 9 Jul 2010 Computer Aided Verification. Touili, T., Cook, B. & Jackson, P. (eds.). Berlin: Springer Verlag, p. 354-359 6 p. 10.1007/978-3-642-14295-6_31. (Lecture Notes in Computer Science; vol. 6174)

Research output: Scientific - peer-reviewConference contribution

Model checking
Specification languages
Algebra
2 Citations

UPPAAL in Practice: Quantitative Verication of a RapidIO Network

Xing, J. S., Theelen, B. D., Langerak, R., van de Pol, J. C., Tretmans, G. J. & Voeten, J. P. M. 18 Oct 2010 ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Margaria, T., Katoen, J. P. & Steffen, B. (eds.). Berlin: Springer, p. 160-174 15 p. (Lecture Notes in Computer Science; vol. 6416)

Research output: Scientific - peer-reviewConference contribution

Packet networks
Object oriented programming
Model checking
Distributed computer systems
Motion control
2009
6 Citations

Compositional Control Synthesis for Partially Observable Systems

Kuijper, W. & van de Pol, J. C. Sep 2009 CONCUR 2009 - Concurrency Theory. Bravetti, M. & Zavattaro, G. (eds.). Berlin / Heidelberg: Springer Verlag, p. 431-447 17 p. 10.1007/978-3-642-04081-8_29. (Lecture Notes in Computer Science; vol. 5710)

Research output: Scientific - peer-reviewConference contribution

Specifications
Controllers