Projects per year
Personal profile
Keywords
- Distributed software systems
- Object-oriented programming lauguage
- Object-oriented software systems
- Object-oriented analysis and design
- Object-oriented modelling
- Object-oriented programming
- Software architecture
- Software Systems for pervasive computing
- Software development tools
- Vitual/abstract machines
Fingerprint
Dive into the research topics where Ole Lehrmann Madsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 2 Finished
-
Using Object-Sequence Diagrams for Debugging
Madsen, O. L., Jul 2023, DEBT 2023: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques. Gonzalez Boix, E. & Scholliers, C. (eds.). New York: Association for Computing Machinery, p. 11-22Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
What your mother forgot to tell you about modeling – and programming
Madsen, O. L. & Møller-Pedersen, B., 2023, 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, p. 200-210 11 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
Using supplementary properties to reduce the need for documentation
Madsen, O. L. & Møller-Pedersen, B., Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Proceedings: Software Engineering. Margaria, T. & Steffen, B. (eds.). Springer, p. 35-59 25 p. (Lecture Notes in Computer Science; No. 13702, Vol. LNCS).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming
Madsen, O. L. & Møller-Pedersen, B., 2 Dec 2022, Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Association for Computing Machinery, p. 220–239 20 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
Using Coroutines for Multi-core Preemptive Scheduling
Madsen, O. L., Oct 2021, Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS '21). New York: Association for Computing Machinery, p. 46-52 7 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open Access
Activities
-
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Ole Lehrmann Madsen (Participant)
2018Activity: Participating in or organising an event types › Participation in or organisation af a conference
-
Innovationsfonden (External organisation)
Ole Lehrmann Madsen (Member)
1 Apr 2014 → 31 Dec 2014Activity: Membership types › Member of committee, council, board
-
Aftagerpanelet for Danmarks Tekniske Universitet (Event)
Ole Lehrmann Madsen (Member)
1 Dec 2013 → …Activity: Membership types › Member of committee, council, board
-
CONNECT Advisory Forum - a Horizon 2020 Advisory Group (External organisation)
Ole Lehrmann Madsen (Member)
12 Feb 2013 → 31 Jan 2015Activity: Membership types › Member of committee, council, board
-
Advisory Board for DTU NanoTech (External organisation)
Ole Lehrmann Madsen (Member)
1 Jan 2009 → …Activity: Membership types › Member of committee, council, board