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
28 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: I.6.4 - Model Validation and Analysis
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1
2
3
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
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
Towards a Theory of Conceptual Modelling
Bernhard Thalheim
10.3217/jucs-016-20-3102
01-11-2010
Unique: 643 | Total: 887
| Access Period:
3102-3137
HTML
XML
PDF
Research Article
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
Alessander Benevides
,
Giancarlo Guizzardi
,
Bernardo Ferreira Bastos Braga
,
Joao Paulo Andrade Almeida
10.3217/jucs-016-20-2904
01-11-2010
Unique: 693 | Total: 886
| Access Period:
2904-2933
HTML
XML
PDF
Research Article
A Multidisciplinary Survey of Computational Techniques for the Modelling, Simulation and Analysis of Biochemical Networks
James Decraene
,
Thomas Hinze
10.3217/jucs-016-09-1152
01-05-2010
Unique: 594 | Total: 729
| Access Period:
1152-1175
HTML
XML
PDF
Research Article
A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services
Yannick Pencolé
,
Audine Subias
10.3217/jucs-015-17-3246
01-11-2009
Unique: 575 | Total: 690
| Access Period:
3246-3272
HTML
XML
PDF
Research Article
A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development
Miguel Pérez-Toledano
,
Amparo Navasa
,
Juan-Manuel Murillo-Rodríguez
,
Carlos Canal
10.3217/jucs-014-13-2212
01-07-2008
Unique: 663 | Total: 827
| Access Period:
2212-2238
HTML
XML
PDF
Research Article
Random k-GD-Sat Model and its Phase Transition
Milena Vujošević-Janičić
,
Jelena Tomašević
,
Predrag Janičić
10.3217/jucs-013-04-0572
28-04-2007
Unique: 706 | Total: 821
| Access Period:
572-591
HTML
XML
PDF
Research Article
Sequential Data Assimilation: Information Fusion of a Numerical Simulation and Large Scale Observation Data
Kazuyuki Nakamura
,
Tomoyuki Higuchi
,
Naoki Hirose
10.3217/jucs-012-06-0608
28-06-2006
Unique: 698 | Total: 924
| Access Period:
608-626
HTML
XML
PDF
Research Article
KMDL - Capturing, Analysing and Improving Knowledge-Intensive Business Processes
Norbert Gronau
,
Claudia Müller
,
Roman Korf
10.3217/jucs-011-04-0452
28-04-2005
Unique: 652 | Total: 881
| Access Period:
452-472
HTML
XML
PDF
Research Article
An Application of the DEDS Control Synthesis Method
Frantisek Capkovic
10.3217/jucs-011-02-0303
28-02-2005
Unique: 534 | Total: 636
| Access Period:
303-326
HTML
XML
PDF
Research Article
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals
Gianpiero Cabodi
,
Sergio Nocco
,
Stefano Quer
10.3217/jucs-010-12-1693
28-12-2004
Unique: 568 | Total: 705
| Access Period:
1693-1730
HTML
XML
PDF
Research Article
Automatically Generated CSP Specifications
Frantisek Scuglik
,
Miroslav Sveda
10.3217/jucs-009-11-1277
28-11-2003
Unique: 545 | Total: 647
| Access Period:
1277-1295
HTML
XML
PDF
1
2
3
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK