|
1. |
Antonsen, Roger. Free variable sequent calculi. Universitetet i Oslo, Institutt for Lingvistiske fag: Språk, logikk og informasjon (SLI) 2003 126 p. UiO
Untitled
|
|
2. |
Antonsen, Roger. Uniform Variable Splitting. Doctoral Programme of IJCAR 2004; 2004-07-04 - 2004-07-08 UiO
Untitled
|
|
3. |
Antonsen, Roger. Uniform Variable Splitting (Poster). Doctoral Programme of IJCAR 2004; 2004-07-04 - 2004-07-08 UiO
Untitled
|
|
4. |
Antonsen, Roger; Waaler, Arild. Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. Lecture Notes in Computer Science (LNCS) 2005 ;Volume LNAI.(3702) p. 33-47 UiO
Untitled
|
|
5. |
Aredo, Demissie; Owe, Olaf. Model-Based Verification in the Development of Dependable Systems. I: International Symposium on Information Technology: Coding and Computing (ITCC 2005). IEEE 2005 ISBN 0769523153. p. 327-334 UiO
Untitled
|
|
6. |
Arisholm, Erik; Briand, Lionel Claude L.; Johannessen, Eivind. A systematic and comprehensive investigation of methods to build and evaluate fault prediction models. Journal of Systems and Software 2010 ;Volume 83.(1) p. 2-17 UiO
Untitled
|
|
7. |
Axelsen, Eyvind W.; Johnsen, Einar Broch; Owe, Olaf. Toward Reflective Application Testing in Open Environments. Norsk Informatikkonferanse (NIK 2004); 2004-11-29 - 2004-12-01 UiO
Untitled
|
|
8. |
Baker, Paul; Dai, Zhen Ru; Grabowski, Jens; Haugen, Øystein; Samuelsson, Eric; Schieferdecker, Ina; Williams, Clay E.. The UML 2.0 Testing Profile. '8th Conference on Quality Engineering in Software Technology 2004' (CONQUEST 2004); 2004-09-22 - 2004-09-24 UiO
Untitled
|
|
9. |
Balasingham, Ilangko; Kyas, Marcel; Leister, Wolfgang; Liang, Xuedong; Østvold, Bjarte M.; Rossum, Anne van; Salden, Alfons; Steffen, Martin; Valk, Jeroen M.. CREDO - Deliverable D6.1: User driven requirements. : 2007 51 p. NR OUS UiO
Untitled
|
|
10. |
Barthe, Gilles; Pavlova, Mariela; Schneider, Gerardo. Precise analysis of memory consumption using program logics. I: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05). IEEE 2005 p. 86-95 UiO
Untitled
|
|
11. |
Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of parallel execution on multicore architectures with multilevel caches. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10487 LNCS. p. 58-77 UiO
Untitled
|
|
12. |
Bjørk, Joakim; Hagalisletto, Anders Moen. Challenges in Simulating Railway Systems Using Petri Nets. TRain Workshop at SEFM2005, Koblenz, Germany 5-6 September 2005; 2005-09-05 - 2005-09-06 UiO
Untitled
|
|
13. |
Bjørk, Joakim; Hagalisletto, Anders Moen; Enger, Pål. Large scale simulations of Railroad Nets. MOCA'06; 2006-06-26 UiO
Untitled
|
|
14. |
Briand, Lionel Claude L.; Labiche, Y.; Lin, Q.. Improving the coverage criteria of UML state machines using data flow analysis. Software testing, verification & reliability 2010 ;Volume 20.(3) p. 177-207 UiO
Untitled
|
|
15. |
Brændeland, Gyrd. Bruk av risikoanalyse for å analysere tillit i et nettbank-eksempel. Seminar om sikkerhet, tillit og personvern; 2004-06-24 - 2004-06-24 UiO
Untitled
|
|
16. |
Brændeland, Gyrd; Stølen, Ketil. Using risk analysis to assess user trust – A net-bank scenario. Second International Conference on Trust Management (iTrust'2004); 2004-03-29 - 2004-04-01 UiO
Untitled
|
|
17. |
Cachera, David; Jensen, Thomas; Pichardie, David; Schneider, Gerardo. Certified Memory Usage Analysis. I: FM 2005: Formal Methods. Springer Publishing Company 2005 ISBN 3-540-27882-6. p. 91-106 UiO
Untitled
|
|
18. |
den Braber, Folker; Lund, Mass Soldal; Stølen, Ketil. Using the CORAS threat modelling language to document threat scenarios for several Microsoft relevant technologies. Technical report STF90 A04057. : SINTEF IKT 2004 (ISBN 82-1403381-0) 79 p. UiO
Untitled
|
|
19. |
den Braber, Folker; Lund, Mass Soldal; Stølen, Ketil; Vraalsen, Fredrik. Integrating security in the development process with UML. I: Encyclopedia of Information Science and Technology. : Idea Group 2005 ISBN 9781591405535. p. 1560-1566 UiO
Untitled
|
|
20. |
den Braber, Folker; Lund, Mass Soldal; Stølen, Ketil; Vraalsen, Fredrik. Reuse of security assessment results under design and maintenance of IT systems. recent Object Oriented trends (rOOts 2004); 2004-04-28 - 2004-04-30 UiO
Untitled
|
|
21. |
den Braber, Folker; Lund, Mass Soldal; Vraalsen, Fredrik. Model-based analysis of security and trust using CORAS. SAFECOMP 2005; 2005-09-26 - 2005-09-30 UiO
Untitled
|
|
22. |
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. 22nd Nordic Workshop on Programming Theory (NWPT'2010); 2010-11-10 - 2010-11-12 UiO
Untitled
|
|
23. |
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. I: Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. Turku Finland: TUCS 2010 ISBN 978-952-12-2478-2. p. 26-27 UiO
Untitled
|
|
24. |
Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10501 LNAI. p. 22-43 UiO
Untitled
|
|
25. |
Din, Crystal Chang; Owe, Olaf. Compositional reasoning about active objects with shared futures. Formal Aspects of Computing 2015 ;Volume 27.(3) p. 551-572 UiO
Untitled
|
|
26. |
Din, Crystal Chang; Tapia Tarifa, Silvia Lizeth; Hähnle, Reiner; Johnsen, Einar Broch. History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. Lecture Notes in Computer Science (LNCS) 2015 ;Volume 9407. p. 217-233 UiO
Untitled
|
|
27. |
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. A Hoare Logic for Concurrent Objects with Asynchronous Method Calls. Oslo: IfI, UiO 2004 (ISBN 82-7368-268-4) 40 p. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(315) UiO
Untitled
|
|
28. |
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. A Hoare Logic for Objects with Asynchronous Method Calls. Nordic Workshop in Programming Theory; 2004-10-06 - 2004-10-08 UiO
Untitled
|
|
29. |
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Reasoning about Asynchronous Method Calls and Inheritance. Norsk Informatikkonferanse (NIK 2004); 2004-11-29 - 2004-12-01 UiO
Untitled
|
|
30. |
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Reasoning about Object Oriented and Distributed Systems in Presence of Asyncronous Method Calls. Nordic Workshop on Programming Theory; 2003-10-29 - 2003-10-31 UiO
Untitled
|
|
31. |
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Verification of Concurrent Objects with Asynchronous Method Calls. I: Proceedings IEEE International Conference on Software - Science, Technology and Engineering. IEEE 2005 ISBN 0-7695-2335-8. p. 141-151 UiO
Untitled
|
|
32. |
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf. Verification of Concurrent Objects with Asynchronous Method Calls. IEEE International Software Conference - Software, Technology & Engineering; 2005-02-22 - 2005-02-23 UiO
Untitled
|
|
33. |
Engan, Iselin; Langholm, Tore; Lian, Espen Hallenstvedt; Waaler, Arild. Default Reasoning with Preference Within Only Knowing Logic. Lecture Notes in Computer Science (LNCS) 2005 ;Volume 3662. p. 304-316 UiO
Untitled
|
|
34. |
Ferreira Pires, Luis; Munthe-Kaas, Ellen. Techniques for describing and manipulating context information. Twente/Enschede, Nederland: Freeband A-Muse Project 2005 111 p. UiO
Untitled
|
|
35. |
Giambiagi, Pablo; Owe, Olaf; Schneider, Gerardo; Ravn, Anders P.. Contract-based Internet Service Software Development: A Proposal. : Department of Informatics, UiO 2006 (ISBN 82-7368-288-9) 21 p. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(333) UiO
Untitled
|
|
36. |
Gjessing, Stein; Krogdahl, Stein; Munthe-Kaas, Ellen. A Linked List Cache Coherence Protocol: Verifying the Bottom Layer. Fifth International Parallel Processing Symposium (IPPS'91); 1991-05-01 - 1991-05-01 UiO
Untitled
|
|
37. |
Gjessing, Stein; Krogdahl, Stein; Munthe-Kaas, Ellen. A Top Down Approach to the Formal Specification of SCI Cache Coherence. Lecture Notes in Computer Science (LNCS) 1992 ;Volume 575. UiO
Untitled
|
|
38. |
Gjessing, Stein; Krogdahl, Stein; Munthe-Kaas, Ellen. Formal Specification and Verification of SCI Cache Coherence. Oslo: Research Report 142, Institutt for Informatikk, Universitetet i Oslo 1990 100 p. UiO
Untitled
|
|
39. |
Gjessing, Stein; Krogdahl, Stein; Munthe-Kaas, Ellen. On Verifying a Linked List System based on Message Passing. 3rd workshop on program correctness; 1991-10-01 - 1991-10-01 UiO
Untitled
|
|
40. |
Gjessing, Stein; Munthe-Kaas, Ellen. Formal Specification of Cache Coherence in a Shared Memory Multiprocessor. : Research Report 158, Institutt for informatikk, Universitetet i Oslo 1991 100 p. UiO
Untitled
|
|
41. |
Gjessing, Stein; Munthe-Kaas, Ellen. Parallel Composition of Observable Processes with Shared Variables. Oslo: Research Report 143, Institutt for Informatikk, Universitetet i Oslo 1990 100 p. UiO
Untitled
|
|
42. |
Gjessing, Stein; Munthe-Kaas, Ellen. Trace Based Verification of Parallel Programs with Shared Variables. 22nd Annual Hawaii International Conference on System Sciences; 1989-01-02 - 1989-01-06 UiO
Untitled
|
|
43. |
Gjessing, Stein; Munthe-Kaas, Ellen. Verification of Parallel Programs with Shared Variables and Critical Regions. Norsk Informatikkonferanse; 1988-11-22 - 1988-11-23 UiO
Untitled
|
|
44. |
Hagalisletto, Anders Moen; Bjørk, Joakim; Enger, Pål. The foundation of railroad modeling using Petri Nets. TRain Workshop at Formal Methods 2005; 2005-07-19 - 2005-07-19 UiO
Untitled
|
|
45. |
Hagalisletto, Anders Moen; Owe, Olaf. An Executable Operational Sematnics for a High Level Language for Security Protocols. Nordic Workshop on Programming Theory; 2005-10-19 - 2005-10-21 UiO
Untitled
|
|
46. |
Hansen, Hallstein Asheim; Schneider, Gerardo. GSPeeDI -A Tool for Analyzing Generalized Polygonal Hybrid Systems. I: 6th International Colloquium on Theoretical Aspects of Computing - ICTAC 2009. Springer 2009 ISBN 978-3-642-03465-7. p. 343-348 UiO
Untitled
|
|
47. |
Hansen, Hallstein Asheim; Schneider, Gerardo; Steffen, Martin. Reachability Analysis of Complex Planar Autonomous Systems. : Universitet i Oslo 2011 (ISBN 82-7368-374-5) 44 p. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(412) USN UiO
Untitled
|
|
48. |
Hansen, Hallstein Asheim; Schneider, Gerardo; Steffen, Martin. Reachability analysis of complex planar hybrid systems. Science of Computer Programming 2013 ;Volume 78.(12) p. 2511-2536 USN UiO
Untitled
|
|
49. |
Haugen, Øystein. Comparing UML 2.0 Interactions and MSC-2000. SAM 2004: SDL and MSC Fourth International Workshop; 2004-06-02 - 2004-06-04 UiO
Untitled
|
|
50. |
Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro; Stølen, Ketil. STAIRS towards formal design with sequence diagrams. Software and Systems Modeling (SoSyM) 2005 ;Volume 4.(4) p. 355-367 UiO
Untitled
|