Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Søkekriterier:
Enhet: Forskningsgruppen for presis modellering og analyse (UiO)   Hovedkategori: Tidsskriftspublikasjon   Hovedkategori: Konferansebidrag og faglig presentasjon   Hovedkategori: Bok   Hovedkategori: Rapport/avhandling   Hovedkategori: Del av bok/rapport   Hovedkategori: Oversettelsesarbeide   Hovedkategori: Mediebidrag   Hovedkategori: Kommersialisering   Hovedkategori: Kunstnerisk og museal presentasjon   Hovedkategori: Kunstnerisk resultat   Hovedkategori: Produkt   Hovedkategori: Informasjonsmateriale   Alle publ. kanaler

Viser treff 1-50 av 681 << Forrige 1 2 3 4 5 6 7 8 9 10 11 12 13 14    Neste >>

1 Antonsen, Roger.
Free variable sequent calculi. Universitetet i Oslo, Institutt for Lingvistiske fag: Språk, logikk og informasjon (SLI) 2003 126 s.
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 2005 ;Volum LNAI.(3702) s. 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. s. 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 ;Volum 83.(1) s. 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 s.
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 s. 86-95
UiO Untitled
 
11 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
 
12 Bjørk, Joakim; Hagalisletto, Anders Moen; Enger, Pål.
Large scale simulations of Railroad Nets. MOCA'06; 2006-06-26
UiO Untitled
 
13 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 ;Volum 20.(3) s. 177-207
UiO Untitled
 
14 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
 
15 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
 
16 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. s. 91-106
UiO Untitled
 
17 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 s.
UiO Untitled
 
18 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. s. 1560-1566
UiO Untitled
 
19 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
 
20 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
 
21 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 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(315)
UiO Untitled
 
22 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
 
23 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
 
24 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
 
25 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
 
26 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. s. 141-151
UiO Untitled
 
27 Engan, Iselin; Langholm, Tore; Lian, Espen Hallenstvedt; Waaler, Arild.
Default Reasoning with Preference Within Only Knowing Logic. Lecture Notes in Computer Science 2005 ;Volum 3662. s. 304-316
UiO Untitled
 
28 Ferreira Pires, Luis; Munthe-Kaas, Ellen.
Techniques for describing and manipulating context information. Twente/Enschede, Nederland: Freeband A-Muse Project 2005 111 s.
UiO Untitled
 
29 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 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(333)
UiO Untitled
 
30 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
 
31 Gjessing, Stein; Krogdahl, Stein; Munthe-Kaas, Ellen.
A Top Down Approach to the Formal Specification of SCI Cache Coherence. Lecture Notes in Computer Science 1992 ;Volum 575.
UiO Untitled
 
32 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 s.
UiO Untitled
 
33 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
 
34 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 s.
UiO Untitled
 
35 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 s.
UiO Untitled
 
36 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
 
37 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
 
38 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
 
39 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
 
40 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. s. 343-348
UiO Untitled
 
41 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
 
42 Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro; Stølen, Ketil.
STAIRS towards formal design with sequence diagrams. Software & Systems Modeling 2005 ;Volum 4.(4) s. 355-367
UiO Untitled
 
43 Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro; Stølen, Ketil.
Why timed sequence diagrams require three-event semantics. : Department of Informatics, University of Oslo 2004 (ISBN 82-7368-261-7) 57 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(309)
UiO Untitled
 
44 Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro; Stølen, Ketil.
Why timed sequence diagrams require three-event semantics. Lecture Notes in Computer Science 2005 ;Volum 3466. s. 1-25
UiO Untitled
 
45 Haugen, Øystein; Schieferdecker, Ina.
The UML Testing Profile. ECOOP 2004 Tutorials; 2004-06-14 - 2004-06-18
UiO Untitled
 
46 Holen, Bjarne; Johnsen, Einar Broch; Waaler, Arild.
Representing Strategies for the Connection Calculus in Rewriting Logic. First-Order Theorem Proving (FTP 2005); 2005-09-01
UiO Untitled
 
47 Johnsen, Einar Broch.
A Run-time Environment for Concurrent Objects with Asynchronous Method Calls. Gjesteforelesning, Univ. i Bremen, Tyskland; 2004-02-13
UiO Untitled
 
48 Johnsen, Einar Broch.
An Exercise in Fault Tolerance. Norsk Informatikkonferanse; 2000-11-01
UiO Untitled
 
49 Johnsen, Einar Broch.
Compositional Refinement of Aspectwise Specifications. Norsk Regnesentral; 2001-11-01
UiO Untitled
 
50 Johnsen, Einar Broch.
Creol: A formal executable model of evolving distributed concurrent objects. Gjesteforelesning CWI; 2005-05-20
UiO Untitled
 
    Vis neste liste