Jonas Eckhardt
Title
Cited by
Cited by
Year
Are" non-functional" requirements really non-functional? an investigation of non-functional requirements in practice
J Eckhardt, A Vogelsang, DM Fernández
Proceedings of the 38th International Conference on Software Engineering …, 2016
762016
Stable availability under denial of service attacks through formal patterns
J Eckhardt, T Mühlbauer, M AlTurki, J Meseguer, M Wirsing
International Conference on Fundamental Approaches to Software Engineering …, 2012
512012
A requirements engineering content model for cyber-physical systems
B Penzenstadler, J Eckhardt
2012 Second IEEE International Workshop on Requirements Engineering for …, 2012
362012
An exploratory study on reuse at google
V Bauer, J Eckhardt, B Hauptmann, M Klimek
Proceedings of the 1st international workshop on software engineering …, 2014
302014
Statistical model checking for composite actor systems
J Eckhardt, T Mühlbauer, J Meseguer, M Wirsing
International Workshop on Algebraic Development Techniques, 143-160, 2012
282012
Does goal-oriented requirements engineering achieve its goal?
A Mavin, P Wilkinson, S Teufl, H Femmer, J Eckhardt, J Mund
2017 IEEE 25th International Requirements Engineering Conference (RE), 174-183, 2017
252017
Challenging incompleteness of performance requirements by sentence patterns
J Eckhardt, A Vogelsang, H Femmer, P Mager
2016 IEEE 24th International Requirements Engineering Conference (RE), 46-55, 2016
222016
Does quality of requirements specifications matter? combined results of two empirical studies
J Mund, DM Fernandez, H Femmer, J Eckhardt
2015 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2015
172015
Understanding the impact of artefact-based RE--design of a replication study
B Penzenstadler, DM Fernández, J Eckhardt
2013 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2013
152013
Design and analysis of cloud-based architectures with KLAIM and Maude
M Wirsing, J Eckhardt, T Mühlbauer, J Meseguer
International Workshop on Rewriting Logic and its Applications, 54-82, 2012
152012
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude
J Eckhardt, T Mühlbauer, J Meseguer, M Wirsing
Science of Computer Programming 99, 24-74, 2015
142015
Two replication studies for evaluating artefact models in RE: results and lessons learnt
B Penzenstadler, J Eckhardt, DM Fernández
2013 3rd International Workshop on Replication in Empirical Software …, 2013
142013
European truck platooning challenge 2016
J Eckhardt, L Aarts, A van Vliet, T Alkim
The Hague, Delta3, 2016
122016
On the distinction of functional and quality requirements in practice
J Eckhardt, A Vogelsang, DM Fernández
International Conference on Product-Focused Software Process Improvement, 31-47, 2016
112016
How to specify non-functional requirements to support seamless modeling? A study design and preliminary results
J Eckhardt, DM Fernandez, A Vogelsang
2015 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2015
102015
A model of layered architectures
D Marmsoler, A Malkis, J Eckhardt
arXiv preprint arXiv:1503.04916, 2015
102015
An approach for creating sentence patterns for quality requirements
J Eckhardt, A Vogelsang, H Femmer
2016 IEEE 24th International Requirements Engineering Conference Workshops …, 2016
92016
A formal analysis of security properties in cloud computing
J Eckhardt
Master's thesis, LMU Munich, TU Munich, 2011
62011
Grounded Architectures: Using Grounded Theory for the design of software architectures
HK Gidey, D Marmsoler, J Eckhardt
2017 IEEE international conference on software architecture workshops (ICSAW …, 2017
52017
Inter-domain requirements and their future realisability: The ARAMiS cyber-physical systems scenario
B Penzenstadler, J Eckhardt, W Schwitzer, MV Cengarle, S Voss
2013 Federated Conference on Computer Science and Information Systems, 1413-1418, 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20