dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Sebastián Uchitel (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: The Modal Transition System Control Problem. FM 2012: 155-170
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel: Weak Alphabet Merging of Partial Behavior Models. ACM Trans. Softw. Eng. Methodol. 21(2): 9 (2012)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models for fallible domains. ICSE 2011: 211-220
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models. SIGSOFT FSE 2010: 77-86
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel: MTSA: The Modal Transition System Analyser. ASE 2008: 475-476
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel: MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. ETX 2007: 6-10

Selection of 6 from 90 records - Sebastián Uchitel has 49 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page