The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jewgenij Botaschanjan" ( http://dblp.L3S.de/Authors/Jewgenij_Botaschanjan )

  Author page on DBLP  Author page in RDF  Community of Jewgenij Botaschanjan in ASPL-2

Publication years (Num. hits)
2004-2014 (12)
Publication types (Num. hits)
article(3) inproceedings(8) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 10 keywords

Results
Found 13 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jewgenij Botaschanjan, Markus Pister 0001, Bernhard Rumpe Testing Agile Requirements Models. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jewgenij Botaschanjan, Benjamin Hummel Material Flow Abstraction of Manufacturing Systems. Search on Bibsonomy ICTAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jewgenij Botaschanjan, Alexander Harhurin Integrating Functional and Architectural Views of Reactive Systems. Search on Bibsonomy CBSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jewgenij Botaschanjan, Alexander Harhurin Property-Driven Scenario Integration. Search on Bibsonomy SEFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jewgenij Botaschanjan, Benjamin Hummel Specifying the worst case: orthogonal modeling of hardware errors. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF af/stem case tool, error filters, error mode specification, modelling hardware errors, error models
1Jewgenij Botaschanjan, Benjamin Hummel, Thomas Hensel, Alexander Lindworsky Integrated Behavior Models for Factory Automation Systems. Search on Bibsonomy ETFA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova On the correctness of upper layers of automotive systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Time-triggered systems, Formal verification, Model-based development, Automotive software
1Jewgenij Botaschanjan Techniques for property preservation in the development of real-time systems. (PDF / PS) Search on Bibsonomy 2008   RDF
1Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz Towards Modularized Verification of Distributed Time-Triggered Systems. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova Towards verified automotive software. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF verification, integration, theorem proving, automotive, time-triggered, model based software engineering
1Jewgenij Botaschanjan, Jan Jürjens MoDeII: Modeling and Analyzing Time-Constraints. Search on Bibsonomy ECBS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jewgenij Botaschanjan, Andreas Fleischmann, Markus Pister 0001 A conceptual model for requirements engineering and management for change-intensive software. Search on Bibsonomy IASTED Conf. on Software Engineering The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license