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
Development of Ambient Intelligence Applications using Components and Aspects
Lidia Fuentes
,
Daniel Jiménez
,
Mónica Pinto
10.3217/jucs-012-03-0236
28-03-2006
Unique: 657 | Total: 802
| Access Period:
236-251
HTML
XML
PDF
Research Article
Modular Verification of a Component-Based Actor Language
Marjan Sirjani
,
Frank De Boer
,
Ali Movaghar
10.3217/jucs-011-10-1695
28-10-2005
Unique: 558 | Total: 688
| Access Period:
1695-1717
HTML
XML
PDF
Research Article
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models
Marjan Sirjani
,
Ali Movaghar
,
Amin Shali
,
Frank De Boer
10.3217/jucs-011-06-1054
28-06-2005
Unique: 634 | Total: 763
| Access Period:
1054-1082
HTML
XML
PDF
Research Article
Automated Support for Enterprise Information Systems
John Andrew Andrew Van Der Poll
,
Paula Kotzé
,
Willem Labuschagne
10.3217/jucs-010-11-1519
28-11-2004
Unique: 624 | Total: 824
| Access Period:
1519-1539
HTML
XML
PDF
Research Article
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking
Miguel Hornos
10.3217/jucs-010-11-1498
28-11-2004
Unique: 581 | Total: 690
| Access Period:
1498-1518
HTML
XML
PDF
Research Article
Monitoring Temporal Logic Specifications Combined with Time Series Constraints
Doron Drusinsky
,
Man-Tak Shing
10.3217/jucs-009-11-1261
28-11-2003
Unique: 587 | Total: 724
| Access Period:
1261-1276
HTML
XML
PDF
Research Article
Alias Verification for Fortran Code Optimization
Thi Viet Nga Nguyen
,
Francois Irigoin
10.3217/jucs-009-03-0270
28-03-2003
Unique: 566 | Total: 687
| Access Period:
270-297
HTML
XML
PDF
Research Article
VOC: A Methodology for the Translation Validation of OptimizingCompilers
Lenore Zuck
,
Amir Pnueli
,
Yi Fang
,
Benjamin Goldberg
10.3217/jucs-009-03-0223
28-03-2003
Unique: 658 | Total: 820
| Access Period:
223-247
HTML
XML
PDF
Research Article
Using Program Checking to Ensure the Correctness of Compiler Implementations
Sabine Glesner
10.3217/jucs-009-03-0191
28-03-2003
Unique: 536 | Total: 646
| Access Period:
191-222
HTML
XML
PDF
Research Article
HOL-Z 2.0: A Proof Environment for Z-Specifications
Achim Brucker
,
Frank Rittinger
,
Burkhart Wolff
10.3217/jucs-009-02-0152
28-02-2003
Unique: 634 | Total: 759
| Access Period:
152-172
HTML
XML
PDF
Research Article
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
Robi Malik
,
Reinhard Mühlfeld
10.3217/jucs-009-02-0138
28-02-2003
Unique: 602 | Total: 755
| Access Period:
138-151
HTML
XML
PDF
Research Article
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
Ernst-Rüdiger Olderog
,
Henning Dierks
10.3217/jucs-009-02-0088
28-02-2003
Unique: 568 | Total: 662
| Access Period:
88-105
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK