-
1Academic Journal
Authors: Haohui Mai, Edgar Pek, Hui Xue, Samuel T. King, P. Madhusudan
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection, D.2.4 [Software Engineering, Software/Program Verification General Terms Security, Verification Keywords mobile security, microkernel, programming by contracts, automatic
File Description: application/pdf
-
2Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://software.imdea.org/~pierreganty/mypubs/ge-popl11.pdf.
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification. General Terms, Verification, Languages, Algorithms, Reliability. Keywords, concurrent programming, safety, context-free languages
File Description: application/pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.389.9010
http://software.imdea.org/~pierreganty/mypubs/ge-popl11.pdf -
3Academic Journal
Authors: Cristina David, Wei-ngan Chin
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [SOFTWARE ENGINEERING, Software/Program Verification General Terms Languages, Verification
File Description: application/pdf
-
4Academic Journal
Authors: Michael Emmi, Rupak Majumdar, Roman Manevich
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming tech- niques, Concurrent Programming, D.2.4 [Software engineering, Software/Program Verification General Terms Reliability, Verification Keywords Transactional memory, Parameterized verification
File Description: application/pdf
-
5Academic Journal
Authors: Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2 [Software Engineering, Software/Program Verification General Terms Verification Keywords Verification of MAS, Model Checking, Partial order reduction
File Description: application/pdf
-
6Academic Journal
Authors: Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.4.7 [Operating Systems, Organization and Design, D.4.6 [Operating Systems, Security and Protection, D.2.4 [Software Engineering, Software/Program Verification General Terms Languages, Design Keywords Capabilities, capability distribution, security analysis, seL4, Isabelle
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.6038; http://conferences.sigcomm.org/sigcomm/2010/papers/apsys/p31.pdf
-
7Academic Journal
Authors: Mark Gabel, Zhendong Su
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.7 [Software Engineering, Software/Program Verification General Terms Languages, Algorithms, Experimentation, Reliability Keywords Dynamic analysis, Temporal properties, Online algorithm
File Description: application/pdf
-
8Academic Journal
Authors: Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: D.2 [Software Engineering, Software/Program Verification General Terms Verification Keywords Verification of MAS, Model Checking, Partial order reduction
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.4534; http://www.ifaamas.org/Proceedings/aamas2010/pdf/01%20Full%20Papers/14_01_FP_0065.pdf
-
9Academic Journal
Authors: Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://software.imdea.org/~pierreganty/mypubs/gmr-popl09.pdf.
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification. General Terms, Languages, Verification, Reliability. Keywords, asynchronous (event-driven) programming, liveness, fair termination, Petri Nets
File Description: application/pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.389.6841
http://software.imdea.org/~pierreganty/mypubs/gmr-popl09.pdf -
10Academic Journal
Authors: Charles Pecheur, Franco Raimondi, Guillaume Brat
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging, D.2.4 [Software Engineering, Software/Program Verification General Terms Verification Keywords Coverage metrics, Requirements-based testing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.383.6956; http://www.eis.mdx.ac.uk/staffpages/f_raimondi/pubs/issta09.pdf
-
11Academic Journal
Authors: Chris Hawblitzel, Erez Petrank
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://research.microsoft.com/en-us/um/people/chrishaw/papers/vgc-hawblitzel-petrank-popl09.pdf.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification General Terms Verification
File Description: application/pdf
-
12Academic Journal
Authors: Baolin Shao, Nalini Vasudevan, Stephen A. Edwards
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Verification Keywords SHIM, concurrency, static analysis, deadlock, divide-and-conquer
File Description: application/pdf
-
13Academic Journal
Authors: J. -f. Couchot, A. Giorgetti, N. Stouls
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://arxiv.org/pdf/0907.1357v1.pdf.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Verification, Experimentation Keywords Proof
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.7831; http://arxiv.org/pdf/0907.1357v1.pdf
-
14Academic Journal
Authors: J.-F. Couchot, A. Giorgetti, N. Stouls
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: D.2.4 [Software Engineering, Software/Program Verification General Terms Verification, Experimentation Keywords Proof
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.6044; http://hal.inria.fr/docs/00/40/22/04/PDF/afm09cgs.pdf
-
15Academic Journal
Authors: Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, F.3.2 [Logics and meanings of programs, Semantics of Programming Languages, D.2.4 [Software Engineering, Software/Program Verification General Terms, Languages, Verification Additional Key Words and Phrases, Typed Assembly Languages, Proof-Carrying Code, Semantic Models, Logical Relations, Control Flow
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.173.127; http://www.cse.lehigh.edu/%7Egtan/paper/sftal.pdf
-
16Academic Journal
Authors: Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.4.5 [Operating Systems, Reliability—Verification, D.2.4 [Software Engineering, Software/Program Verification General Terms Verification, Design Keywords Isabelle/HOL, L4, microkernel, seL4
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.4815; http://www.cse.unsw.edu.au/~kleing/papers/sosp09.pdf
-
17Academic Journal
Authors: Ina Schaefer, Arnd Poetzsch-heffter
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software, Software/Program Verification General Terms Design, Reliability, Verification Keywords Adaptive Embedded Systems, Model-based Development, Formal Verification, Model Reduction by Slicing ∗This work has been supported by the Rheinland-Pfalz Clus- ter of Excelle
File Description: application/pdf
-
18Academic Journal
Authors: Ernie Cohen, Michał Moskal, Wolfram Schulte, Stephan Tobies
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification General Terms concurrency, verification Keywords concurrency, verification Acknowledge Verisoft funding
File Description: application/pdf
-
19Academic Journal
Authors: Tomáš Vojnar
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Tech- niques, D.2.4 [Software Engineering, Software/Program Verification General Terms
File Description: application/pdf
-
20Academic Journal
Authors: Jinjun Chen
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification General Terms, Algorithms, Design, Reliability, Theory, Verification Additional Key Words and Phrases, Scientific workflows, temporal constraints, temporal verification, checkpoint selection ACM Reference Format
File Description: application/pdf