Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Gianluca Barbon

Debugging of Behavioural Models With CLEAR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Visual Debugging of Behavioural Models

2019English

Related publications

Executing and Debugging UML Models

2013English

Concurrency Debugging With MaxSMT

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Automated Design Debugging With Maximum Satisfiability

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2010English

Debugging Devices

Queue
Computer Science
2008English

Predictive Validity of Behavioural Animal Models for Chronic Pain

British Journal of Pharmacology
Pharmacology
2011English

Optimal Sofware Release Policies for Software Reliability Growth Models Under Imperfect Debugging

RAIRO - Operations Research
Management ScienceComputer Science ApplicationsOperations ResearchTheoretical Computer Science
1990English

Evaluation of Clear Sky Models for Satellite-Based Irradiance Estimates

2013English

Debugging Grid Graphics

R Journal
UncertaintyNumerical AnalysisStatisticsProbability
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy