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

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