Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Florentin Ipate" ( http://dblp.L3S.de/Authors/Florentin_Ipate )

  Author page on DBLP  Author page in RDF  Community of Florentin Ipate in ASPL-2

Publication years (Num. hits)
1996-2004 (15) 2005-2009 (21) 2010-2012 (14)
Publication types (Num. hits)
article(26) book(1) inproceedings(23)
Venues (Conferences, Journals, ...)
Formal Asp. Comput.(5) Int. Conf. on Membrane Computi...(4) Workshop on Membrane Computing(4) Comput. J.(3) Fundam. Inform.(3) Theor. Comput. Sci.(3) Appl. Algebra Eng. Commun. Com...(2) Natural Computing(2) SYNASC(2) XP(2) ASWEC(1) BCI(1) CoRR(1) ECAL(1) Electr. Notes Theor. Comput. S...(1) Grammars and Automata for Stri...(1) More (+10 of total 29)
Authors
Florentin Ipate(50) Mike Holcombe(17) Marian Gheorghe(16) Raluca Lefticaru(14) Cristina Tudose(6) Tudor Balanescu(5) Gexiang Zhang(4) Ciprian Dragomir(2) Haina Rong(2) Alin Stefanescu(1) Anthony J. Cowling(1) Chunxiu Liu(1) Cristian Stefan(1) Fen Zhou(1) Hongwen Liu(1) Ignacio Pérez-Hurtado(1) More (+10 of total 27)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 34 occurrences of 17 keywords
Results
Found 50 publication records. Showing 50 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Florentin Ipate Learning finite cover automata from queries. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Raluca Lefticaru, Marian Gheorghe, Florentin Ipate An empirical evaluation of P system testing techniques. Search on Bibsonomy Natural Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Florentin Ipate, Raluca Lefticaru, Cristina Tudose Formal Verification of P Systems Using Spin. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Raluca Lefticaru, Cristina Tudose, Florentin Ipate Towards Automated Verification of P Systems Using Spin. Search on Bibsonomy IJNCR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Florentin Ipate, Radu Nicolescu, Ionut-Mihai Niculescu, Cristian Stefan Synchronization of P Systems with Simplex Channels Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose Test Data Generation for Event-B Models Using Genetic Algorithms. Search on Bibsonomy ICSECS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cristina Tudose, Raluca Lefticaru, Florentin Ipate Using Genetic Algorithms and Model Checking for P Systems Automatic Design. Search on Bibsonomy NICSO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Florentin 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. Search on Bibsonomy Int. Conf. on Membrane Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xiaoli Huang, Gexiang Zhang, Haina Rong, Florentin Ipate Evolutionary Design of a Simple Membrane System. Search on Bibsonomy Int. Conf. on Membrane Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Florentin Ipate, Marian Gheorghe, Raluca Lefticaru Test generation from P systems using model checking. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Florentin Ipate Bounded sequence testing from deterministic finite state machines. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fen Zhou, Gexiang Zhang, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru A particle swarm optimization based on P systems. Search on Bibsonomy ICNC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marian Gheorghe, Florentin Ipate Testing Based on P Systems - An Overview. Search on Bibsonomy Int. Conf. on Membrane Computing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir An Integrated Approach to P Systems Formal Verification. Search on Bibsonomy Int. Conf. on Membrane Computing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Florentin Ipate, Marian Gheorghe Finite state based testing of P systems. Search on Bibsonomy Natural Computing The full citation details ... 2009 DBLP  BibTeX  RDF
1Florentin Ipate, Marian Gheorghe Testing Non-deterministic Stream X-machine Models and P systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Florentin Ipate Test Selection for Hierarchical and Communicating Finite State Machines. Search on Bibsonomy Comput. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marian Gheorghe, Florentin Ipate, Ciprian Dragomir Formal Verification and Testing Based on P Systems. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chunxiu Liu, Gexiang Zhang, Hongwen Liu, Marian Gheorghe, Florentin Ipate An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Raluca Lefticaru, Florentin Ipate, Marian Gheorghe, Gexiang Zhang Tuning P Systems for Solving the Broadcasting Problem. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Raluca Lefticaru, Florentin Ipate, Cristina Tudose Automated Model Design Using Genetic Algorithms and Model Checking. Search on Bibsonomy BCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert M. Hierons, Florentin Ipate Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Testing, Controllability, Non-determinism, Stream X-machine
1Florentin Ipate, Mike Holcombe Testing data processing-oriented systems from stream X-machine models. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Raluca Lefticaru, Florentin Ipate Functional Search-based Testing from State Machines. Search on Bibsonomy ICST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF genetic algorithms, simulated annealing, particle swarm optimization, finite state machine, search-based testing
1Raluca Lefticaru, Florentin Ipate A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. Search on Bibsonomy SYNASC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marian Gheorghe, Florentin Ipate On Testing P Systems. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Florentin Ipate Class Testing from State Diagrams Using Stream X-Machine Based Methods. Search on Bibsonomy ASWEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Raluca Lefticaru, Florentin Ipate Automatic State-Based Test Generation Using Genetic Algorithms. Search on Bibsonomy SYNASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak Testing methods for X-machines: a review. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Software testing, Finite state machines, Test set generation, X-machines
1Florentin Ipate Testing against a non-controllable stream X-machine using state counting. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Florentin Ipate Bounded Sequence Testing from Non-deterministic Finite State Machines. Search on Bibsonomy TestCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Florentin Ipate, Tudor Balanescu Refinement in Finite State Machine Testing. Search on Bibsonomy Fundam. Inform. The full citation details ... 2005 DBLP  BibTeX  RDF
1Florentin Ipate, Mike Holcombe Complete Testing from a Stream X-Machine Specification. Search on Bibsonomy Fundam. Inform. The full citation details ... 2005 DBLP  BibTeX  RDF
1Florentin Ipate On the Minimality of Finite Automata and Stream X-machines for Finite Languages. Search on Bibsonomy Comput. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Florentin Ipate, Mike Holcombe Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. Search on Bibsonomy XP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF finite state machines, unit testing, functional testing, state diagrams, stream X-machines
1Florentin Ipate Complete deterministic stream X-machine testing. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Formal specification, Testing, Finite state machines, Test set generation, Stream X-machines
1Mike Holcombe, Florentin Ipate Complete Test Generation for Extreme Programming. Search on Bibsonomy XP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF unit testing, Functional testing, acceptance testing, test set generation, X-machines
1Florentin Ipate On the Minimality of Stream X-machines. Search on Bibsonomy Comput. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Florentin Ipate, Marian Gheorghe, Mike Holcombe Testing (Stream) X-machines. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Florentin Ipate, Mike Holcombe Testing Non-Deterministic X-Machines. Search on Bibsonomy Grammars and Automata for String Processing The full citation details ... 2003 DBLP  BibTeX  RDF
1Florentin Ipate, Mike Holcombe Testing Conditions for Communicating Stream X-machine Systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Communicating (extended) fsm, Communicating (stream) X-machines, Design for test-conditions, Testing
1Joaquin Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Search on Bibsonomy Fundam. Inform. The full citation details ... 2002 DBLP  BibTeX  RDF
1Florentin Ipate, Mike Holcombe An Integrated Refinement and Testing Method for Stream X-machines. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate Eilenberg P Systems. Search on Bibsonomy WMC-CdeA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu Testing Using X-Machine Translations. Search on Bibsonomy Words, Semigroups, and Transductions The full citation details ... 2001 DBLP  BibTeX  RDF
1Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. Search on Bibsonomy ECAL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Florentin Ipate, Mike Holcombe Generating Test Sets from Non-Deterministic Stream X-Machines. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Testing, Finite state machines, Non-determinism, Test set generation, X-machines
1Florentin Ipate, Mike Holcombe Specification and Testing Using Generalised Machines: A Presentation and a Case Study. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Mike Holcombe, Florentin Ipate Correct systems - building a business process solution. Search on Bibsonomy 1998   RDF
1Florentin Ipate, Mike Holcombe Another Look at Computability. Search on Bibsonomy Informatica (Slovenia) The full citation details ... 1996 DBLP  BibTeX  RDF
Displaying result #1 - #50 of 50 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.