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
Behavioral and Temporal Rule Checking for Gaussian Random Process a Kalman Filter Example
Doron Drusinsky
10.3217/jucs-019-15-2198
01-09-2013
Unique: 723 | Total: 996
| Access Period:
2198-2206
HTML
XML
PDF
Research Article
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method
Kazuhiro Ogata
,
Kokichi Futatsugi
10.3217/jucs-019-06-0771
28-03-2013
Unique: 850 | Total: 1091
| Access Period:
771-804
HTML
XML
PDF
Research Article
Modeling and Verification of Reconfigurable Actor Families
Hamideh Sabouri
,
Ramtin Khosravi
Part of: Software Components, Architectures and ReuseModeling, Customization and Evaluation
10.3217/jucs-019-02-0207
28-01-2013
Unique: 714 | Total: 905
| Access Period:
207-232
HTML
XML
PDF
Research Article
Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project
Hyun-Seok Min
,
Sang-Mun Chung
,
Jin-Young Choi
10.3217/jucs-019-01-0053
01-01-2013
Unique: 883 | Total: 1204
| Access Period:
53-77
HTML
XML
PDF
Research Article
A Global Software Inspection Process for Distributed Software Development
Deepti Mishra
,
Alok Mishra
Part of: Distributed Development of Information System
10.3217/jucs-018-19-2731
12-11-2012
Unique: 712 | Total: 921
| Access Period:
2731-2746
HTML
XML
PDF
Research Article
Behavioral and Temporal Pattern Detection within Financial Data with Hidden Information
Doron Drusinsky
10.3217/jucs-018-14-1950
28-07-2012
Unique: 739 | Total: 970
| Access Period:
1950-1966
HTML
XML
PDF
Research Article
Qos-Security Metrics Based on ITIL and COBIT Standard for Measurement Web Services
Pattama Charuenporn
,
Sarun Intakosum
Part of: Security in Information Systems: New Challenges and Opportunities
10.3217/jucs-018-06-0775
28-03-2012
Unique: 878 | Total: 1135
| Access Period:
775-797
HTML
XML
PDF
Research Article
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison
Raju Halder
,
Shantanu Pal
,
Agostino Cortesi
10.3217/jucs-016-21-3164
01-12-2010
Unique: 726 | Total: 1016
| Access Period:
3164-3190
HTML
XML
PDF
Research Article
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
Wuliang Sun
,
Eunjee Song
,
Paul Grabow
,
Devon Simmonds
10.3217/jucs-016-17-2435
01-09-2010
Unique: 643 | Total: 774
| Access Period:
2435-2454
HTML
XML
PDF
Research Article
Checking the Conformance between Models Based on Scenario Synchronization
Duc-Hanh Dang
,
Anh-Hoang Truong
,
Martin Gogolla
10.3217/jucs-016-17-2293
01-09-2010
Unique: 621 | Total: 836
| Access Period:
2293-2312
HTML
XML
PDF
Research Article
Static Analysis of the XEN Kernel using Frama-C
Armand Puccetti
10.3217/jucs-016-04-0543
28-02-2010
Unique: 561 | Total: 677
| Access Period:
543-553
HTML
XML
PDF
Research Article
Parametric Model-Checking of Stopwatch Petri Nets
Louis-Marie Traonouez
,
Didier Lime
,
Olivier Roux
10.3217/jucs-015-17-3273
01-11-2009
Unique: 561 | Total: 659
| Access Period:
3273-3304
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK