1
0
0
News
Sergio Yovine - Generación semi-automática de software paralelo...
www.fing.edu.uy
Resumen: Desde que la industria del hardware se volcó al desarrollo de arquitecturas con múltiples procesadores de múltiples núcleos, ...
MOBILESoft : 4th IEEE/ACM International Conference on Mobile...
www.wikicfp.com
MOBILESoft : 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems
Telephone & Addresses
Sergio F Yovine, Albany, Evelyn Ave
View Sergio's social profiles and photos on Facebook, MySpace, and +40 Networks.
Network Profiles
LinkedIn: Sergio Yovine - Researcher - Universidad de Buenos Aires ...
Bekijk het profiel van Sergio Yovine op LinkedIn, de grootste professionele community ter wereld. Sergio Yovine heeft 4 banen vermeld op zijn of haar profiel. Bekijk ...
LinkedIn: Sergio Yovine - Researcher - Universidad …
Se Sergio Yovines profil på LinkedIn, världens största yrkesnätverk. Sergio har lagt till 4 jobb i sin profil. Se hela profilen på LinkedIn, upptäck Sergios ...
LinkedIn: Sergio Yovine - Researcher - Universidad …
Vis Sergio Yovines profil på LinkedIn, verdens største faglige nettverk. Sergio har 4 jobber oppført på profilen. Se hele profilen på LinkedIn og finn Sergios ...
Business Profiles
Researchgate: Sergio Yovine
Buenos Aires, Argentina
Private Homepages
z3 - Encoding of first order differential equation as First order...
stackoverflow.com
You can encode the differential equation easily in Z3 as it is just a set of n linear ... Gerardo Lafferriere, George J. Pappas, and Sergio Yovine.
Heritage
Sergio Yovine - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Search; About MGP. Mission; News; Staff; Recognition; Acknowledgments; Links; FAQs; Posters; Submit Data; Contact; The Mathematics Genealogy Project is in need of
Books & Literature
Formal Methods and Software Engineering: 5th International Conference...
books.google.de
... Joseph Sifakis, and Sergio Yovine. Symbolic model checking for real-time systems. Technical Report TR , Cornell Computer Science Technical Report ...
Formal Modeling and Analysis of Timed Systems: 12th International...
books.google.de
This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in...
Formal Modeling and Analysis of Timed Systems: Third International...
books.google.de
Conrado Daws, Alfredo Olivero, Stavros Tripakis, and Sergio Yovine. The tool KRONOS. In Proc. Hybrid Systems III: Verification and Control (1995), volume ...
Formal Techniques for Networked and Distributed Systems - FORTE 2003:...
books.google.de
Marius Bozga, Oded Maler, Amir Pnueli, and Sergio Yovine. Some progress in the symbolic verification of timed automata. In Proc. CAV'97, LNCS 1254, pages ...
Related Documents
ByteCode Talk: Quantitative analysis of Java/.Net like programs …
www.slideshare.net
There is an increasing interest in understanding and analyzing the use of resources in software and hardware systems. Certifying memory consumption is vital to…
CiteSeerX — Efficient region-based memory management for...
citeseerx.ist.psu.edu
BibTeX @INPROCEEDINGS{Salagnac06efficientregion-based, author = {Guillaume Salagnac and Chaker Nakhli and Sergio Yovine and Guillaume Salagnac and Chaker Nakhli and Sergio Yovine and Efficient Region and Guillaume Salagnac and Chaker Nakhli and Sergio Yovine}, title = {Efficient region-based memory management for resource-limited real-time embedded systems}, booktitle = …
Scientific Publications
Search results for "Sergio Yovine" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 63 publication records. Showing 63 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1
Publications
SPeeDI — A Verification Tool for Polygonal Hybrid Systems |...
link.springer.com
Hybrid systems combining discrete and continuous dynamics arise as mathematical models of various artificial and natural systems, and as an approximation to...
A Methodology and Tool Support for Generating Scheduled Native Code...
link.springer.com
Current trends in industry are leading towards the use of Java [5] as a programming language for implementing embedded and real-time applications. From the...
Improvements in BDD-Based Reachability Analysis of Timed Automata |...
link.springer.com
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, and Sergio Yovine. Kronos: a model-checking tool for real-time systems.
Reports & Statements
Wikipedia: Hybrid automaton - Wikipedia
... Alfredo Olivero, Joseph Sifakis, and Sergio Yovine The algorithmic analysis of hybrid systems. Theoretical Computer Science, volume 138(1), pages 3–34,
Wikipedia: Symposium on Logic in Computer Science - Wikipedia
Symposium on Logic in Computer Science The ACM–IEEE Symposium on Logic in ... Sergio Yovine, "Symbolic model checking for real-time systems" Jean-Pierre Talpin, ...
Miscellaneous
Sergio Yovine | LinkedIn
www.linkedin.com
Sergio Yovine. Researcher at CONICET and Universidad de Buenos Aires. Standort Argentinien Branche Hochschulwesen. Aktuell: Universidad de Buenos Aires, …
Sergio Yovine | LinkedIn
www.linkedin.com
View Sergio Yovine’s professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Sergio Yovine discover inside ...
Gerardo Lafferriere - Google Scholar
scholar.google.com
Professor of Mathematics, Portland State University - Cited by - Mahtematical Control Theory - Mathematical Biology - Robotics - Hybrid...
Stavros Tripakis - Google Scholar
scholar.google.fi
Associate Professor, Northeastern University - viittausta - Computer science - Formal methods - Embedded systems - Software and system...
Sergio Yovine - ArtistDesign NoE
www.artist-embedded.org
Sergio Yovine. See online : http://www-verimag.imag.fr/~yovine/ This author's articles (9) 60. Summary Report; 10. Objectives; 50. Venue; 50. Registration; 20. Lecturers;
Sergio Yovine
ptolemy.berkeley.edu
Sergio Yovine VERIMAG. Username: yovine. (To view user contact information, please log in.) Home page: http://www-verimag.imag.fr/~yovine. Bio: ...
TDGS - "Sergio Yovine"
juliette.lsi.us.es
A total of 64 records were found in seconds. Fetch | Report | Google
Sergio Yovine
archive.dimacs.rutgers.edu
Symbolic Model-Checking for Timed Automata and TCTL: The tool Kronos. DIMACS Center - Room 431 Busch Campus Piscataway, New Jersey November 1, at 4:30 PM
Eugene Asarin's home page - Bienvenue à l'IRIF
www.irif.fr
(with Oded Maler and Sergio Yovine) Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002) Grenoble, France, April (with Patricia Bouyer) the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06) held in Paris (France) from September 25 to September 27,
Master en Big Data - Universidad ORT Uruguay
fi.ort.edu.uy
En este contexto, la analítica predictiva es clave”, afirma el coordinador Dr. Sergio Yovine. Estudios realizados por importantes consultoras a nivel mundial demuestran que la tecnología de big data es imprescindible para competir en el mercado actual y manifiestan la importancia de contar con recursos humanos especializados en el tema ...
图灵奖得主Joseph Sifakis:将模型检测从学术应用至产业界的功臣 | CCF-GAIR | 雷峰网
www.leiphone.com
从模型检测到嵌入式设备,再到物联网时代,图灵奖得主 Joseph Sifakis 最有话语权。
Langley Formal Methods Program • César Muñoz • Publications
shemesh.larc.nasa.gov
In Yassine Lakhnech and Sergio Yovine, editors, Formal Techniques, Modeling and Analysis of Timed and Fault-Tolerant Systems (FORMATS-FTRTFT) ...
ArtistDesign NoE - UML&AADL'2010
www.artist-embedded.org
... Air Systems, Germany); Sergio Yovine (CNRS-Verimag, France / Universidad de Buenos Aires); Roberto V. Zicari (Goethe University Frankfurt, Germany) ...
ArtistDesign NoE - UML&FM’2010
www.artist-embedded.org
... André Windisch (EADS Military Aircraft, Germany); John Whittle (George Mason University, USA); Sergio Yovine (Universidad de Buenos Aires, Argentina) ...
En julio inicia una nueva edición de la Escuela de Ciencias ...
www.sobretiza.com.ar
En diálogo con Sobre tiza, Sergio Yovine, presidente de la ECI 2012, señaló que este año se duplicaron los apoyos empresariales.
Theory and Parctice of Timed Systems
www-verimag.imag.fr
Organizers: Eugene Asarin, Oded Maler and Sergio Yovine The study of time-dependent behavior is treated currently under different titles by different communities.
Invariant detection publications
plse.cs.washington.edu
“A static analysis for synthesizing parametric specifications of dynamic memory consumption” by Víctor Braberman, Diego Garbervetsky, and Sergio Yovine.
NASA LaRC Formal Methods Program: SPIDER
shemesh.larc.nasa.gov
In Yassine Lakhnech and Sergio Yovine, editors, Formal Techniques, Modeling and Analysis of Timed and Fault-Tolerant Systems (FORMATS-FTRTFT), volume ...
Organizing Committee – MOBILESoft 2017
mobilesoftconf.org
Sergio Yovine, CONICET and University of Buenos Aires, Argentina. IEEE Sw delegate. Meiyappan Nagappan, Rochester Institute of Technology, USA.
Related search requests for Sergio Yovine
Joseph Sifakis Stavros Tripakis Xavier Nicollin | Yassine Lakhnech Marius Bozga |
People Forename "Sergio" (30068) Name "Yovine" (5) |
sorted by relevance / date