Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Search criteria:
Unit: Reliable Systems (UiO)   Main category: Journal publication   Main category: Conference lecture and academic presentation   Main category: Book   Main category: Report/thesis   Main category: Part of a book/report   Main category: Translation   Main category: Media contribution   Main category: Artistic and museum-related presentation   Main category: Artistic result   Main category: Product   Main category: Information material(s)   All publishing channels

Showing results 1-50 of 763 << Previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16    Next >>

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 &#8211; 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
 
    Show next list