Skip to main content

Showing 1–8 of 8 results for author: Gallardo, M

Searching in archive cs. Search in all archives.
.
  1. arXiv:2304.08023  [pdf, other

    cs.CV

    Learning How To Robustly Estimate Camera Pose in Endoscopic Videos

    Authors: Michel Hayoz, Christopher Hahne, Mathias Gallardo, Daniel Candinas, Thomas Kurmann, Maximilian Allan, Raphael Sznitman

    Abstract: Purpose: Surgical scene understanding plays a critical role in the technology stack of tomorrow's intervention-assisting systems in endoscopic surgeries. For this, tracking the endoscope pose is a key component, but remains challenging due to illumination conditions, deforming tissues and the breathing motion of organs. Method: We propose a solution for stereo endoscopes that estimates depth and o… ▽ More

    Submitted 17 April, 2023; originally announced April 2023.

    Comments: Accepted at IPCAI 2023

  2. arXiv:2108.12348  [pdf, ps, other

    cs.PL cs.LO

    A denotational semantics for PROMELA addressing arbitrary jumps

    Authors: Marco Comini, María del Mar Gallardo, Alicia Villanueva

    Abstract: PROMELA (Process Meta Language) is a high-level specification language designed for modeling interactions in distributed systems. PROMELA is used as the input language for the model checker SPIN (Simple Promela INterpreter). The main characteristics of PROMELA are non-determinism, process communication through synchronous as well as asynchronous channels, and the possibility to dynamically create… ▽ More

    Submitted 27 August, 2021; originally announced August 2021.

    Comments: Pre-proceedings paper presented at the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), Tallinn, Estonia, and Virtual, September 7-8, 2021 (arXiv:2107.10160)

    Report number: LOPSTR/2021/16

  3. arXiv:2106.11048  [pdf, other

    eess.IV cs.CV

    CataNet: Predicting remaining cataract surgery duration

    Authors: Andrés Marafioti, Michel Hayoz, Mathias Gallardo, Pablo Márquez Neila, Sebastian Wolf, Martin Zinkernagel, Raphael Sznitman

    Abstract: Cataract surgery is a sight saving surgery that is performed over 10 million times each year around the world. With such a large demand, the ability to organize surgical wards and operating rooms efficiently is critical to delivery this therapy in routine clinical care. In this context, estimating the remaining surgical duration (RSD) during procedures is one way to help streamline patient through… ▽ More

    Submitted 21 June, 2021; originally announced June 2021.

    Comments: Accepted at MICCAI 2021

  4. A Simulation Tool for tccp Programs

    Authors: María-del-Mar Gallardo, Leticia Lavado, Laura Panizo

    Abstract: The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint store. It supports a notion of discrete time that allows all non-blocked agents to proceed with their execution simultaneously. In this paper, we present a modular architecture… ▽ More

    Submitted 3 January, 2017; originally announced January 2017.

    Comments: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.00148

    Journal ref: EPTCS 234, 2017, pp. 120-134

  5. Using Model Checking to Generate Test Cases for Android Applications

    Authors: Ana Rosario Espada, María del Mar Gallardo, Alberto Salmerón, Pedro Merino

    Abstract: The behavior of mobile devices is highly non deterministic and barely predictable due to the interaction of the user with its applications. In consequence, analyzing the correctness of applications running on a smartphone involves dealing with the complexity of its environment. In this paper, we propose the use of model-based testing to describe the potential behaviors of users interacting with mo… ▽ More

    Submitted 9 April, 2015; originally announced April 2015.

    Comments: In Proceedings MBT 2015, arXiv:1504.01928

    Journal ref: EPTCS 180, 2015, pp. 7-21

  6. Modeling Hybrid Systems in the Concurrent Constraint Paradigm

    Authors: Damián Adalid, María del Mar Gallardo, Laura Titolo

    Abstract: Hybrid systems, which combine discrete and continuous dynamics, require quality modeling languages to be either described or analyzed. The Concurrent Constraint paradigm (ccp) is an expressive declarative paradigm, characterized by the use of a common constraint store to communicate and synchronize concurrent agents. In this paradigm, the information is stated in the form of constraints, in contra… ▽ More

    Submitted 8 January, 2015; originally announced January 2015.

    Comments: In Proceedings PROLE 2014, arXiv:1501.01693

    Journal ref: EPTCS 173, 2015, pp. 1-15

  7. arXiv:1412.4550  [pdf, ps, other

    cs.PL cs.LO

    Modeling Hybrid Systems in Hy-tccp

    Authors: Damian Adalid, Maria del Mar Gallardo, Laura Titolo

    Abstract: Concurrent,reactive and hybrid systems require quality modeling languages to be described and analyzed. The Timed Concurrent Constraint Language (tccp) was introduced as a simple but powerful model for reactive systems. In this paper, we present hybrid tccp (hy-tccp), an extension of tccp over continuous time which includes new con- structs to model the continuous dynamics of hybrid systems.

    Submitted 15 December, 2014; originally announced December 2014.

  8. arXiv:cs/0606092  [pdf, ps, other

    cs.SE

    Static Analysis using Parameterised Boolean Equation Systems

    Authors: María Del Mar Gallardo, Christophe Joubert, Pedro Merino

    Abstract: The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex data structures. One recent and promising approach to deal with this problem is the construction of an abstract and correct representation of the global program state allowing to match visited states during program mo… ▽ More

    Submitted 3 July, 2006; v1 submitted 21 June, 2006; originally announced June 2006.

    Comments: Submitted to an international 2006 conference