Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic I. - Computing Methodologies
Topic I.6 - SIMULATION AND MODELING
Topic I.6.4 - Model Validation and Analysis

M. Alférez, R.E. Lopez-Herrejón, A. Moreira, V. Amaral, A. Egyed:
Consistency Checking in Early Software Product Line Specifications - The VCC Approach
/jucs_20_5/consistency_checking_in_early
page 640 - 665
Vol.20 / Issue 5
A. Botti Benevides, G. Guizzardi, B.F. Bastos Braga, J.P. Andrade Almeida:
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
/jucs_16_20/validating_modal_aspects_of
page 2904 - 2933
Vol.16 / Issue 20
G. Cabodi, S. Nocco, S. Quer:
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals
/jucs_10_12/improving_sat_based_bounded
page 1693 - 1730
Vol.10 / Issue 12
F. Capkovic:
An Application of the DEDS Control Synthesis Method
/jucs_11_2/an_application_of_the
page 303 - 326
Vol.11 / Issue 2
J. Decraene, T. Hinze:
A Multidisciplinary Survey of Computational Techniques for the Modelling, Simulation and Analysis of Biochemical Networks
/jucs_16_/a_multidisciplinary_survey_of
page 1152 - 1175
Vol.16 / Issue 9
H.-D. Ehrich, M. Kollmann, R. Pinger:
Checking Object System Designs Incrementally
/jucs_9_2/checking_object_system_designs
page 106 - 119
Vol.9 / Issue 2
N. Gronau, C. Müller, R. Korf:
KMDL - Capturing, Analysing and Improving Knowledge-Intensive Business Processes
/jucs_11_4/kmdl_capturing_analysing_and
page 452 - 472
Vol.11 / Issue 4
S. M. Markov, Y. Akyildiz:
Curve Fitting and Interpolation of Biological Data Under Uncertainties
/jucs_2_2/curve_fitting_and_interpolation
page 58 - 69
Vol.2 / Issue 2
H.-S. Min, S.-M. Chung, J.-Y. Choi:
Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project
/jucs_19_1/deriving_system_behavior_from
page 53 - 77
Vol.19 / Issue 1
K. Nakamura, T. Higuchi, N. Hirose:
Sequential Data Assimilation: Information Fusion of a Numerical Simulation and Large Scale Observation Data
/jucs_12_6/sequential_data_assimilation_information
page 608 - 626
Vol.12 / Issue 6
Y. Pencolé, A. Subias:
A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services
/jucs_15_17/a_chronicle_based_diagnosability
page 3246 - 3272
Vol.15 / Issue 17
M.A. Pérez-Toledano, A. Navasa, J.M. Murillo, C. Canal:
A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development
/jucs_14_13/a_safe_dynamic_adaptation
page 2212 - 2238
Vol.14 / Issue 13
J. Ruf:
RAVEN: Real-Time Analyzing and Verification Environment
/jucs_7_1/raven_real_time_analyzing
page 89 - 104
Vol.7 / Issue 1
F. Scuglik, M. Sveda:
Automatically Generated CSP Specifications
/jucs_9_11/automatically_generated_csp_specifications
page 1277 - 1295
Vol.9 / Issue 11
B. Thalheim:
Towards a Theory of Conceptual Modelling
/jucs_16_20/towards_a_theory_of
page 3102 - 3137
Vol.16 / Issue 20
M. Vujošević-Janičić, J. Tomašević, P. Janičić:
Random k-GD-Sat Model and its Phase Transition
/jucs_13_4/random_k_gd_sat
page 572 - 591
Vol.13 / Issue 4
L. Zuck, A. Pnueli, Y. Fang, B. Goldberg:
VOC: A Methodology for the Translation Validation of OptimizingCompilers
/jucs_9_3/voc_a_methodology_for
page 223 - 247
Vol.9 / Issue 3