PT - Programming Technology
Publications 2012-2023
2023
BestGC: An Automatic GC Selector. Tavakolisomeh, Sanaz; Bruno, Rodrigo & Ferreira, Paulo. 2023, IEEE Access.
https://doi.org/10.1109/ACCESS.2023.3294398 (Academic article)
EdgeEmu - Emulator for Android Edge Devices (Best Paper). Naghipour Vijouyeh, Lyla; Bruno, Rodrigo & Ferreira, Paulo. 2023, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-031-35260-7_7 (Academic article)
Models, systems, and descriptions: A cross-disciplinary reflection on models. Prinz, Andreas; Engebretsen, Martin; Gjøsæter, Terje; Møller-Pedersen, Birger & Xanthopoulou, Themis Dimitra. 2023, Frontiers in Computer Science.
https://doi.org/10.3389/fcomp.2023.1031807 (Academic article)
Tail recursion transformation for invertible functions. Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal. 2023, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-031-38100-3_6 (Academic article)
2022
A survey on local transport mode detection on the edge of the network. Kamalian, Mahdieh; Ferreira, Paulo & Jul, Eric Bartley. 2022, Applied intelligence (Boston).
https://doi.org/10.1007/s10489-022-03214-y (Academic article)
Branching execution symmetry in Jeopardy by available implicit arguments analysis. Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Kirkedal Thomsen, Michael. 2022, Lecture Notes in Computer Science (LNCS).
(Academic article)
CapillaryNet: An automated system to quantify skin capillary density and red blood cell velocity from handheld vital microscopy. Helmy, Maged; Truong, Trung Tuyen; Dykyy, Anastasiya; Ferreira, Paulo & Jul, Eric Bartley. 2022, Artificial Intelligence in Medicine.
https://doi.org/10.1016/j.artmed.2022.102287 (Academic article)
Deep Learning and Computer Vision Techniques for
Microcirculation Analysis: A Review. Helmy, Maged; Truong, Trung Tuyen; Jul, Eric Bartley & Ferreira, Paulo. 2022, Patterns.
https://doi.org/10.1016/j.patter.2022.100641 (Academic literature review)
On abstraction in the OMG hierarchy: systems, models, and descriptions. Prinz, Andreas; Xanthopoulou, Themis Dimitra; Gjøsæter, Terje & Møller-Pedersen, Birger. 2022, Association for Computing Machinery (ACM).
https://doi.org/10.1145/3550356.3561573 (Academic chapter/article/Conference paper)
2021
Models Versus Model Descriptions. Fischer, Joachim; Møller-Pedersen, Birger; Prinz, Andreas & Thalheim, Bernhard. 2021, Springer Nature.
https://doi.org/10.1007/978-3-030-72696-6_3 (Academic chapter/article/Conference paper)
Shift work, inflammation and musculoskeletal pain. The HUNT Study. Matre, Dagfinn; Christensen, Jan Olav; Mork, Paul Jarle; Ferreira, Paulo; Sand, Trond & Nilsen, Kristian Bernhard. 2021, Occupational Medicine.
https://doi.org/10.1093/occmed/kqab133 (Academic article)
2020
edgeTrans - Edge transport mode detection. Ferreira, Paulo; Zavgorodnii, Constantin & Veiga, Luìs. 2020, Pervasive and Mobile Computing.
https://doi.org/10.1016/j.pmcj.2020.101268 (Academic article)
Global Reproducibility Through Local Control for Distributed Active Objects. Tveito, Lars; Johnsen, Einar Broch & Schlatte, Rudolf. 2020, Springer.
https://doi.org/10.1007/978-3-030-45234-6_7 (Academic chapter/article/Conference paper)
Real Models are Really on M0 - Or How to Make Programmers Use Modeling. Fischer, Joachim; Møller-Pedersen, Birger & Prinz, Andreas. 2020, SciTePress.
https://doi.org/10.5220/0008928403070318 (Academic chapter/article/Conference paper)
SymPaths: Symbolic Execution Meets Partial Order Reduction. de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth & Tveito, Lars. 2020, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-030-64354-6_13 (Academic article)
2019
Bicycle Mode Activity Detection with Bluetooth Low Energy Beacons. Ferreira, Paulo; Zabolotny, Andriy & Barreto, João. 2019, IEEE (Institute of Electrical and Electronics Engineers).
https://doi.org/10.1109/NCA.2019.8935030 (Academic chapter/article/Conference paper)
Runtime Object Lifetime Profiler for Latency Sensitive Big Data Applications. Bruno, Rodrigo; Patricio, Duarte; Simão, José; Veiga, Luìs & Ferreira, Paulo. 2019, Association for Computing Machinery (ACM).
https://doi.org/10.1145/3302424.3303988 (Academic chapter/article/Conference paper)
2018
An Analysis Tool for Models of Virtualized Systems. Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning.
(Academic article)
Checking Modal Contracts for Virtually Timed Ambients. Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars. 2018, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-030-02508-3_14 (Academic article)
Foreword for the 19th ACM/IFIP/USENIX Middleware
Conference. Ferreira, Paulo. 2018, Association for Computing Machinery (ACM).
(Foreword)
Message from the President of AITO. Jul, Eric Bartley. 2018, Leibniz International Proceedings in Informatics.
(Editoral)
Resource-Aware Virtually Timed Ambients. Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars. 2018, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-319-98938-9_12 (Academic article)
Studentaktivisering gjennom bruk av hverandrevurdering for førstesemesters studenter i Canvas LMS: en forsøksstudie.. Mirmotahari, Omid; Berg, Yngvar; Langmyhr, Dag; Fremstad, Ester & Damsa, Crina I.. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning.
(Academic article)
This is not a model : On development of a common terminology for modeling and programming. Madsen, Ole Lehrmann & Møller-Pedersen, Birger. 2018, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-030-03418-4_13 (Academic article)
2016
Modelling and testing of real systems. Prinz, Andreas; Møller-Pedersen, Birger & Fischer, Joachim. 2016, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-319-47169-3_9 (Academic article)
Modelling of Systems for Real. Fischer, Joachim; Møller-Pedersen, Birger & Prinz, Andreas. 2016, SciTePress.
https://doi.org/10.5220/0005825704270434 (Academic chapter/article/Conference paper)
Object-oriented operational semantics. Prinz, Andreas; Møller-Pedersen, Birger & Fischer, Joachim. 2016, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-319-46613-2_9 (Academic article)
2015
A full parallel Quicksort algorithm for multicore processors. Maus, Arne. 2015, NIKT: Norsk IKT-konferanse for forskning og utdanning.
(Academic article)
Combined Modelling and Programming Support for Composite States and Extensible State Machines. Andresen, Kjetil; Møller-Pedersen, Birger & Runde, Ragnhild Kobro. 2015, SciTePress.
https://doi.org/10.5220/0005237302310238 (Academic chapter/article/Conference paper)
Metamodel and model composition by integration of operational semantics. Berg, Henning & Møller-Pedersen, Birger. 2015, Communications in Computer and Information Science (CCIS).
https://doi.org/10.1007/978-3-319-27869-8_10 (Academic article)
Specialisation of metamodels using metamodel types. Berg, Henning & Møller-Pedersen, Birger. 2015, Communications in Computer and Information Science (CCIS).
https://doi.org/10.1007/978-3-319-25156-1_6 (Academic article)
Towards Non-Intrusive Composition of Executable Models. Berg, Henning & Møller-Pedersen, Birger. 2015, SciTePress.
https://doi.org/10.5220/0005242401110121 (Academic chapter/article/Conference paper)
2014
Modeling of Tool Integration Resources with OSLC Support. Zhang, Weiqing & Møller-Pedersen, Birger. 2014, SciTePress.
https://doi.org/10.5220/0004713000990110 (Academic chapter/article/Conference paper)
Typing and Subtyping of Metamodels. Berg, Henning & Møller-Pedersen, Birger. 2014, SciTePress.
https://doi.org/10.5220/0004713901110118 (Academic chapter/article/Conference paper)
Upper bounds for reversible circuits based on Young subgroups. Abdessaied, Nabila; Soeken, Mathias; Kirkedal Thomsen, Michael & Drechsler, Rolf. 2014, Information Processing Letters.
https://doi.org/10.1016/j.ipl.2014.01.003 (Academic article)
2013
A collection operator for graph transformation. Grønmo, Roy; Krogdahl, Stein & Møller-Pedersen, Birger. 2013, Software and Systems Modeling (SoSyM).
https://doi.org/10.1007/s10270-011-0190-3 (Academic article)
Confluence of aspects for sequence diagrams. Grønmo, Roy; Runde, Ragnhild Kobro & Møller-Pedersen, Birger. 2013, Software and Systems Modeling (SoSyM).
https://doi.org/10.1007/s10270-011-0212-1 (Academic article)
Garbage-Free Integer Multiplication with Constants. Axelsen, Holger Bock & Kirkedal Thomsen, Michael. 2013, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-642-36315-3_14 (Academic article)
Models '67 Revisited. Møller-Pedersen, Birger. 2013, Springer.
https://doi.org/10.1007/978-3-642-36757-1_1 (Academic chapter/article/Conference paper)
Package Templates: A Definition by Semantics-Preserving Source-to-Source Transformations to Efficient Java Code. Axelsen, Eyvind Wærsted & Krogdahl, Stein. 2013, SIGPLAN notices.
https://doi.org/10.1145/2371401.2371409 (Academic article)
Strength of the Reversible, Garbage-Free 2k +- 1 Multiplier. Rotenberg, Eva; Cranch, James; Kirkedal Thomsen, Michael & Axelsen, Holger Bock. 2013, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-642-38986-3_5 (Academic article)
Type-Safe Symmetric Composition of Metamodels Using Templates. Berg, Henning & Møller-Pedersen, Birger. 2013, Springer.
https://doi.org/10.1007/978-3-642-36757-1_10 (Academic chapter/article/Conference paper)
White Dots do Matter: Rewriting Reversible Logic Circuits. Soeken, Mathias & Kirkedal Thomsen, Michael. 2013, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-642-38986-3_16 (Academic article)
2012
A Functional Language for Describing Reversible Logic. Kirkedal Thomsen, Michael. 2012, Forum on Specification and Design Languages.
(Academic article)
A Reversible Processor Architecture and its Reversible Logic Design. Kirkedal Thomsen, Michael; Axelsen, Holger Bock & Glück, Robert. 2012, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-642-29517-1_3 (Academic article)
Adaptable generic programming with required type specifications and package templates. Axelsen, Eyvind Wærsted & Krogdahl, Stein. 2012, Association for Computing Machinery (ACM).
https://doi.org/10.1145/2162049.2162060 (Academic chapter/article/Conference paper)
Augmenting Product Lines. Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger. 2012, IEEE conference proceedings.
https://doi.org/10.1109/apsec.2012.76 (Academic chapter/article/Conference paper)
Challenges in the Design of the Package Template Mechanism. Axelsen, Eyvind Wærsted; Sørensen, Fredrik; Krogdahl, Stein & Møller-Pedersen, Birger. 2012, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-642-35551-6_7 (Academic article)
Describing and Optimizing Reversible Logic using a Functional Language. Thomsen, Michael Kirkedal. 2012, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-642-34407-7_10 (Academic article)
DeSPoT: A Method for the Development and Specification of Policies for Trust Negotiation. Håvaldsrud, Tormod; Møller-Pedersen, Birger; Solhaug, Bjørnar & Stølen, Ketil. 2012, Lecture Notes in Electrical Engineering.
https://doi.org/10.1007/978-94-007-2792-2_9 (Academic article)
Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits. Burignat, Stéphane; Kirkedal Thomsen, Michael; Klimczak, Michal; Olczak, Mariusz & De Vos, Alexis. 2012, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-642-29517-1 (Academic article)
Light-weight Tool Integration Approach -- From a Tool Integration Model to OSLC Integration Services. Zhang, Weiqing; Møller-Pedersen, Birger & Biehl, Matthias. 2012, Institute for Systems and Technologies of Information, Control and Communication.
(Academic chapter/article/Conference paper)
Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code. Axelsen, Eyvind Wærsted & Krogdahl, Stein. 2012, Association for Computing Machinery (ACM).
https://doi.org/10.1145/2371401.2371409 (Academic chapter/article/Conference paper)
Reversible Implementation of a Discrete Integer Linear Transform. De Vos, Alexis; Burignat, Stéphane & Kirkedal Thomsen, Michael. 2012, Journal of Multiple-Valued Logic and Soft Computing.
(Academic article)
Specifying a Testing Oracle for Train Stations – Going beyond with Product Line Technology. Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger. 2012, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-642-29645-1_20 (Academic article)
Standardizing Variability - Challenges and Solutions. Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas & Zhang, Xiaorui. 2012, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-642-25264-8_18 (Academic article)
Synthesizing Software Models: Generating Train Station Models Automatically. Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger. 2012, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-642-25264-8_5 (Academic article)
Teaching predicates and invariants on shared data structures in concurrent programming. Gjessing, Stein & Maus, Arne. 2012, ACM Publications.
https://doi.org/10.1145/2414659.2414662 (Academic chapter/article/Conference paper)
Towards Evolution of Generic Variability Models. Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger. 2012, Lecture Notes in Computer Science (LNCS).
https://doi.org/10.1007/978-3-642-29645-1_8 (Academic article)
Using Variability Models to Reduce Verification Effort of Train Station Models. Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger. 2012, IEEE conference proceedings.
https://doi.org/10.1109/apsec.2011.21 (Academic chapter/article/Conference paper)
VARY 2012: VARiability for You. Haugen, Øystein; Jezequel, Jean-Marc; Wasowski, Andrzej; Møller-Pedersen, Birger & Czarnecki, Krzysztof. 2012, Association for Computing Machinery (ACM).
(Introduction)
2023
BestGC: An Automatic GC Selector. Tavakolisomeh, Sanaz; Bruno, Rodrigo & Ferreira, Paulo. 2023, IEEE Access. https://doi.org/10.1109/ACCESS.2023.3294398 (Academic article)EdgeEmu - Emulator for Android Edge Devices (Best Paper). Naghipour Vijouyeh, Lyla; Bruno, Rodrigo & Ferreira, Paulo. 2023, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-35260-7_7 (Academic article)
Models, systems, and descriptions: A cross-disciplinary reflection on models. Prinz, Andreas; Engebretsen, Martin; Gjøsæter, Terje; Møller-Pedersen, Birger & Xanthopoulou, Themis Dimitra. 2023, Frontiers in Computer Science. https://doi.org/10.3389/fcomp.2023.1031807 (Academic article)
Tail recursion transformation for invertible functions. Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal. 2023, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-38100-3_6 (Academic article)
2022
A survey on local transport mode detection on the edge of the network. Kamalian, Mahdieh; Ferreira, Paulo & Jul, Eric Bartley. 2022, Applied intelligence (Boston). https://doi.org/10.1007/s10489-022-03214-y (Academic article)Branching execution symmetry in Jeopardy by available implicit arguments analysis. Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Kirkedal Thomsen, Michael. 2022, Lecture Notes in Computer Science (LNCS). (Academic article)
CapillaryNet: An automated system to quantify skin capillary density and red blood cell velocity from handheld vital microscopy. Helmy, Maged; Truong, Trung Tuyen; Dykyy, Anastasiya; Ferreira, Paulo & Jul, Eric Bartley. 2022, Artificial Intelligence in Medicine. https://doi.org/10.1016/j.artmed.2022.102287 (Academic article)
Deep Learning and Computer Vision Techniques for Microcirculation Analysis: A Review. Helmy, Maged; Truong, Trung Tuyen; Jul, Eric Bartley & Ferreira, Paulo. 2022, Patterns. https://doi.org/10.1016/j.patter.2022.100641 (Academic literature review)
On abstraction in the OMG hierarchy: systems, models, and descriptions. Prinz, Andreas; Xanthopoulou, Themis Dimitra; Gjøsæter, Terje & Møller-Pedersen, Birger. 2022, Association for Computing Machinery (ACM). https://doi.org/10.1145/3550356.3561573 (Academic chapter/article/Conference paper)
2021
Models Versus Model Descriptions. Fischer, Joachim; Møller-Pedersen, Birger; Prinz, Andreas & Thalheim, Bernhard. 2021, Springer Nature. https://doi.org/10.1007/978-3-030-72696-6_3 (Academic chapter/article/Conference paper)Shift work, inflammation and musculoskeletal pain. The HUNT Study. Matre, Dagfinn; Christensen, Jan Olav; Mork, Paul Jarle; Ferreira, Paulo; Sand, Trond & Nilsen, Kristian Bernhard. 2021, Occupational Medicine. https://doi.org/10.1093/occmed/kqab133 (Academic article)
2020
edgeTrans - Edge transport mode detection. Ferreira, Paulo; Zavgorodnii, Constantin & Veiga, Luìs. 2020, Pervasive and Mobile Computing. https://doi.org/10.1016/j.pmcj.2020.101268 (Academic article)Global Reproducibility Through Local Control for Distributed Active Objects. Tveito, Lars; Johnsen, Einar Broch & Schlatte, Rudolf. 2020, Springer. https://doi.org/10.1007/978-3-030-45234-6_7 (Academic chapter/article/Conference paper)
Real Models are Really on M0 - Or How to Make Programmers Use Modeling. Fischer, Joachim; Møller-Pedersen, Birger & Prinz, Andreas. 2020, SciTePress. https://doi.org/10.5220/0008928403070318 (Academic chapter/article/Conference paper)
SymPaths: Symbolic Execution Meets Partial Order Reduction. de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth & Tveito, Lars. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-64354-6_13 (Academic article)
2019
Bicycle Mode Activity Detection with Bluetooth Low Energy Beacons. Ferreira, Paulo; Zabolotny, Andriy & Barreto, João. 2019, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/NCA.2019.8935030 (Academic chapter/article/Conference paper)Runtime Object Lifetime Profiler for Latency Sensitive Big Data Applications. Bruno, Rodrigo; Patricio, Duarte; Simão, José; Veiga, Luìs & Ferreira, Paulo. 2019, Association for Computing Machinery (ACM). https://doi.org/10.1145/3302424.3303988 (Academic chapter/article/Conference paper)
2018
An Analysis Tool for Models of Virtualized Systems. Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)Checking Modal Contracts for Virtually Timed Ambients. Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-02508-3_14 (Academic article)
Foreword for the 19th ACM/IFIP/USENIX Middleware Conference. Ferreira, Paulo. 2018, Association for Computing Machinery (ACM). (Foreword)
Message from the President of AITO. Jul, Eric Bartley. 2018, Leibniz International Proceedings in Informatics. (Editoral)
Resource-Aware Virtually Timed Ambients. Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-98938-9_12 (Academic article)
Studentaktivisering gjennom bruk av hverandrevurdering for førstesemesters studenter i Canvas LMS: en forsøksstudie.. Mirmotahari, Omid; Berg, Yngvar; Langmyhr, Dag; Fremstad, Ester & Damsa, Crina I.. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)
This is not a model : On development of a common terminology for modeling and programming. Madsen, Ole Lehrmann & Møller-Pedersen, Birger. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-03418-4_13 (Academic article)
2016
Modelling and testing of real systems. Prinz, Andreas; Møller-Pedersen, Birger & Fischer, Joachim. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47169-3_9 (Academic article)Modelling of Systems for Real. Fischer, Joachim; Møller-Pedersen, Birger & Prinz, Andreas. 2016, SciTePress. https://doi.org/10.5220/0005825704270434 (Academic chapter/article/Conference paper)
Object-oriented operational semantics. Prinz, Andreas; Møller-Pedersen, Birger & Fischer, Joachim. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-46613-2_9 (Academic article)
2015
A full parallel Quicksort algorithm for multicore processors. Maus, Arne. 2015, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)Combined Modelling and Programming Support for Composite States and Extensible State Machines. Andresen, Kjetil; Møller-Pedersen, Birger & Runde, Ragnhild Kobro. 2015, SciTePress. https://doi.org/10.5220/0005237302310238 (Academic chapter/article/Conference paper)
Metamodel and model composition by integration of operational semantics. Berg, Henning & Møller-Pedersen, Birger. 2015, Communications in Computer and Information Science (CCIS). https://doi.org/10.1007/978-3-319-27869-8_10 (Academic article)
Specialisation of metamodels using metamodel types. Berg, Henning & Møller-Pedersen, Birger. 2015, Communications in Computer and Information Science (CCIS). https://doi.org/10.1007/978-3-319-25156-1_6 (Academic article)
Towards Non-Intrusive Composition of Executable Models. Berg, Henning & Møller-Pedersen, Birger. 2015, SciTePress. https://doi.org/10.5220/0005242401110121 (Academic chapter/article/Conference paper)
2014
Modeling of Tool Integration Resources with OSLC Support. Zhang, Weiqing & Møller-Pedersen, Birger. 2014, SciTePress. https://doi.org/10.5220/0004713000990110 (Academic chapter/article/Conference paper)Typing and Subtyping of Metamodels. Berg, Henning & Møller-Pedersen, Birger. 2014, SciTePress. https://doi.org/10.5220/0004713901110118 (Academic chapter/article/Conference paper)
Upper bounds for reversible circuits based on Young subgroups. Abdessaied, Nabila; Soeken, Mathias; Kirkedal Thomsen, Michael & Drechsler, Rolf. 2014, Information Processing Letters. https://doi.org/10.1016/j.ipl.2014.01.003 (Academic article)
2013
A collection operator for graph transformation. Grønmo, Roy; Krogdahl, Stein & Møller-Pedersen, Birger. 2013, Software and Systems Modeling (SoSyM). https://doi.org/10.1007/s10270-011-0190-3 (Academic article)Confluence of aspects for sequence diagrams. Grønmo, Roy; Runde, Ragnhild Kobro & Møller-Pedersen, Birger. 2013, Software and Systems Modeling (SoSyM). https://doi.org/10.1007/s10270-011-0212-1 (Academic article)
Garbage-Free Integer Multiplication with Constants. Axelsen, Holger Bock & Kirkedal Thomsen, Michael. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-36315-3_14 (Academic article)
Models '67 Revisited. Møller-Pedersen, Birger. 2013, Springer. https://doi.org/10.1007/978-3-642-36757-1_1 (Academic chapter/article/Conference paper)
Package Templates: A Definition by Semantics-Preserving Source-to-Source Transformations to Efficient Java Code. Axelsen, Eyvind Wærsted & Krogdahl, Stein. 2013, SIGPLAN notices. https://doi.org/10.1145/2371401.2371409 (Academic article)
Strength of the Reversible, Garbage-Free 2k +- 1 Multiplier. Rotenberg, Eva; Cranch, James; Kirkedal Thomsen, Michael & Axelsen, Holger Bock. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-38986-3_5 (Academic article)
Type-Safe Symmetric Composition of Metamodels Using Templates. Berg, Henning & Møller-Pedersen, Birger. 2013, Springer. https://doi.org/10.1007/978-3-642-36757-1_10 (Academic chapter/article/Conference paper)
White Dots do Matter: Rewriting Reversible Logic Circuits. Soeken, Mathias & Kirkedal Thomsen, Michael. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-38986-3_16 (Academic article)
2012
A Functional Language for Describing Reversible Logic. Kirkedal Thomsen, Michael. 2012, Forum on Specification and Design Languages. (Academic article)A Reversible Processor Architecture and its Reversible Logic Design. Kirkedal Thomsen, Michael; Axelsen, Holger Bock & Glück, Robert. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-29517-1_3 (Academic article)
Adaptable generic programming with required type specifications and package templates. Axelsen, Eyvind Wærsted & Krogdahl, Stein. 2012, Association for Computing Machinery (ACM). https://doi.org/10.1145/2162049.2162060 (Academic chapter/article/Conference paper)
Augmenting Product Lines. Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger. 2012, IEEE conference proceedings. https://doi.org/10.1109/apsec.2012.76 (Academic chapter/article/Conference paper)
Challenges in the Design of the Package Template Mechanism. Axelsen, Eyvind Wærsted; Sørensen, Fredrik; Krogdahl, Stein & Møller-Pedersen, Birger. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-35551-6_7 (Academic article)
Describing and Optimizing Reversible Logic using a Functional Language. Thomsen, Michael Kirkedal. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-34407-7_10 (Academic article)
DeSPoT: A Method for the Development and Specification of Policies for Trust Negotiation. Håvaldsrud, Tormod; Møller-Pedersen, Birger; Solhaug, Bjørnar & Stølen, Ketil. 2012, Lecture Notes in Electrical Engineering. https://doi.org/10.1007/978-94-007-2792-2_9 (Academic article)
Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits. Burignat, Stéphane; Kirkedal Thomsen, Michael; Klimczak, Michal; Olczak, Mariusz & De Vos, Alexis. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-29517-1 (Academic article)
Light-weight Tool Integration Approach -- From a Tool Integration Model to OSLC Integration Services. Zhang, Weiqing; Møller-Pedersen, Birger & Biehl, Matthias. 2012, Institute for Systems and Technologies of Information, Control and Communication. (Academic chapter/article/Conference paper)
Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code. Axelsen, Eyvind Wærsted & Krogdahl, Stein. 2012, Association for Computing Machinery (ACM). https://doi.org/10.1145/2371401.2371409 (Academic chapter/article/Conference paper)
Reversible Implementation of a Discrete Integer Linear Transform. De Vos, Alexis; Burignat, Stéphane & Kirkedal Thomsen, Michael. 2012, Journal of Multiple-Valued Logic and Soft Computing. (Academic article)
Specifying a Testing Oracle for Train Stations – Going beyond with Product Line Technology. Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-29645-1_20 (Academic article)
Standardizing Variability - Challenges and Solutions. Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas & Zhang, Xiaorui. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-25264-8_18 (Academic article)
Synthesizing Software Models: Generating Train Station Models Automatically. Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-25264-8_5 (Academic article)
Teaching predicates and invariants on shared data structures in concurrent programming. Gjessing, Stein & Maus, Arne. 2012, ACM Publications. https://doi.org/10.1145/2414659.2414662 (Academic chapter/article/Conference paper)
Towards Evolution of Generic Variability Models. Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-29645-1_8 (Academic article)
Using Variability Models to Reduce Verification Effort of Train Station Models. Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger. 2012, IEEE conference proceedings. https://doi.org/10.1109/apsec.2011.21 (Academic chapter/article/Conference paper)
VARY 2012: VARiability for You. Haugen, Øystein; Jezequel, Jean-Marc; Wasowski, Andrzej; Møller-Pedersen, Birger & Czarnecki, Krzysztof. 2012, Association for Computing Machinery (ACM). (Introduction)