Publikationer pr. år
Publikationer pr. år
Publikationer
- 1 - 50 ud af 69 resultater
Søgeresultater
-
2024
Application of Statistical Model Checking for Robustness Comparison of Power Electronics Controllers
Novak, M., Grobelna, I., Nyman, U. & Blaabjerg, F., 23 jun. 2024, Application of Statistical Model Checking for Robustness Comparison of Power Electronics Controllers. IEEE, 6 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil9 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. (red.). Springer, s. 26-46 21 s. (Lecture Notes in Computer Science, Bind 13991 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)13 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., sep. 2023, I: IEEE Transactions on Industrial Electronics. 70, 9, s. 8613 - 8623 11 s., 9896732.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)152 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.Publikation: Working paper/Preprint › Preprint
Åben adgangFil16 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. (red.). Springer, s. 141-157 17 s. (Lecture Notes in Computer Science, Bind 14138 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil17 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, s. 565-573 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil5 Citationer (Scopus)56 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. (red.). Springer, s. 381-398 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13479 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)127 Downloads (Pure) -
Randomized reachability analysis in UPPAAL: fast error detection in timed systems*
Kiviriga, A., Larsen, K. G. & Nyman, U., 17 nov. 2022, I: International Journal on Software Tools for Technology Transfer. 24, 6, s. 1025-1042 18 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)47 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, s. 76-82 7 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)124 Downloads (Pure) -
2021
Model-based optimization of ARINC-653 partition scheduling
Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 7 feb. 2021, I: International Journal on Software Tools for Technology Transfer. 23, 5, s. 721-740 20 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil5 Citationer (Scopus)185 Downloads (Pure) -
Overview of Control Algorithm Verification Methods in Power Electronics Systems
Szcześniak, P., Grobelna, I., Novak, M. & Nyman, U., 19 jul. 2021, I: Energies. 14, 14, 4360.Publikation: Bidrag til tidsskrift › Review (oversigtsartikel) › peer review
Åben adgangFil11 Citationer (Scopus)170 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. (red.). Springer Science+Business Media, s. 149-166 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12863 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)124 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. (red.). IEEE, s. 1-10 10 s. 8958666. (IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil9 Citationer (Scopus)166 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. (red.). Springer, s. 70-88 19 s. (Lecture Notes in Computer Science, Bind 12153).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)262 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, I: I E E E Transactions on Industrial Electronics. 66, 3, s. 2004 - 2014 11 s., 8368064.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil55 Citationer (Scopus)768 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, I: Journal of Aerospace Information Systems. 16, 11Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil5 Citationer (Scopus)210 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., sep. 2019, I: I E E E Industrial Electronics Magazine. 13, 3, s. 6-15 10 s., 8845791.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil10 Citationer (Scopus)170 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. (red.). s. 39-51 13 s. (Electronic Proceedings in Theoretical Computer Science, Bind 272).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil6 Citationer (Scopus)125 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. (red.). EPTCS, Bind 268. s. 150-168 19 s. (Electronic Proceedings in Theoretical Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil6 Citationer (Scopus)185 Downloads (Pure) -
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar
Gundersen, T. R., Lorber, F., Nyman, U. & Ovesen, C., 7 sep. 2018, I: Electronic Proceedings in Theoretical Computer Science. 277, s. 147-160 14 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil3 Citationer (Scopus)304 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, s. 51-58 8 s. 8421146. (International Symposium on Object-Oriented Real-Time Distributed Computing).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil7 Citationer (Scopus)129 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, s. 11-19 9 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil12 Citationer (Scopus)571 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., sep. 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, s. 1-10 10 s. 8515598Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil9 Citationer (Scopus)166 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 s. (IEEE Workshop on Control and Modeling for Power Electronics (COMPEL) ).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil5 Citationer (Scopus)598 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, Bind 10500 LNCS. s. 107-124 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10500 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
3 Citationer (Scopus) -
Formal validation of supervisory energy management systems for microgrids
Sugumar, G., Selvamuthukumaran, R., Dragicevic, T., Nyman, U., Larsen, K. G. & Blaabjerg, F., okt. 2017, Proceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE Press, s. 1154-1159 6 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
11 Citationer (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, s. 319-328 10 s. 7899077Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil19 Citationer (Scopus)243 Downloads (Pure) -
2016
Fieldbook: Developing embedded systems & smart products in practice
Bidragets oversatte titel :Fieldbook: Udvikling af embedded systemer & smarte produkter i praksis: Lav din virksomheds eget roadmap Publikation: Bog/antologi/afhandling/rapport › Bog › Formidling
Åben adgang -
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, I: SIGBED Review. 13, 3, 8 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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 maj 2016, I: Science of Computer Programming. 127, s. 103-130 28 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil17 Citationer (Scopus)317 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, I: Science of Computer Programming. 113, 3, s. 236–260 24 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil7 Citationer (Scopus)386 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 okt. 2015, København V: Dansk industri. 80 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Formidling
Åben adgang -
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, s. 74-83 (International Symposium on Object-Oriented Real-Time Distributed Computing).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil2 Citationer (Scopus)683 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 maj 2015, CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery, s. 91-100Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil7 Citationer (Scopus)570 Downloads (Pure) -
Real-time specifications
David, A., Larsen, K. G., Legay, A., Nyman, U., Traonouez, L.-M. & Wasowski, A., 2015, I: International Journal on Software Tools for Technology Transfer. 17, 1, s. 17-45 29 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil17 Citationer (Scopus)435 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. (red.). Springer, s. 27-43 (Lecture Notes in Computer Science; Nr. 9417).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)475 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. (red.). Springer, s. 209-227 18 s. (Lecture Notes in Computer Science; Nr. 8997).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil11 Citationer (Scopus)342 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, I: Science of Computer Programming. 83, s. 106–128 22 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil7 Citationer (Scopus)800 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, Bind 1294. s. 140-147 8 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil8 Citationer (Scopus)413 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 sep. 2014, Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, s. 126-130 5 s. (TASE).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil10 Citationer (Scopus)552 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. (red.). Springer Publishing Company, Bind 8348. s. 61-78 18 s. 6. (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil17 Citationer (Scopus)662 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, s. 51-60 (Euromicro Conference on Real-Time Systems. Proceedings).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil495 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 s.Publikation: Working paper/Preprint › Working paper › Forskning
Åben adgangFil378 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. s. 1-4 4 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil913 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 s. 3Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil596 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, Bind 133. s. 1-1 (Electronic Proceedings in Theoretical Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning
-
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, Bind 7253. (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil4 Citationer (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, I: International Journal on Software Tools for Technology Transfer. 14, 6, s. 703-720 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil18 Citationer (Scopus)553 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, Bind 7212. s. 43-58 15 s. (Lecture Notes in Computer Science, Bind 7212).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil78 Citationer (Scopus)603 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. (red.). Springer, s. 175-192 18 s. (Lecture Notes in Computer Science, Bind 7137).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil4 Citationer (Scopus)533 Downloads (Pure)