The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for EB3 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2005-2023 (12)
Publication types (Num. hits)
article(5) inproceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 11 keywords

Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
243Frédéric Gervais, Marc Frappier, Régine Laleau Refinement of eb3 Process Patterns into B Specifications. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF data integrity constraints, eb3, process expressions, Information systems, refinement
116Benoît Fraikin, Marc Frappier, Régine Laleau State-based versus event-based specifications for information systems: a comparison of B and eb3. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF State-based paradigm, Event-based paradigm, eb3, Formal specification, Information system, Process algebra, B
59Jérémy Milhau, Benoît Fraikin, Marc Frappier Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Frédéric Gervais, Marc Frappier, Régine Laleau Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis Extending statecharts with process algebra operators. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF EB3, Information systems, Process algebras, Statecharts, State transition diagrams
33Lingfa Kong, Yidao Dong, Wei Liu Extending EB3 scheme for the differential conservation law from node-centered to cell-centered control volumes I: Basic formula on regular cells. Search on Bibsonomy J. Comput. Phys. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu 0001 Verification of EB3 specifications using CADP. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
33Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu 0001 Verification of EB3 Specifications Using CADP. Search on Bibsonomy IFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
33Frédéric Gervais, Marc Frappier, Régine Laleau Generating relational database transactions from eb3 attribute definitions. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SELECT statements, Information systems, Pattern matching, Transactions, Attributes
33Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. Search on Bibsonomy ICEIS (3) The full citation details ... 2006 DBLP  BibTeX  RDF
33Frédéric Gervais, Marc Frappier, Régine Laleau Synthesizing B Specifications from EB3 Attribute Definitions. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions
33Frédéric Gervais, Marc Frappier, Régine Laleau How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? Search on Bibsonomy MSVVEIS The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license