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

Florentin Ipate (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


49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIonut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose: Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) 2011: 76-90
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorentin Ipate, Raluca Lefticaru, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Cristina Tudose: Formal Verification of P Systems with Active Membranes through Model Checking. Int. Conf. on Membrane Computing 2011: 215-225
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Tudose, Raluca Lefticaru, Florentin Ipate: Using Genetic Algorithms and Model Checking for P Systems Automatic Design. NICSO 2011: 285-302
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaluca Lefticaru, Cristina Tudose, Florentin Ipate: Towards Automated Verification of P Systems Using Spin. IJNCR 2(3): 1-12 (2011)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorentin Ipate, Raluca Lefticaru, Cristina Tudose: Formal Verification of P Systems Using Spin. Int. J. Found. Comput. Sci. 22(1): 133-142 (2011)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaluca Lefticaru, Florentin Ipate, Cristina Tudose: Automated Model Design Using Genetic Algorithms and Model Checking. BCI 2009: 79-84

Selection of 6 from 51 records - Florentin Ipate has 27 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