|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andreas Speck, Sven Feja, Sören Witt, Elke Pulvermüller, Marcel Schulz |
Formalizing business process specifications.  |
Comput. Sci. Inf. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elke Pulvermüller, Andreas Speck, Sven Feja, Sören Witt |
Component Composition Validation. |
SoMeT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Speck, Sören Witt, Sven Feja, Aneta Lotyzc, Elke Pulvermüller |
Framework for Business Process Verification. |
BIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Feja, Sören Witt, Andreas Speck |
BAM: A Requirements Validation and Verification Framework for Business Process Models. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elke Pulvermueller, Sven Feja, Andreas Speck |
Developer-friendly verification of process-based systems. |
Knowl.-Based Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elke Pulvermüller, Andreas Speck, Sven Feja, Sören Witt |
Process Model Validation - Transforming Process Models to Extended Checking Models. |
ENASE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sven Feja, Sören Witt, Andreas Brosche, Andreas Speck, Christian Prietz |
Modellierung und Validierung von Datenschutzanforderungen in Prozessmodellen. |
FTVI/FTRI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sven Feja, Andreas Speck, Sören Witt, Marcel Schulz |
Checkable Graphical Business Process Representation. |
ADBIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Meiko Jensen, Sven Feja |
A Security Modeling Approach for Web-Service-Based Business Processes. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Drawehn, Sven Feja |
Anwendung von grafischen Validierungsregeln bei der Entwicklung von ITIntegrationsprozessen. |
Software Engineering (Workshops) |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sven Feja, Andreas Speck, Elke Pulvermüller |
Business Process Verification. |
GI Jahrestagung |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sven Feja |
An Approach for Semantic Checks of Process Models. |
BPSC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sven Feja, Daniel Fötsch |
Model Checking with Graphical Validation Rules. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Workflow, Specification, Business Process, CTL |
| 1 | Sven Feja, Daniel Fötsch, Sebastian Stein |
Grafische Validierungsregeln am Beispiel von EPKs. |
Software Engineering (Workshops) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Stein, Stefan Kühne, Jens Drawehn, Sven Feja, Werner Rotzoll |
Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study. |
BPM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Feja |
Service-orientierte integration im E-commerce. |
Informatiktage |
2007 |
DBLP BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")