Research report
Abstract
No abstract.Issues
147 Hisdal, Ellen (1990). Infinite-valued logic based on two-valued logic and probability http://urn.nb.no/URN:NBN:no-13716 |
148 Hisdal, Ellen (1990). Infinite-valued logic based on two-valued logic and probability http://urn.nb.no/URN:NBN:no-13717 |
206 Dahl, Ole-Johan and Olaf Owe (1995). On the use of subtypes in ABEL http://urn.nb.no/URN:NBN:no-13707 |
207 Batiansen, Tore Jahn (2006). Parametric subtypes in ABEL http://urn.nb.no/URN:NBN:no-13302 |
210 Dahl, Ole-Johan and Bjørn Kristoffersen (1995). On introducting the high order functions in ABEL http://urn.nb.no/URN:NBN:no-13706 |
225 Caseiro, Vuokko-Helena (1996) Criticality Conditions on Equations to Ensure Poly-time Functions http://urn.nb.no/URN:NBN:no-13304 |
226 Caseiro, Vuokko-Helena (1996). An equational characterization of the poly-time functions on any constructor data structure 226 http://urn.nb.no/URN:NBN:no-13303 |
226 Temperini, Marco (1996). Specialization inheritance and specialization bounded polymorphism 226 http://urn.nb.no/URN:NBN:no-21584 |
236 Kugiumtzis, Dimitris; Christophersen, Nils D. (1997) State space reconstruction : method of delays vs singular spectrum approach http://urn.nb.no/URN:NBN:no-13311 |
240 Dahl, Geir (1997). Majorization, polyhedra and statistical testing problems 240 http://urn.nb.no/URN:NBN:no-13313 |
242 Østby, Joar Martin (1997). Full custom implementation of a high performance input buffered switch architecture http://urn.nb.no/URN:NBN:no-21586 |
245 Skjellaug, Bjørn (1997). Temporal Data: Time and Object Databases http://urn.nb.no/URN:NBN:no-9956 |
246 Skjellaug, Bjørn (1997). Temporal Data: Time and Relational Databases http://urn.nb.no/URN:NBN:no-9957 |
249 Dahl, Geir (1997). Stable set polytopes for a class of circulant graphs http://urn.nb.no/URN:NBN:no-13324 |
250 Dahl, Geir (1997). The 2-hop spanning tree problem http://urn.nb.no/URN:NBN:no-13704 |
252 Goebel, Vera, Bjørn Skjellaug and Eini Ilan (1997). A Temporal Data Model for Multimedia Database Systems http://urn.nb.no/URN:NBN:no-9958 |
253 Skjellaug, Bjørn and Arne-Jørgen Berre (1997). Multi-dimensional Time Support for Spatial Data Models http://urn.nb.no/URN:NBN:no-9959 |
256 Dahl, Geir (1997). Notes on polyhedra associated with hop-constrained paths http://urn.nb.no/URN:NBN:no-13323 |
258 Nilsen, Frode B. (1998). GMSim http://urn.nb.no/URN:NBN:no-18971 |
259 Nilsen, Frode B. (1998). Queuing systems http://urn.nb.no/URN:NBN:no-18972 |
262 Dahl, Geir, G. Storvik and A. Fadnes (1998). Large scale integer programs in image analysis http://urn.nb.no/URN:NBN:no-13312 |
263 Dahl, Geir (1998). Matrix majorization http://urn.nb.no/URN:NBN:no-13314 |
269 Dahl, Geir (1999). A note on nonnegative diagonally dominant matrices http://urn.nb.no/URN:NBN:no-13315 |
276 Skjellaug, Bjørn (1999). A formal comparison of ADT-based dimensional query languages http://urn.nb.no/URN:NBN:no-21580 |
304 Runde, Ragnhild Kobro and Ketil Stølen (2003). What is model driven architecture? http://urn.nb.no/URN:NBN:no-18703 |
306 Haugen, Øystein and Ketil Stølen (2003). STAIRS - Steps to Analyze Interactions with Refinement Semantics http://urn.nb.no/URN:NBN:no-9960 |
307 Halvorsen, Pål, Carsten Griwodz, Ketil Lund, Thomas Plagemann and Vera Goebel (2003). Storage systems support for multimedia applications http://urn.nb.no/URN:NBN:no-18735 |
308 Aredo, Demissie B. and Olaf Owe (2004). Formal System Development Using Method Integration: a Case Study http://urn.nb.no/URN:NBN:no-9955 |
309 Haugen, Øystein, Knut Eilif Husa, Ragnhild Kobro Runde and Ketil Stølen (2006). Why timed sequence diagrams require three-event semantics http://urn.nb.no/URN:NBN:no-18704 |
311 Göktürk, Erek, Ingrid M. Rosvall and Negil S. Gutierrez (2004). Multi-Perspective Multi-Hierarchical Topic Maps http://urn.nb.no/URN:NBN:no-9954 |
316 Ölveczky, Peter Csaba (2004). Real-Time Maude 2.3 manual http://urn.nb.no/URN:NBN:no-18692 |
317 Hagalisletto, Anders Moen (2004). Complete fragments of arithmetic http://urn.nb.no/URN:NBN:no-18691 |
318 Hagalisletto, Anders Moen (2004). Non-standard models for MINPAR http://urn.nb.no/URN:NBN:no-18739 |
319 Pužar, Matija, Jon Andersson, Thomas Plagemann and Yves Roudier (2005). SKiMPy: a simple key management protocol for MANETs in emergency and rescue operations http://urn.nb.no/URN:NBN:no-18741 |
320 Dæhlen, Morten, Tom Lyche, Knut Mørken and Hans-Peter Seidel (2006). Multiresolution analysis based on quadratic Hermite interpolation http://urn.nb.no/URN:NBN:no-12230 |
321 Pužar, Matija and Thomas Plagemann (2005). NEMAN: a network emulator for mobile ad-hoc networks http://urn.nb.no/URN:NBN:no-18740 |
323 Refsdal, Atle, Knut Eilif Husa and Ketil Stølen (2007). Specification and Refinement of Soft Real-time Requirements Using Sequence Diagrams http://urn.nb.no/URN:NBN:no-14765 |
325 Runde, Ragnhild Kobro, Øystein Haugen and Ketil Stølen (2007). Refining UML interactions with underspecification and nondeterminism http://urn.nb.no/URN:NBN:no-18760 |
326 Runde, Ragnhild Kobro, Øystein Haugen and Ketil Stølen (2005). How to transform UML neg into a useful construct http://urn.nb.no/URN:NBN:no-18759 |
330 Lund, Mass Soldahl and Ketil Stølen (2007). A fully general operational semantics for UML sequence diagrams with potential and mandatory choice http://urn.nb.no/URN:NBN:no-18411 |
331 Schneider, Gerardo (2005). Towards computing phase portrait objects of polygonal hybrid systems on surfaces http://urn.nb.no/URN:NBN:no-18780 |
332 Rossebø, Judith Ellen Yarranton and Rolv Bræk (2007). Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition http://urn.nb.no/URN:NBN:no-14762 |
333 Giambagi, Pablo, Olaf Owe, Gerardo Schneider and Anders P. Ravn (2006). Contract-based Internet service software development http://urn.nb.no/URN:NBN:no-18781 |
334 Hauge, Mariann (2006). Multicast in a Heterogeneous Cellular and Ad Hoc Network http://urn.nb.no/URN:NBN:no-15312 |
335 Refsdal, Atle, Ragnhild Kobro Runde and Ketil Stølen (2006). Underspecification, inherent nondeterminism and probability in sequence diagrams http://urn.nb.no/URN:NBN:no-18758 |
336 Pace, Gordon and Gerardo Schneider (2006). Static analysis of SPDIs for state-space reduction http://urn.nb.no/URN:NBN:no-18782 |
337 Lund, Mass Soldal, Judith E.Y. Rossebø, Atle Refsdal and Knut-Eilif Husa (2006). A conceptual model for service availability http://urn.nb.no/URN:NBN:no-13469 |
338 Göktürk, Erek (2006). Elements and stakeholders of network simulation http://urn.nb.no/URN:NBN:no-18811 |
340 Johnsen, Frank Trethan, Trude Hafsøe, Thomas Plagemann and Vera Goebel (2006). Challenges in Combining Overlay Networks and Cooperative Caching http://urn.nb.no/URN:NBN:no-13309 |
341 Brændeland, Gyrd and Ketil Stølen (2006). A semantic paradigm for component-based specification integrating a notion of security risk http://urn.nb.no/URN:NBN:no-18901 |
342 Brændeland, Gyrd and Ketil Stølen (2010). Using model-driven risk analysis in component-based development http://urn.nb.no/URN:NBN:no-27118 |
343 Gerard, S., S. Graf, Ø. Haugen, I. Ober and B. Selic (2006). MARTES 2006 at MoDELS 2006 http://urn.nb.no/URN:NBN:no-13133 |
344 Halvorsen, Oddleif, Ragnhild Kobro Runde and Øystein Haugen (2008). Time exceptions in sequence diagrams http://urn.nb.no/URN:NBN:no-18846 |
345 Runde, Ragnhild Kobro (2007). STAIRS case study http://urn.nb.no/URN:NBN:no-18847 |
346 Runde, Ragnhild Kobro, Atle Refsdal and Ketil Stølen (2007). Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice http://urn.nb.no/URN:NBN:no-18848 |
347 Refsdal, Atle, Ragnhild Kobro Runde and Ketil Stølen (2007). Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice http://urn.nb.no/URN:NBN:no-18849 |
348 Prisacariu, Christian and Gerardo Schneider (2007). Towards a formal definition of electronic contracts http://urn.nb.no/URN:NBN:no-18785 |
349 Runde, Ragnhild Kobro, Øystein Haugen and Ketil Stølen (2007). The pragmatics of STAIRS http://urn.nb.no/URN:NBN:no-18850 |
350 Holm, Sverre (2007). Lydkvalitetet i DAB digitalradio http://urn.nb.no/URN:NBN:no-14275 |
351 Dovland, Johan, Einar B. Johnsen and Olaf Owe (2007). A compositional proof system for dynamic object systems http://urn.nb.no/URN:NBN:no-18788 |
352 Bøhagen, Frode, Pål Orten and Geir E. Øien (2007). Design of capacity-optimal high-rank line-of-sight MIMO channels http://urn.nb.no/URN:NBN:no-14425 |
353 Bøhagen, Frode, Pål Orten and Geir E. Øien (2007). Modeling and analysis of a 40 GHz MIMO system for fixed wireless access http://urn.nb.no/URN:NBN:no-14427 |
358 Sanderson, Norun Christine, Kathrine Stemland Skjelsvik, Ovidiu Valentin Drugan, Matija Pužar, Vera Göbel, Ellen Munthe-Kaas and Thomas Plagemann (2007). Developing mobile middleware http://urn.nb.no/URN:NBN:no-18779 |
359 Schneider, Gerardo (2007). On the decidability of the reachability problem for GSPDIs http://urn.nb.no/URN:NBN:no-18784 |
361 Prisacariu, Christian and Gerardo Schneider (2007). An algebraic structure for the action-based contract language CL theoretical results http://urn.nb.no/URN:NBN:no-18787 |
362 Pace, Gordon, Christian Prisacariu and Gerardo Schneider (2007). Model checking contracts http://urn.nb.no/URN:NBN:no-18786 |
363 Brændeland, Gyrd, Atle Refsdal and Ketil Stølen (2011). A denotational model for component-based risk analysis http://urn.nb.no/URN:NBN:no-27090 |
364 Ábrahám, Erika, Immo Grabe, Andreas Grüner and Martin Steffen (2007). Behavioral interface description of an object-oriented language with futures and promises http://urn.nb.no/URN:NBN:no-18777 |
365 Torjusen, Arild, Olaf Owe and Gerardo Schneider (2007). Towards integration of XML in the Creol object-oriented language http://urn.nb.no/URN:NBN:no-18693 |
367 Grønmo, Roy, Fredrik Sørensen, Birger Møller-Pedersen and Stein Krogdahl (2007). Weaving of UML sequence diagrams using STAIRS http://urn.nb.no/URN:NBN:no-18590 |
368 Dovland, Johan, Einar B. Johnsen, Olaf Owe and Martin Steffen (2007). Lazy behavioral subtyping http://urn.nb.no/URN:NBN:no-18810 |
369 Lekova, Anna, Katrine Stemland Skjelsvik, Thomas Plagemann and Vera Goebel (2007). Fuzzy logic-based approximate event notification in sparse MANETs http://urn.nb.no/URN:NBN:no-18829 |
370 Plagemann, Thomas, Katrine Stemland Skjelsvik, Matija Pužar, Ovidiu Drugan, Vera Goebel and Ellen Munthe-Kaas (2007). Using routing information to optimize synchronization of replicated event notification mediators in sparse MANETs http://urn.nb.no/URN:NBN:no-18830 |
371 Prisacariu, Christian and Gerardo Schneider (2008). CL - a logic for reasoning about legal contracts: - Semantics http://urn.nb.no/URN:NBN:no-18857 |
372 Pace, Gordon J. and Gerardo Schneider (2008). Relaxing goodness is still good for SPDIs http://urn.nb.no/URN:NBN:no-18783 |
375 Grabe, Immo, Martin Steffen and Arild B. Torjussen (2008). Executable interface specifications for testing asynchronous Creol components http://urn.nb.no/URN:NBN:no-21879 |
377 Pace, Gordon J. and Gerardo Schneider (2008). FLACOS’08 Workshop proceedings http://urn.nb.no/URN:NBN:no-21859 |
392 Steffen, Martin; Tran, Thi Mai Thuong (2009) Safe commits for transactional featherweight Java http://urn.nb.no/URN:NBN:no-34240 |
397 Bentea, Lucian and Olaf Owe (2010). Towards an object-oriented modeling language for probabalistic open distributed systems http://urn.nb.no/URN:NBN:no-26097 |
399 Razick , Sabry and Ian M. Donaldson (2010). Design and prototype of a system to integrate and visualize biological interaction data http://urn.nb.no/URN:NBN:no-26171 |
400 Razick, Sabry and Ian M. Donaldson (2010). iRefIndex : Interaction Reference Index http://urn.nb.no/URN:NBN:no-26172 |
401 Din, Crystal Chang, John Dovland, Einar Broch Johnsen and Olaf Owe (2010). Observable behavior of distributed systems http://urn.nb.no/URN:NBN:no-26369 |
404 Pun, Ka I., Martin Steffen and Volker Stolz (2011). Deadlock checking by a behavioral effect system for lock handling http://urn.nb.no/URN:NBN:no-27521 |
406 Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin (2011). Estimating resource bounds for software transactions http://urn.nb.no/URN:NBN:no-34140 |
408 Majewski, Krzysztof Michal (2011). Implementing timed extensions of Petri nets in Real-Time Maude http://urn.nb.no/URN:NBN:no-28696 |
409 Kyas, Marcel, Sun Meng and Volker Stolz (2011). TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software http://urn.nb.no/URN:NBN:no-29716 |
410 Arbab, Farhad and Peter Csaba Õlveczky (2011). 8th International Symposium on Formal Aspects of Component Software : prelinary proceedings http://urn.nb.no/URN:NBN:no-34141 |
411 Ivanovska, Magdalena and Martin Giese (2011). A logic-based approach to decision making http://urn.nb.no/URN:NBN:no-29702 |
412 Hansen, Hallstein, Gerardo Schneider and Martin Steffen (2011). Reachability analysis of complex planar hybrid systems http://urn.nb.no/URN:NBN:no-29825 |
414 Tran, Thi Mai Thuong, Martin Steffen and Hoang Truong (2011). Estimating resource bounds for software transactions http://urn.nb.no/URN:NBN:no-30010 |
415 Din, Crystal Chang, Johan Dovland and Olaf Owe (2012). An approach to compositional reasoning about concurrent objects and futures http://urn.nb.no/URN:NBN:no-30589 |
416 Pun, Ka I., Martin Steffen and Volker Stolz (2012). Behaviour inference for deadlock checking http://urn.nb.no/URN:NBN:no-34241 |
418 Rodriguez-Fernandez, Daniel, Stein Kristiansen, Morten Gunnar Bjørner Lindeberg, Ovidiu Valentin Drugan, Sergio Cabrero, Thomas Peter Plagemann, Vera Hermine Goebel, Ellen Munthe-Kaas, Xabiel Garcia Pañeda and Knut Omang (2012). Delay Tolerant Streaming in Rescue Scenarios: Requirements Analysis and Resulting Industrial Issues - Version 2 http://urn.nb.no/URN:NBN:no-31955 |
426 Johansen, Christian; Owe, Olaf (2012). Dynamic Structural Operational Semantics (preliminary version). http://hdl.handle.net/10852/69680 |
429 Setty, Vinay Jayarama; Vitenberg, Roman; Kreitz, Gunnar; Urdaneta, Guido; van Steen, Maarten (2013). Maximizing the Number of Satisfied Subscribers in Pub/Sub Systems Under Capacity Constraints. http://urn.nb.no/URN:NBN:no-41159 |
430 Bentea, Lucian; Ølveczky, Peter Csaba (2014). Probabilistic Real-Time Rewrite Theories and Their Expressive Power http://urn.nb.no/URN:NBN:no-44156 |
431 Bentea, Lucian; Ølveczky, Peter Csaba (2014). A Probabilistic Strategy Language for Probabilistic Rewrite Theories and its Application to Cloud Computing http://urn.nb.no/URN:NBN:no-44157 |
432 Bentea, Lucian; Ølveczky, Peter Csaba; Bentea, Eduard (2014). Formalization and Simulation of alpha-Synuclein Aggregation and Propagation under Different Pathobiological Conditions in PSMaude http://hdl.handle.net/10852/39305 |
434 Khademi, Naeem; Ros, David; Welzl, Michael (2013). The New AQM Kids on the Block: Much Ado About Nothing? http://urn.nb.no/URN:NBN:no-38868 |
435 Din, Crystal Chang; Owe, Olaf; Bubel, Richard (2013). A comparison of runtime assertion checking and theorem proving for concurrent and distributed systems http://urn.nb.no/URN:NBN:no-41223 |
436 Setty, Vinay Jayarama (2014). Cost-Effective Resource Allocation for Deploying Pub/Sub on Cloud http://urn.nb.no/URN:NBN:no-44086 |
437 Din, Crystal Chang; Owe, Olaf (2014). Compositional and sound seasoning about active objects with shared futures http://urn.nb.no/URN:NBN:no-41224 |
440 Islam, Safiqul; Welzl, Michael; Gjessing, Stein; Khademi, Naeem (2014). Coupled Congestion Control for RTP Media http://urn.nb.no/URN:NBN:no-44080 |
441 Munthe-Kaas, Ellen (2014). A Note on the Complexity of Some Quality of Information Optimisation Problems in Sensor Networks http://urn.nb.no/URN:NBN:no-45947 |
442 Culén, Alma Leora; Følstad, Asbjørn (2014). Innovation in HCI: what can we learn from design thinking? http://urn.nb.no/URN:NBN:no-46114 |
447 Kjernsmo, Kjetil (2015). Addendum to a survey of HTTP caching on the Semantic Web http://urn.nb.no/URN:NBN:no-47777 |
450 Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin (2016). Rule-Based Consistency Checking of Railway Infrastructure Designs. http://urn.nb.no/URN:NBN:no-53505 |
451 Johansen, Christian; Norman, Håkon; Hildebrandt, Thomas (2016). Non-interleaving Operational Semantics for the Pi-calculus - technicalities. http://urn.nb.no/URN:NBN:no-53911 |
452 Johansen, Christian; Pedersen, Tore; Jøsang, Audun (2016). Reflections on Behavioural Computer Science. http://urn.nb.no/URN:NBN:no-53913 |
453 Johansen, Christian; Jøsang, Audun; Migdal, Denis (2016) Usable Authentication with an Offline Trusted Device Proxy Architecture (long version). http://hdl.handle.net/10852/58863 |
454 Johansen, Christian; Jøsang, Audun; Migdal, Denis (2016) Offpad: Offline personal authenticating device: implementations and applications. http://urn.nb.no/URN:NBN:no-62025 |
455 Mauro, Jacopo (2016) Zephyrus2: On the Fly Deployment Optimization using SMT and CP Technologies - Technical Report. http://urn.nb.no/URN:NBN:no-55179 |
460 Karlsen, Leif Harald; Giese, Martin (2017) An Efficient Representation of Qualitative Spatial Information using Bintrees http://urn.nb.no/URN:NBN:no-56970 |
461 Berg, Henning; Yu, Ingrid Chieh (2017) Generic Metamodel Refactoring with Automatic Detection of Applicability and Co-evolution of Artefacts http://urn.nb.no/URN:NBN:no-57602 |
462 Berg, Henning (2017) Integration of Operational Language Semantics using Exported Namespaces http://urn.nb.no/URN:NBN:no-57600 |
465 Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo (2017) Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version) http://urn.nb.no/URN:NBN:no-58064 |
466 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian (2017) An operational semantics for a weak memory model with buffered writes, message passing, and goroutines http://urn.nb.no/URN:NBN:no-58448 |
467 Karlsen, Leif Harald; Giese, Martin (2017) Qualitatively Correct Bintrees With Roles http://urn.nb.no/URN:NBN:no-58082 |
468 Provensi, Lucas Luiz; Singh, Abhishek Kumar; Eliassen, Frank; Vitenberg, Roman (2017) Self-Organizing Media Streaming for Many-to-many Interaction http://urn.nb.no/URN:NBN:no-58225 |
469 Klungre, Vidar Norstein (2017) A Faceted Search Index for Graph Queries http://urn.nb.no/URN:NBN:no-59313 |
470 Erika Ábrahám and Silvia Lizeth Tapia Tarifa (Eds.) (2017) Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17) http://urn.nb.no/URN:NBN:no-60516 |
471 Kyriakos, Kritikos; Zoltán Ádám, Mann; Claus, Pahl; Stolz, Volker (2017) Joint Pre-Proceedings of the Workshops Associated with ESOCC 2017 http://urn.nb.no/URN:NBN:no-61464 |
473 Tokas, Shukun; Owe, Olaf; Johansen, Christian (2020) Code Diversification Mechanisms for Internet of Things (Revised Version 2) http://hdl.handle.net/10852/75932 |
477 Fava, Daniel Schnetzer, Martin Steffen, Volker Stolz (2018) Operational Semantics of a Weak Memory Model with Channel Synchronization http://hdl.handle.net/10852/61977 |
478 Zhu, Xiaojie; Ayday, Erman; Vitenberg, Roman (2018) A privacy-preserving framework for outsourcing location-based services to the cloud http://hdl.handle.net/10852/60435 |
482 Knoop, Jens; Steffen, Martin; Trancón y Widemann, Baltasar (2018) Tagungsband des 35ten Jahrestreffens der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" http://hdl.handle.net/10852/62723 |
483 Erika Ábrahám and Silvia Lizeth Tapia Tarifa (Eds.) (2018) Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) http://hdl.handle.net/10852/63284 |
487 Teymoori, Peyman; Hayes, David Andrew; Welzl, Michael; Gjessing, Stein (2019) Estimating an Additive Path Cost with Explicit Congestion Notification http://hdl.handle.net/10852/72709 |
488 Knoop, Jens; Steffen, Martin; Trancón y Widemann, Baltasar (2019) Tagungsband des 36ten Jahrestreffens der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" http://hdl.handle.net/10852/72477 |
492 Shrestha, Manish; Johansen, Christian; Noll, Josef (2019) Criteria for Security Classification of Smart Home Energy Management Systems (long version) http://hdl.handle.net/10852/76422 |
493 Shrestha, Manish; Johansen, Christian; Noll, Josef (2020) Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT (long version) http://hdl.handle.net/10852/77338 |
494 Teymoori, Peyman; Welzl, Michael (2020) LGCC: Food Chain Multi-Hop Congestion Control http://hdl.handle.net/10852/81711 |
495 Shrestha, Manish; Johansen, Christian; Moghadam, Maunya D.; Johansen, Johanna; Noll, Josef (2020) Tool Support for Security Classification for Internet of Things (long version) http://hdl.handle.net/10852/81060 |
498 Thapa, Ratan Bahadur; Giese, Martin (2021) A Source-to-Target Constraint rewriting for Direct Mapping (Extended Version) August 19, 2021 http://hdl.handle.net/10852/86913 |
498 Thapa, Ratan Bahadur; Giese, Martin (2021) A Source-to-Target Constraint rewriting for Direct Mapping (Extended Version) September 15, 2021 http://hdl.handle.net/10852/88136 |
499 Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch; Giese, Martin (2021) Programming and Debugging with Semantically Lifted States (Full Paper) http://hdl.handle.net/10852/85662 |
500 Ciko, Kristjon; Welzl, Michael; Teymoori, Peyman (2021) PEP-DNA: a Performance Enhancing Proxy for Deploying Network Architectures http://hdl.handle.net/10852/89270 |
502 Kamburjan, Eduard; Klungre, Vidar Norstein; Giese, Martin (2022) Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data (Full Paper) http://hdl.handle.net/10852/93465 |
503 Thapa, Ratan Bahadur; Giese, Martin (2022) Mapping Relational Database Constraints to SHACL (Extended Version) http://hdl.handle.net/10852/94789 |
504 Thapa, Ratan Bahadur; Giese, Martin (2023) Optimizing SPARQL Queries with SHACL (Extended Version) http://hdl.handle.net/10852/103167 |
505 Hallé, Sylvain; Soueidi, Chukri; Falcone, Yliès; Kamburjan, Eduard; Klungre, Vidar; Tapia Tarifa, Silvia Lizeth; Schlatte, Rudolf; Giese, Martin; Cameron, David; Johnsen, Einar Broch; Schiff, Jonas; Weigl, Alexander; Leucker, Martin; Sachenbacher, Martin; Vosteen, Lars Bernd; Thoma, Daniel; Ali, Aliyu Tanko; Pferscher, Andrea; Wunderling, Benjamin; Aichernig, Bernhard K.; Muskardin, Edi (2023) Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins http://hdl.handle.net/10852/101662 |
506 Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf (2023) Integrating Data Privacy Compliance in Active Object Languages http://hdl.handle.net/10852/102661 |