Research output per year
Research output per year
Research output
- 1 - 50 out of 69 results
Search results
-
2024
Application of Statistical Model Checking for Robustness Comparison of Power Electronics Controllers
Novak, M., Grobelna, I., Nyman, U. & Blaabjerg, F., 23 Jun 2024, 2024 IEEE 15th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2024. IEEE (Institute of Electrical and Electronics Engineers), 6 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile29 Downloads (Pure) -
2023
A Modeling Concept for Formal Verification of OS-Based Compositional Software
Ribeiro, L. B., Lorber, F., Nyman, U., Larsen, K. G. & Baunach, M., 2023, 26th International Conference (FASE 2023): Fundamental Approaches to Software Engineering, Proceedings. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Springer, p. 26-46 21 p. (Lecture Notes in Computer Science, Vol. 13991 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile2 Citations (Scopus)18 Downloads (Pure) -
Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters
Novak, M., Grobelna, I., Nyman, U. M., Szcześniak, P. & Blaabjerg, F., Sept 2023, In: IEEE Transactions on Industrial Electronics. 70, 9, p. 8613 - 8623 11 p., 9896732.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile3 Citations (Scopus)161 Downloads (Pure) -
Timed I/O Automata: It is never too late to complete your timed specification theory
Goorden, M. A., Larsen, K. G., Legay, A., Lorber, F., Nyman, U. & Wasowski, A., 2023, arXiv.Research output: Working paper/Preprint › Preprint
Open AccessFile18 Downloads (Pure) -
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems
Kiviriga, A., Larsen, K. G., Nickovic, D. & Nyman, U., 2023, Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings. Petrucci, L. & Sproston, J. (eds.). Springer, p. 141-157 17 p. (Lecture Notes in Computer Science, Vol. 14138 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile23 Downloads (Pure) -
2022
Distributed Fleet Management in Noisy Environments via Model-Predictive Control
Bøgh, S., Jensen, P. G., Nyman, U., Larsen, K. G. & Kristjansen, M., 15 Jun 2022, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling. AAAI Press Association for the Advancement of Artificial Intelligence, p. 565-573 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File5 Citations (Scopus)62 Downloads (Pure) -
Monte Carlo Tree Search for Priced Timed Automata
Jensen, P. G., Kiviriga, A., Guldstrand Larsen, K., Nyman, U., Mijačika, A. & Høiriis Mortensen, J., 2022, Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Proceedings. Ábrahám, E. & Paolieri, M. (eds.). Springer, p. 381-398 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13479 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile1 Citation (Scopus)134 Downloads (Pure) -
Randomized reachability analysis in UPPAAL: fast error detection in timed systems*
Kiviriga, A., Larsen, K. G. & Nyman, U., 17 Nov 2022, In: International Journal on Software Tools for Technology Transfer. 24, 6, p. 1025-1042 18 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile3 Citations (Scopus)55 Downloads (Pure) -
Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter
Novak, M., Grobelna, I., Nyman, U., Szcześniak, P. & Blaabjerg, F., 1 Jul 2022, 2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia). IEEE Press, p. 76-82 7 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile2 Citations (Scopus)132 Downloads (Pure) -
2021
Model-based optimization of ARINC-653 partition scheduling
Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 7 Feb 2021, In: International Journal on Software Tools for Technology Transfer. 23, 5, p. 721-740 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile5 Citations (Scopus)204 Downloads (Pure) -
Overview of Control Algorithm Verification Methods in Power Electronics Systems
Szcześniak, P., Grobelna, I., Novak, M. & Nyman, U., 19 Jul 2021, In: Energies. 14, 14, 4360.Research output: Contribution to journal › Review article › peer-review
Open AccessFile12 Citations (Scopus)178 Downloads (Pure) -
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems
Kiviriga, A., Larsen, K. G. & Nyman, U., 2021, Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (eds.). Springer Science+Business Media, p. 149-166 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12863 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile1 Citation (Scopus)128 Downloads (Pure) -
2020
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems
Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 Jan 2020, Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019. De Rango, F., Calafate, C. T., Voznak, M., Garro, A. & Tropea, M. (eds.). IEEE (Institute of Electrical and Electronics Engineers), p. 1-10 10 p. 8958666. (IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile9 Citations (Scopus)168 Downloads (Pure) -
Randomized Refinement Checking of Timed I/O Automata
Kiviriga, A., Larsen, K. G. & Nyman, U., 9 Nov 2020, Proceedings of SETTA 2020: Dependable Software Engineering. Theories, Tools, and Applications. Pang, J. & Zhang, L. (eds.). Springer, p. 70-88 19 p. (Lecture Notes in Computer Science, Vol. 12153).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile1 Citation (Scopus)266 Downloads (Pure) -
2019
Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters
Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Mar 2019, In: I E E E Transactions on Industrial Electronics. 66, 3, p. 2004 - 2014 11 p., 8368064.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile55 Citations (Scopus)781 Downloads (Pure) -
Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL
Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 Nov 2019, In: Journal of Aerospace Information Systems. 16, 11Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile6 Citations (Scopus)217 Downloads (Pure) -
Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification
Novak, M., Nyman, U., Dragicevic, T. & Blaabjerg, F., Sept 2019, In: I E E E Industrial Electronics Magazine. 13, 3, p. 6-15 10 p., 8845791.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile12 Citations (Scopus)184 Downloads (Pure) -
2018
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems
Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile6 Citations (Scopus)129 Downloads (Pure) -
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems
Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 27 Mar 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). EPTCS, Vol. 268. p. 150-168 19 p. (Electronic Proceedings in Theoretical Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile6 Citations (Scopus)192 Downloads (Pure) -
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar
Gundersen, T. R., Lorber, F., Nyman, U. & Ovesen, C., 7 Sept 2018, In: Electronic Proceedings in Theoretical Computer Science. 277, p. 147-160 14 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile4 Citations (Scopus)314 Downloads (Pure) -
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems
Boudjadar, J., Kim, J. H., Phan, L. T. X., Lee, I., Larsen, K. G. & Nyman, U., 25 Jul 2018, Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE (Institute of Electrical and Electronics Engineers), p. 51-58 8 p. 8421146. (International Symposium on Object-Oriented Real-Time Distributed Computing).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File7 Citations (Scopus)134 Downloads (Pure) -
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU
Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 Feb 2018, Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. IEEE (Institute of Electrical and Electronics Engineers), p. 11-19 9 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile12 Citations (Scopus)573 Downloads (Pure) -
Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter
Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Sept 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, p. 1-10 10 p. 8515598Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile9 Citations (Scopus)171 Downloads (Pure) -
2017
Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach
Novak, M., Dragicevic, T., Blaabjerg, F. & Nyman, U. M., Jul 2017, Proceedings of 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL). IEEE Press, 6 p. (IEEE Workshop on Control and Modeling for Power Electronics (COMPEL) ).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile6 Citations (Scopus)604 Downloads (Pure) -
Compositional testing of real-time systems
Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 Jan 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Vol. 10500 LNCS. p. 107-124 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10500 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
3 Citations (Scopus) -
Formal validation of supervisory energy management systems for microgrids
Sugumar, G., Selvamuthukumaran, R., Dragicevic, T., Nyman, U., Larsen, K. G. & Blaabjerg, F., Oct 2017, Proceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE Press, p. 1154-1159 6 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
12 Citations (Scopus) -
Mutation-Based Test-Case Generation with Ecdar
Larsen, K. G., Lorber, F., Nielsen, B. & Nyman, U. M., 13 Apr 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE (Institute of Electrical and Electronics Engineers), p. 319-328 10 p. 7899077Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File20 Citations (Scopus)247 Downloads (Pure) -
2016
Fieldbook: Developing embedded systems & smart products in practice
Jensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 1 Mar 2016, København V: Dansk industri. 83 p.Research output: Book/Report › Book › Communication
Open Access -
Optimizing the resource requirements of hierarchical scheduling systems
Kim, J. H., Legay, A., Traonouez, L. M., Boudjadar, A., Nyman, U. M., Larsen, K. G., Lee, I. & Choi, J.-Y., 2016, In: SIGBED Review. 13, 3, 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Statistical and exact schedulability analysis of hierarchical scheduling systems
Boudjadar, A., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 27 May 2016, In: Science of Computer Programming. 127, p. 103-130 28 p.Research output: Contribution to journal › Journal article › Research › peer-review
File18 Citations (Scopus)321 Downloads (Pure) -
2015
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
Boudjadar, A., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. M. & Skou, A. J., 1 Dec 2015, In: Science of Computer Programming. 113, 3, p. 236–260 24 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile7 Citations (Scopus)400 Downloads (Pure) -
Fieldbook: Udvikling af embedded systemer & smarte produkter i praksis: Lav din virksomheds eget roadmap
Jensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 10 Oct 2015, København V: Dansk industri. 80 p.Research output: Book/Report › Book › Communication
Open Access -
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks
Boudjadar, J., Kim, J. H., David, A., Larsen, K. G., Mikucionis, M., Nyman, U., Skou, A., Lee, I. & Thi Xuan Phan, L., 2015, 18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015. IEEE (Institute of Electrical and Electronics Engineers), p. 74-83 (International Symposium on Object-Oriented Real-Time Distributed Computing).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File2 Citations (Scopus)706 Downloads (Pure) -
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context
Kim, J. H., Boudjadar, J., Nyman, U., Mikucionis, M., Larsen, K. G., Skou, A., Lee, I. & Thi Xuan Phan, L., 4 May 2015, CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery (ACM), p. 91-100Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File7 Citations (Scopus)583 Downloads (Pure) -
Real-time specifications
David, A., Larsen, K. G., Legay, A., Nyman, U., Traonouez, L.-M. & Wasowski, A., 2015, In: International Journal on Software Tools for Technology Transfer. 17, 1, p. 17-45 29 p.Research output: Contribution to journal › Journal article › Research › peer-review
File17 Citations (Scopus)442 Downloads (Pure) -
The Timed Decentralised Label Model
Pedersen, M. L., Sørensen, M. H., Lux, D., Nyman, U. M. & Hansen, R. R., 2015, Secure IT Systems: 20th Nordic Conference on Secure IT-Systems (NordSec 2015). Buchegger, S. & Dam, M. (eds.). Springer, p. 27-43 (Lecture Notes in Computer Science; No. 9417).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile2 Citations (Scopus)482 Downloads (Pure) -
Widening the Schedulability Hierarchical Scheduling Systems
Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 2015, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lanese, I. & Madelaine, E. (eds.). Springer, p. 209-227 18 p. (Lecture Notes in Computer Science; No. 8997).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile11 Citations (Scopus)356 Downloads (Pure) -
2014
A modal specification theory for components with data
Bauer, S. S., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 1 Apr 2014, In: Science of Computer Programming. 83, p. 106–128 22 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile7 Citations (Scopus)803 Downloads (Pure) -
Compositional Schedulability Analysis of An Avionics System Using UPPAAL
Boudjadar, J., Larsen, K. G., Kim, J. H. & Nyman, U., 2014, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. CEUR Workshop Proceedings, Vol. 1294. p. 140-147 8 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile9 Citations (Scopus)419 Downloads (Pure) -
Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks
Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U., Skou, A. & Mikučionis, M., 1 Sept 2014, Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, p. 126-130 5 p. (TASE).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile10 Citations (Scopus)563 Downloads (Pure) -
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal
Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 13 Jun 2014, Proceedings of Formal Aspects of Component Software (FACS), 2013. Fiadeiro, J. L., Liu, Z. & Xue, J. (eds.). Springer Publishing Company, Vol. 8348. p. 61-78 18 p. 6. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile18 Citations (Scopus)669 Downloads (Pure) -
Model checking process algebra of communicating resources for real-time systems
Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 p.Research output: Working paper/Preprint › Working paper › Research
Open AccessFile384 Downloads (Pure) -
Model Checking Process Algebra of Communicating Resources for Real-time Systems
Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, Proceedings of ECRTS 2014. IEEE Press, p. 51-60 (Euromicro Conference on Real-Time Systems. Proceedings).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile502 Downloads (Pure) -
Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems
Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. p. 1-4 4 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File924 Downloads (Pure) -
2013
Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach
Pop, P., Tsiopoulos, L., Voss, S., Slotosch, O., Ficek, C., Nyman, U. & Lopez, A. R., 2013, WICERT 2013 Conference Proceedings. 6 p. 3Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile600 Downloads (Pure) -
Preface
Larsen, K. G., Legay, A. & Nyman, U., 3 Nov 2013, Proceedings 1st Workshop on Advances in Systems of Systems. Electronic Proceedings in Theoretical Computer Science, Vol. 133. p. 1-1 (Electronic Proceedings in Theoretical Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research
-
2012
A Modal Specification Theory for Components with Data
Bauer, S. S., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2012, Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer Publishing Company, Vol. 7253. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile4 Citations (Scopus)524 Downloads (Pure) -
Compositional verification of real-time systems using Ecdar
David, A., Larsen, K. G., Møller, M. H., Nyman, U., Ravn, A. P., Skou, A., Legay, A. & Wasowski, A., 15 Jun 2012, In: International Journal on Software Tools for Technology Transfer. 14, 6, p. 703-720 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
File18 Citations (Scopus)555 Downloads (Pure) -
Moving from Specifications to Contracts in Component-based Design
Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2012, Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer, Vol. 7212. p. 43-58 15 p. (Lecture Notes in Computer Science, Vol. 7212).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile78 Citations (Scopus)606 Downloads (Pure) -
New Results on Timed Specifications
Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. & Wasowski, A., 23 Feb 2012, Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Mossakowski, T. & Kreowski, H.-J. (eds.). Springer, p. 175-192 18 p. (Lecture Notes in Computer Science, Vol. 7137).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Open AccessFile4 Citations (Scopus)538 Downloads (Pure)