Search results for "marte"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo	Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux.	Ada-Europe	2004	DBLP DOI BibTeX RDF
108	Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, François Terrier	Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations.	GPCE	2009	DBLP DOI BibTeX RDF	middleware, model-driven engineering, component models, connectors, MARTE
108	Sébastien Demathieu, Frédéric Thomas, Charles André, Sébastien Gérard, François Terrier	First Experiments Using the UML Profile for MARTE.	ISORC	2008	DBLP DOI BibTeX RDF	UML, Real-time, Embedded, Model-Driven Engineering, MARTE
92	Frédéric Mallet	Clock constraint specification language: specifying clock constraints with UML/MARTE.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Unified modeling language, Constraints, MARTE, Time model
92	Mirco Tribastone, Stephen Gilmore	Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile.	WOSP	2008	DBLP DOI BibTeX RDF	pepa, uml, marte
86	Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard	AnExecution Framework for MARTE-Based Models.	ICECCS	2008	DBLP DOI BibTeX RDF
75	Frédéric Mallet, Robert de Simone	MARTE: a profile for RT/E systems modeling, analysis-and simulation?	SimuTools	2008	DBLP DOI BibTeX RDF	UML profile, MARTE
69	Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard	MARTE: Also an UML Profile for Modeling AADL Applications.	ICECCS	2007	DBLP DOI BibTeX RDF
59	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.	MoDELS	2009	DBLP DOI BibTeX RDF	genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis
59	Huáscar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard	Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems.	ECMDA-FA	2009	DBLP DOI BibTeX RDF	embedded systems, MARTE, model-based engineering, SysML
55	Charles André, Frédéric Mallet	Specification and verification of time requirements with CCSL and Esterel.	LCTES	2009	DBLP DOI BibTeX RDF	synchronous languages, uml, marte, time model
55	Frédéric Thomas, Jérôme Delatour, François Terrier, Sébastien Gérard	Towards a Framework for Explicit Platform-Based Transformations.	ISORC	2008	DBLP DOI BibTeX RDF	Platform-Based, SRM, UML, model transformations, MDE, MARTE
55	Rasha Tawhid, Dorina C. Petriu	Integrating Performance Analysis in the Model Driven Development of Software Product Lines.	MoDELS	2008	DBLP DOI BibTeX RDF	UML, Performance Analysis, Software Product Line, MARTE, ATL, Model to model Transformation
55	Rasha Tawhid, Dorina C. Petriu	Towards automatic derivation of a product performance model from a UML software product line model.	WOSP	2008	DBLP DOI BibTeX RDF	model transformation, software product line, software performance engineering, uml, marte
53	Frédéric Mallet, Charles André, Julien DeAntoni	Executing AADL Models with UML/MARTE.	ICECCS	2009	DBLP DOI BibTeX RDF
53	Simona Bernardi 0001, José Merseguer, Dorina C. Petriu	Adding Dependability Analysis Capabilities to the MARTE Profile.	MoDELS	2008	DBLP DOI BibTeX RDF
53	Su-Young Lee 0002, Frédéric Mallet, Robert de Simone	Dealing with AADL End-to-End Flow Latency with UML MARTE.	ICECCS	2008	DBLP DOI BibTeX RDF
47	Marte Newcombe	Marte Newcombe.	GRAPHITE	2007	DBLP DOI BibTeX RDF
43	Abdoulaye Gamatié, Vlad Rusu, Éric Rutten	Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design.	ISPDC	2010	DBLP DOI BibTeX RDF	Marte Repetitive Structure Modeling, correctness, operational semantics, data-parallelism
40	Ning Ge 0002	Property driven verification framework: application to real time property for UML MARTE software design. (Les outils de vérification dédiés à partir des familles de propriétés : une application aux propriétés temps réel pour les modèles UML-MARTE).		2014	RDF
40	Sana Cherif	Approche basée sur les modèles pour la conception des systèmes dynamiquement reconfigurables : de MARTE vers RecoMARTE. (A model driven based approach for the design of dynamically reconfigurable systems : from MARTE to RECOMARTE).		2013	RDF
40	Gilberto Ochoa Ruiz	A high-level methodology for automatically generating dynamically reconfigurable systems using IP-XACT and the UML MARTE profile. (Méthodologie de conception de haut niveau pour la génération automatique des systèmes dynamiquement reconfigurables en utilisant IP-XACT et le profil UML MARTE).		2013	RDF
40	Adolf Samir Abdallah	Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE. (Clock Based SoC Design, Towards a Design Space Exploration in MARTE).		2011	RDF
40	Aamir Mehmood Khan	Model-based design for on-chip systems using and extending Marte and IP-XACT. (Conception basée sur les modèles pour les systèmes sur puce : utilisation et extension de Marte et IP-XACT).		2010	RDF
40	Huafeng Yu	A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model. (Un Modèle Réactif Basé sur MARTE Dédié au Calcul Intensif à Parallélisme de Données : Transformation vers le Modèle Synchrone).		2008	RDF
39	Marie-Agnès Peraldi-Frati, Arnaud Albinet	Requirement traceability in safety critical systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	modeling, validation, time, safety, traceability, non-functional requirement, MARTE
39	Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser	Safe design of high-performance embedded systems in an MDE framework.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	High-performance embedded systems, Gaspard2, SIGALI, Mode automata, Synchronous languages, MARTE, Formal validation
39	Imran Rafiq Quadri, Pierre Boulet, Samy Meftali, Jean-Luc Dekeyser	Using an MDE Approach for Modeling of Interconnection Networks.	ISPAN	2008	DBLP DOI BibTeX RDF	UML2 Templates, SoC, MINs, NoC, MDE, MARTE, Delta Networks
36	Ali Koudri, Joël Champeau, Denis Aulagnier, Philippe Soulard	MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
36	Mario Aldea Rivas, Michael González Harbour, José F. Ruiz	Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.	Ada-Europe	2009	DBLP DOI BibTeX RDF	Scheduling, Real-Time Systems, Compilers, POSIX, Ada 2005
36	Hung Ledang, Hubert Dubois, Sébastien Gérard	Towards a traceability model in a MARTE-based methodology for real-time embedded systems.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Traceability, MDE, Requirement management
36	Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser	MARTE based modeling approach for Partial Dynamic Reconfigurable FPGAs.	ESTIMedia	2008	DBLP DOI BibTeX RDF
36	C. Murray Woodside	From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms.	SFM	2007	DBLP DOI BibTeX RDF
36	Mario Aldea Rivas, José F. Ruiz	Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Real-Time Systems, Compilers, POSIX, Ada 2005
36	Mario Aldea Rivas, Michael González Harbour	POSIX-Compatible Application-Defined Scheduling in MaRTE OS.	ECRTS	2002	DBLP DOI BibTeX RDF
36	Mario Aldea Rivas	Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications.	Ada-Europe	2001	DBLP DOI BibTeX RDF	Real-Time Systems, Embedded Systems, Operating System, Kernel, Ada 95, POSIX
33	Éric Piel, Philippe Marquet, Jean-Luc Dekeyser	Model Transformations for the Compilation of Multi-processor Systems-on-Chip.	GTTSE	2007	DBLP DOI BibTeX RDF
27	Lukas Seiling, Rita Gsenger, Filmona Mulugeta, Marte Henningsen, Lena Mischau, Marie Schirmbeck	Beware: Processing of Personal Data - Informed Consent Through Risk Communication.	IEEE Trans. Prof. Commun.	2024	DBLP DOI BibTeX RDF
27	Amar D'Adamo, Marte Roel Lesur, Laia Turmo Vidal, Mohammad Mahdi Dehshibi, D. De La Prida, Joaquín R. Díaz Durán, Luis Antonio Azpicueta-Ruiz, Aleksander Väljamäe, Ana Tajadura-Jiménez	SoniWeight Shoes: Investigating Effects and Personalization of a Wearable Sound Device for Altering Body Perception and Behavior.	CoRR	2024	DBLP DOI BibTeX RDF
27	Georg Gottlob, Marco Manna, Cinzia Marte	Dyadic Existential Rules.	Theory Pract. Log. Program.	2024	DBLP DOI BibTeX RDF
27	Monika Ritsch-Marte	Optical Tomographic Imaging of Acoustically Levitated Biological Samples.	PHOTOPTICS	2024	DBLP BibTeX RDF
27	Linan Liu, Wendy Zhou, Marte Gutierrez	Mapping Tunneling-Induced Uneven Ground Subsidence Using Sentinel-1 SAR Interferometry: A Twin-Tunnel Case Study of Downtown Los Angeles, USA.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
27	Marte Hoff Hagen, Daniela Soares Cruzes, Letizia Jaccheri, Jerry Alan Fails	Evaluating digital creativity support for children: A systematic literature review.	Int. J. Child Comput. Interact.	2023	DBLP DOI BibTeX RDF
27	Georg Gottlob, Marco Manna, Cinzia Marte	Dyadic Existential Rules.	CoRR	2023	DBLP DOI BibTeX RDF
27	Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Simona Perri	Data Augmentation: a Combined Inductive-Deductive Approach featuring Answer Set Programming.	CoRR	2023	DBLP DOI BibTeX RDF
27	Astrid Elisabeth Kure, Lisbeth M. Brevik, Marte Blikstad-Balas	Digital skills critical for education: Video analysis of students' technology use in Norwegian secondary English classrooms.	J. Comput. Assist. Learn.	2023	DBLP DOI BibTeX RDF
27	Rodrigo F. Daguano, Leopoldo Rideki Yoshioka, Márcio Lobo Netto, Cláudio Luiz Marte, Cassiano Augusto Isler, Max Mauro Dias Santos, João Francisco Justo	Automatic Calibration of Microscopic Traffic Simulation Models Using Artificial Neural Networks.	Sensors	2023	DBLP DOI BibTeX RDF
27	Marte J. Sætra, Ada J. Ellingsrud, Marie E. Rognes	Neural activity induces strongly coupled electro-chemo-mechanical interactions and fluid flow in astrocyte networks and extracellular space - A computational study.	PLoS Comput. Biol.	2023	DBLP DOI BibTeX RDF
27	Siri Marte Schlanbusch, Jing Zhou 0002	Adaptive quantized control of uncertain nonlinear rigid body systems.	Syst. Control. Lett.	2023	DBLP DOI BibTeX RDF
27	Laia Turmo Vidal, José Manuel Vega-Cebrián, Amar D'Adamo, Marte Roel Lesur, Mohammad Mahdi Dehshibi, Joaquín Díaz Durán, Ana Tajadura-Jiménez	On Futuring Body Perception Transformation Technologies: Roles, Goals and Values.	MindTrek	2023	DBLP DOI BibTeX RDF
27	Ana Paula dos Santos Tavares, Edgar Whitley, Liv Marte Nordhaug, Johan Sæbø, Malavika Raghavan, PK Senyo, Silvia Masiero	Digital Public Goods and vulnerable populations.	ECIS	2023	DBLP BibTeX RDF
27	Alejandro García-González, Rita Quetziquel Fuentes-Aguilar, Yenira Tlacuilo-Parra, Marte Mendivil, Marco Terriquez, Alfonso Reyes-Salazar	Electromyographic signals analysis to assess the response of a proprioceptive neuromuscular facilitation pattern execution.	EMBC	2023	DBLP DOI BibTeX RDF
27	Siri Marte Schlanbusch, Jing Zhou 0002	Adaptive Control of an Uncertain 2-DOF Helicopter System with Input Delays.	IECON	2023	DBLP DOI BibTeX RDF
27	Victor Eriksson, Sourav Sengupta 0004, Ann-Charlott Pedersen, Elsebeth Holmen, Heidi Carin Dreyer, Marte Daae-Qvale Holmemo, Signe Sagli, Sigrid Eliassen Sand, Sunniva Økland, Daryl Powell, Natalia Iakymenko, Serkan Eren, Eirin Lodgaard	Tying Digitalization to the Lean Mindset: A Strategic Digitalization Perspective.	APMS (1)	2023	DBLP DOI BibTeX RDF
27	Natalia Iakymenko, Daryl Powell, Eivind Reke, Marte Daae-Qvale Holmemo, Eirik Bådsvik Hamre Korsen, Signe Sagli, Sigrid Eliassen Sand, Sunniva Økland	Lean and Digitalization Status in Manufacturing Companies Located in Norway.	APMS (1)	2023	DBLP DOI BibTeX RDF
27	Edwin Marte Zorrilla, Gadhaun Aslam, Naqash Gerard, Idalis Villanueva Alarcón, Isabella Victoria	Estimating Multisensorial Experiences: Designing and Implementing a Multimodal Lab.	FIE	2023	DBLP DOI BibTeX RDF
27	Siri Marte Schlanbusch, Jing Zhou 0002, Rune Schlanbusch	Adaptive Attitude Control of a Rigid Body With Input and Output Quantization.	IEEE Trans. Ind. Electron.	2022	DBLP DOI BibTeX RDF
27	Rie Kamikubo, Lining Wang, Crystal Marte, Amnah Mahmood, Hernisa Kacorri	Data Representativeness in Accessibility Datasets: A Meta-Analysis.	CoRR	2022	DBLP DOI BibTeX RDF
27	Darja Smite, Anastasiia Tkalich, Nils Brede Moe, Efi Papatheocharous, Eriks Klotins, Marte Pettersen Buvik	Changes in perceived productivity of software engineers during COVID-19 pandemic: The voice of evidence.	J. Syst. Softw.	2022	DBLP DOI BibTeX RDF
27	Genelle F. Harrison, Laura Ann Leaton, Erica A. Harrison, Katherine M. Kichula, Marte K. Viken, Jonathan Shortt, Christopher R. Gignoux, Benedicte A. Lie, Damjan Vukcevic, Stephen Leslie, Paul J. Norman	Allele imputation for the killer cell immunoglobulin-like receptor KIR3DL1/S1.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
27	Marte Pettersen Buvik, Anastasiia Tkalich	Work Engagement in Agile Teams: The Missing Link Between Team Autonomy, Trust, and Performance?	XP	2022	DBLP DOI BibTeX RDF
27	Jing Zhou 0002, Siri Marte Schlanbusch	Adaptive Quantized Control of Offshore Underactuated Cranes with Uncertainty.	ICCA	2022	DBLP DOI BibTeX RDF
27	Georg Gottlob, Marco Manna, Cinzia Marte	Dyadic Existential Rules.	Datalog	2022	DBLP BibTeX RDF
27	Rie Kamikubo, Lining Wang, Crystal Marte, Amnah Mahmood, Hernisa Kacorri	Data Representativeness in Accessibility Datasets: A Meta-Analysis.	ASSETS	2022	DBLP DOI BibTeX RDF
27	Marte Hoff Hagen	Designing Digital Psychosocial Follow-up of Survivors of Childhood Critical Illness.	IDC	2022	DBLP DOI BibTeX RDF
27	Pierangela Bruno, Francesco Calimeri, Cinzia Marte	DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models.	LPNMR	2022	DBLP DOI BibTeX RDF
27	Siri Marte Schlanbusch, Ole Morten Aamo, Jing Zhou 0002	Attitude Control of a 2-DOF Helicopter System with Input Quantization and Delay.	IECON	2022	DBLP DOI BibTeX RDF
27	Marte Pettersen Buvik, Anastasiia Tkalich	Psychological Safety in Agile Software Development Teams: Work Design Antecedents and Performance Consequences.	HICSS	2022	DBLP BibTeX RDF
27	Marte Valerio Falcone, Gaetano Giunta, Luca Pallotta	An Effective Convolution Neural Network for Automatic Recognition of Analog and Digital Signal Modulations for Cognitive SDR Applications.	IWSDA	2022	DBLP DOI BibTeX RDF
27	Kendall Wnuk, Wendy Zhou, Marte Gutierrez	Mapping Urban Excavation Induced Deformation in 3D via Multiplatform InSAR Time-Series.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
27	Clemens Kirisits, Michael Quellmalz, Monika Ritsch-Marte, Otmar Scherzer, Eric Setterqvist, Gabriele Steidl	Fourier reconstruction for diffraction tomography of an object rotated into arbitrary orientations.	CoRR	2021	DBLP BibTeX RDF
27	Marte Pettersen Buvik, Anastasiia Tkalich	Psychological Safety in Agile Software Development Teams: Work Design Antecedents and Performance Consequences.	CoRR	2021	DBLP BibTeX RDF
27	Mengqi Zhu, Marte Gutierrez, Hehua Zhu, J. Woody Ju, Sharmin Sarna	Performance Evaluation Indicator (PEI): A new paradigm to evaluate the competence of machine learning classifiers in predicting rockmass conditions.	Adv. Eng. Informatics	2021	DBLP DOI BibTeX RDF
27	Georg H. Erharter, Simon Oberhollenzer, Anna Fankhauser, Roman Marte, Thomas Marcher	Learning decision boundaries for cone penetration test classification.	Comput. Aided Civ. Infrastructure Eng.	2021	DBLP DOI BibTeX RDF
27	Marte J. Sætra, Gaute T. Einevoll, Geir Halnes	An electrodiffusive neuron-extracellular-glia model for exploring the genesis of slow potentials in the brain.	PLoS Comput. Biol.	2021	DBLP DOI BibTeX RDF
27	Jos Benders, Marte Daae-Qvale Holmemo, Jonas A. Ingvaldsen	'Fake Lean'; On Deviating from an Ambiguous Essence.	ELEC	2021	DBLP DOI BibTeX RDF
27	Daryl John Powell, Erlend Alfnes, Marte Daae-Qvale Holmemo, Eivind Reke (eds.)	Learning in the Digital Era - 7th European Lean Educator Conference, ELEC 2021, Trondheim, Norway, October 25-27, 2021, Proceedings	ELEC	2021	DBLP DOI BibTeX RDF
27	Marte Daae-Qvale Holmemo, Jonas A. Ingvaldsen, Eirik B. H. Korsen	When Digital Lean Tools Need Continuous Improvement.	ELEC	2021	DBLP DOI BibTeX RDF
27	Miguel Euclides Aybar Mejía, Deyslen Mariano-Hernández, Jesús Coronado Marte, Adrián Contreras, Jimmy Arias	Integration of Internet of Things Technologies in Government Buildings Through Low-Cost Solutions.	ICSC-Cities	2021	DBLP DOI BibTeX RDF
27	Siri Marte Schlanbusch, Jing Zhou 0002, Rune Schlanbusch	Adaptive Backstepping Attitude Control of a Rigid Body with State Quantization.	CDC	2021	DBLP DOI BibTeX RDF
27	Kristina Kjersem, Marte F. Giskeødegård	The Unexpected Consequences of the Covid 19 on Managing ETO Projects.	APMS (4)	2021	DBLP DOI BibTeX RDF
27	Andreas Kristiansen Melzer, Anna Kristine Roarsen, Marte Hoff Hagen, Letizia Jaccheri	Towards Suitable Free-to-Play Games for Children.	ICEC	2021	DBLP DOI BibTeX RDF
27	Joaquin Barreyro, Leopoldo Rideki Yoshioka, Cláudio Luiz Marte	A non-intrusive category identification method based on the binary image of profile vehicles and CNN classification algorithm.	ITSC	2021	DBLP DOI BibTeX RDF
27	Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Marco Manna	Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images.	RuleML+RR	2021	DBLP DOI BibTeX RDF
27	Siri Marte Schlanbusch, Jing Zhou 0002	Adaptive Backstepping Control of a 2-DOF Helicopter System in the Presence of Quantization.	ICCMA	2021	DBLP DOI BibTeX RDF
27	Idalis Villanueva Alarcón, Edwin Marte Zorrilla, Jenefer Husman, Matthew Graham	Human-Technology Frontier: Measuring Student Performance-Related Responses to Authentic Engineering Education Activities via Physiological Sensing.	AHFE (8)	2021	DBLP DOI BibTeX RDF
27	Marte J. Sætra, Gaute T. Einevoll, Geir Halnes	An electrodiffusive, ion conserving Pinsky-Rinzel model with homeostatic mechanisms.	PLoS Comput. Biol.	2020	DBLP DOI BibTeX RDF
27	Siri Marte Schlanbusch, Jing Zhou 0002	Adaptive Backstepping Control of a 2-DOF Helicopter System with Uniform Quantized Inputs.	IECON	2020	DBLP DOI BibTeX RDF
27	Kristina Kjersem, Marte F. Giskeødegård	Planning Procurement Activities in ETO Projects.	APMS (2)	2020	DBLP DOI BibTeX RDF
27	Pierangela Bruno, Cinzia Marte, Francesco Calimeri	Understanding Automatic COVID-19 Classification Using Chest X-ray images.	XAI.it@AI*IA	2020	DBLP BibTeX RDF
27	Peter Elbau, Monika Ritsch-Marte, Otmar Scherzer, Denise Schmutz	Inverse Problems of Trapped Objects.	CoRR	2019	DBLP BibTeX RDF
27	Cinzia Marte	Space Bounds in Ontological Reasoning via Extended Bell Numbers.	SEBD	2019	DBLP BibTeX RDF
27	Kristina Kjersem, Marte F. Giskeødegård	Changing Markets: Implications for the Planning Process in ETO Companies.	APMS (1)	2019	DBLP DOI BibTeX RDF
27	Giovanni Amendola, Cinzia Marte	Extending Bell Numbers for Parsimonious Chase Estimation.	JELIA	2019	DBLP DOI BibTeX RDF
27	Weronika T. Adrian, Nicola Leone, Marco Manna, Cinzia Marte	Document Layout Analysis for Semantic Information Extraction.	AI*IA	2017	DBLP DOI BibTeX RDF
27	Elen Collaço de Oliveira, Philippe Bertrand, Marte Ernesto Roel Lesur, Priscila Palomo, Marcelo M. P. Demarzo, Ausias Cebolla, Rosa María Baños, Romero Tori	Virtual Body Swap: A New Feasible Tool to Be Explored in Health and Education.	SVR	2016	DBLP DOI BibTeX RDF
27	Renata M. Maré, Carlos E. Cugnasca, Cláudio Luiz Marte, Guido Gentile	Intelligent transport systems and visible light communication applications: An overview.	ITSC	2016	DBLP DOI BibTeX RDF
27	Marte Fodstad, Kjetil T. Midthun, Asgeir Tomasgard	Adding flexibility in a natural gas transportation network using interruptible transportation services.	Eur. J. Oper. Res.	2015	DBLP DOI BibTeX RDF
27	Audun Jøsang, Marte Ødegaard, Erlend Oftedal	Cybersecurity Through Secure Software Development.	World Conference on Information Security Education	2015	DBLP DOI BibTeX RDF
27	Marielle Christiansen, Kjetil Fagerholt, Nikolaos Panagiotis Rachaniotis, Ingeborg Tveit, Marte Viktoria Øverdal	A Decision Support Model for Routing and Scheduling a Fleet of Fuel Supply Vessels.	ICCL	2015	DBLP DOI BibTeX RDF