Julia Seiter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
10
Active years
2012–2015
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | DSD | Verification-Driven Design Across Abstraction Levels: A Case Study. | Nils Przigoda, Jannis Stoppe, Julia Seiter, Robert Wille, Rolf Drechsler |
| 2015 | BSN | Sensor technology for ice hockey and skating. | Michael Hardegger, Benjamin Ledergerber, Severin Mutter, Christian Vogt, Julia Seiter, Alberto Calatroni, Gerhard Trster |
| 2015 | ISWC | Estimating physical ability of stroke patients without specific tests. | Adrian Derungs, Julia Seiter, Corina Schuster-Amft, Oliver Amft |
| 2015 | PERCOM | Joint segmentation and activity discovery using semantic and temporal priors. | Julia Seiter, Walon Wei-Chen Chiu, Mario Fritz, Oliver Amft, Gerhard Trster |
| 2015 | TAP | Coverage of OCL Operation Specifications and Invariants. | Mathias Soeken, Julia Seiter, Rolf Drechsler |
| 2014 | FDL | Verifying consistency between activity diagrams and their corresponding OCL contracts. | Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Khne, Rolf Drechsler |
| 2014 | FDL | Automatic refinement checking for formal system models. | Julia Seiter, Robert Wille, Ulrich Khne, Rolf Drechsler |
| 2013 | ANT | Can Smartphones Help with Running Technique? | Christina Strohrmann, Julia Seiter, Yurima Llorca, Gerhard Trster |
| 2013 | DATE | Determining relevant model elements for the verification of UML/OCL specifications. | Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler |
| 2013 | ISWC | Activity monitoring in daily life as an outcome measure for surgical pain relief intervention using smartphones. | Julia Seiter, Sebastian Feese, Bert Arnrich, Gerhard Trster, Oliver Amft, Lucian Macrea, Konrad Maurer |
| 2013 | Mobiquitous | Merging Inhomogeneous Proximity Sensor Systems for Social Network Analysis. | Amir Muaremi, Franz Gravenhorst, Julia Seiter, Agon Bexheti, Bert Arnrich, Gerhard Trster |
| 2012 | RC | Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. | Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler |