Sergio Yovine: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Quantitative dynamic-memory analysis for Java

Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Martín Rouaux, Alejandro Taboada

Journal:

Concurrency and Computation: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 349 KB

english, 2011

2

Symbolic Reachability Computation for Families of Linear Vector Fields

Gerardo Lafferriere, George J. Pappas, Sergio Yovine

Journal:

Journal of Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 391 KB

english, 2001

3

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Formal Verification of an Avionics Sensor Voter Using SCADE

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 317 KB

english, 2004

4

Algorithmic analysis of polygonal hybrid systems, part I: Reachability

Eugene Asarin, Gerardo Schneider, Sergio Yovine

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 2.15 MB

english, 2007

5

Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools

Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.77 MB

english, 2008

6

Timing Analysis and Code Generation of Vehicle Control Software using Taxys

Stavros Tripakis, Sergio Yovine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 261 KB

english, 2001

7

Verification of Asynchronous Circuits using Timed Automata

Marius Bozga, Hou Jianmin, Oded Maler, Sergio Yovine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 162 KB

english, 2002

8

Preface: Volume 65, Issue 6

Eugene Asarin, Oded Maler, Sergio Yovine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 49 KB

english, 2002

9

From ATP to timed graphs and hybrid systems

Xavier Nicollin, Joseph Sifakis, Sergio Yovine

Journal:

Acta Informatica

Year:

1993

Language:

english

File:

PDF, 950 KB

english, 1993

10

KRONOS: a

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

1997

Language:

english

File:

PDF, 526 KB

english, 1997

11

A model-based approach for multiple QoS in

Christos Kloukinas, Sergio Yovine

Journal:

Automated Software Engineering

Year:

2011

Language:

english

File:

PDF, 1001 KB

english, 2011

12

A scheduler synthesis methodology for joint SW/HW design exploration of SoC

Ismail Assayad, Sergio Yovine

Journal:

Design Automation for Embedded Systems

Year:

2010

Language:

english

File:

PDF, 1.14 MB

english, 2010

13

Phase I study of weekly plitidepsin as 1-hour infusion combined with carboplatin in patients with advanced solid tumors or lymphomas

Ramón Salazar, Ruth Plummer, Ana Oaknin, Angela Robinson, Beatriz Pardo, Arturo Soto-Matos, Alejandro Yovine, Sergio Szyldergemajn, Alan Hilary Calvert

Journal:

Investigational New Drugs

Year:

2011

Language:

english

File:

PDF, 141 KB

english, 2011

14

Checking Timed Büchi Automata Emptiness Efficiently

Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 1.39 MB

english, 2005

15

Analysis of Timed Systems Using Time-Abstracting Bisimulations

Stavros Tripakis, Sergio Yovine

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 354 KB

english, 2001

16

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Real-Time Testing with Timed Automata Testers and Coverage Criteria

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 274 KB

english, 2004

17

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Model-Checking for Weighted Timed Automata

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 249 KB

english, 2004

18

Summary-based inference of quantitative bounds of live heap objects

Braberman, Víctor, Garbervetsky, Diego, Hym, Samuel, Yovine, Sergio

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.29 MB

english, 2014

19

Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode

Niebert, Peter, Yovine, Sergio

Journal:

European Journal of Control

Year:

2001

Language:

english

File:

PDF, 228 KB

english, 2001

20

[IEEE 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007) - Lubeck, Germany (2007.08.29-2007.08.31)] 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007) - P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications

Assayad, Ismail, Yovine, Sergio

Year:

2007

Language:

english

File:

PDF, 314 KB

english, 2007

21

[IEEE 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007) - Daegu, Korea (2007.08.21-2007.08.24)] 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007) - Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems

Salagnac, Guillaume, Rippert, Christophe, Yovine, Sergio

Year:

2007

Language:

english

File:

PDF, 261 KB

english, 2007

22

[IEEE 2006 International Symposium on Industrial Embedded Systems - Antibes Juan-Les-Pins, France (2006.10.18-2006.10.20)] 2006 International Symposium on Industrial Embedded Systems - System-Platform Simulation Model Applied to Performance Analysis of Multiprocessor Video Encoding

Assayad, Ismail, Yovine, Sergio

Year:

2006

Language:

english

File:

PDF, 6.87 MB

english, 2006

23

[IEEE 2007 14th IEEE International Conference on Electronics, Circuits and Systems (ICECS '07) - Marrakech (2007.12.11-2007.12.14)] 2007 14th IEEE International Conference on Electronics, Circuits and Systems - Performance analysis of embedded multiprocessor industrial applications: methodology and tools

Assayad, Ismail, Yovine, Sergio

Year:

2007

Language:

english

File:

PDF, 186 KB

english, 2007

24

[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Modelling and Exploration Environment for Application Specific Multiprocessor Systems

Assayad, Ismail, Yovine, Sergio

Year:

2007

Language:

english

File:

PDF, 434 KB

english, 2007

25

[ACM Press the 7th international symposium - Tucson, AZ, USA (2008.06.07-2008.06.08)] Proceedings of the 7th international symposium on Memory management - ISMM '08 - Parametric prediction of heap memory requirements

Braberman, Víctor, Fernández, Federico, Garbervetsky, Diego, Yovine, Sergio

Year:

2008

Language:

english

File:

PDF, 451 KB

english, 2008

26

[ACM Press the 7th International Workshop - Madrid, Spain (2009.09.23-2009.09.25)] Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '09 - On transforming Java-like programs into memory-predictable code

Garbervetsky, Diego, Yovine, Sergio, Braberman, Víctor, Rouaux, Martín, Taboada, Alejandro

Year:

2009

Language:

english

File:

PDF, 745 KB

english, 2009

27

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 234 KB

english, 2004

28

[ACM Press the 2005 OOPSLA workshop - San Diego, California (2005.10.16-2005.10.17)] Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange - eclipse '05 - JScoper

Ferrari, Andrés, Garbervetsky, Diego, Braberman, Victor, Listingart, Pablo, Yovine, Sergio

Year:

2005

Language:

english

File:

PDF, 551 KB

english, 2005

29

[IEEE 2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft) - Buenos Aires, Argentina (2017.5.22-2017.5.23)] 2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft) - CheckDroid: A Tool for Automated Detection of Bad Practices in Android Applications Using Taint Analysis

Yovine, Sergio, Winniczuk, Gonzalo

Year:

2017

Language:

english

File:

PDF, 109 KB

english, 2017

30

Reachability computation for linear hybrid systems

Lafferriere, Gerardo, Pappas, George J., Yovine, Sergio

Journal:

IFAC Proceedings Volumes

Year:

1999

Language:

english

File:

PDF, 3.07 MB

english, 1999

31

Formal specification and implementation of an automated pattern-based parallel-code generation framework

Pérez, Gervasio, Yovine, Sergio

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 2.92 MB

english, 2017

32

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Bounded Model Checking for Region Automata

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 298 KB

english, 2004

33

[Lecture Notes in Computer Science] Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Monitoring Temporal Properties of Continuous Signals

Lakhnech, Yassine, Yovine, Sergio

Year:

2004

Language:

english

File:

PDF, 334 KB

english, 2004