Register
|
Login
Full Text
Author
Title
Submit manuscript
About
News
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Filter
Search
Full Text
Author
Title
by Subject
Topic A - General Literature
Topic B - Hardware
Topic C - Computer Systems Organization
Topic D - Software
Topic E - Data
Topic F - Theory of Computation
Topic G - Mathematics of Computing
Topic H - Information Systems
Topic I - Computing Methodologies
Topic J - Computer Applications
Topic K - Computing Milieux
Topic L - Science and Technology of Learning
Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
Research Article
(2703)
Editorial
(411)
by Journal
by Funding Agency
Clear filters
Powered by
78 items matching your criteria
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Filter By:
Subject: D.2.4 - Software/Program Verification
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1
2
3
4
5
Select:
All
None
Download:
Citation
XML
PDF
Export format
RIS
BIBTEX
Bookends
EasyBib
EndNote (tagged)
EndNote 8 (xml)
Medlars
Mendeley
Papers
RefWorks Tagged
Ref Manager
Zotero
Mods (xml)
Plain text (txt)
Download
Research Article
Tools and Stochastic Metrics for Debugging Temporal Behaviour of Real-Time Systems
Joaquín Entrialgo
,
Javier García
,
José Díaz
,
Daniel García
10.3217/jucs-015-08-1563
28-04-2009
Unique: 606 | Total: 731
| Access Period:
1563-1588
HTML
XML
PDF
Research Article
Learning to Program with COALA, a Distributed Computer Assisted Environment
Francisco Jurado
,
Ana Molina
,
Miguel Redondo
,
Manuel Ortega Cantero
,
Adam Giemza
,
Lars Bollen
,
H. Hoppe
10.3217/jucs-015-07-1472
01-04-2009
Unique: 766 | Total: 976
| Access Period:
1472-1485
HTML
XML
PDF
Research Article
Formal Verification of Semistructured Data Models in PVS
Scott Lee
,
Gillian Dobbie
,
Jing Sun
,
Lindsay Groves
10.3217/jucs-015-01-0241
01-01-2009
Unique: 566 | Total: 686
| Access Period:
241-272
HTML
XML
PDF
Research Article
Reasoning about Nonblocking Concurrency
Lindsay Groves
10.3217/jucs-015-01-0072
01-01-2009
Unique: 588 | Total: 705
| Access Period:
72-111
HTML
XML
PDF
Research Article
On Defining the Behavior of OR-joins in Business Process Models
Egon Börger
,
Ove Sörensen
,
Bernhard Thalheim
10.3217/jucs-015-01-0003
01-01-2009
Unique: 579 | Total: 722
| Access Period:
3-32
HTML
XML
PDF
Research Article
What is Correctness of Security Protocols?
Giampaolo Bella
10.3217/jucs-014-12-2083
28-06-2008
Unique: 574 | Total: 723
| Access Period:
2083-2106
HTML
XML
PDF
Research Article
Modularizing Theorems for Software Product Lines: The Jbook Case Study
Don Batory
,
Egon Börger
10.3217/jucs-014-12-2059
28-06-2008
Unique: 546 | Total: 685
| Access Period:
2059-2082
HTML
XML
PDF
Research Article
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
Anatol Slissenko
,
Pavel Vasilyev
10.3217/jucs-014-12-1984
28-06-2008
Unique: 526 | Total: 608
| Access Period:
1984-2006
HTML
XML
PDF
Research Article
ASM Refinement Preserving Invariants
Gerhard Schellhorn
10.3217/jucs-014-12-1929
28-06-2008
Unique: 601 | Total: 707
| Access Period:
1929-1948
HTML
XML
PDF
Research Article
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
Hossein Hojjat
,
Hootan Nakhost
,
Marjan Sirjani
10.3217/jucs-013-13-2076
28-12-2007
Unique: 592 | Total: 744
| Access Period:
2076-2104
HTML
XML
PDF
Research Article
Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph
Shunsuke Sasaki
,
Tasuku Nishihara
,
Daisuke Ando
,
Masahiro Fujita
10.3217/jucs-013-13-1972
28-12-2007
Unique: 588 | Total: 743
| Access Period:
1972-2001
HTML
XML
PDF
Research Article
Specification and Refinement of Access Control
Dominique Méry
,
Stephan Merz
10.3217/jucs-013-08-1073
28-08-2007
Unique: 554 | Total: 660
| Access Period:
1073-1093
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK