Find questions, answers and discussions ask a question. Benedikt schmidt 1, heiko paulheim, todor stoitsev, and max muhlh auser2 1 sap research darmstadt, bleichstrasse 8, 64285 darmstadt, germany. View martin keppners profile on linkedin, the worlds largest professional community. Schmidt says hes ecstatic with the results but remembers this is not really a competition. Task patterns to support taskcentric social software engineering. Relational reasoning via probabilistic coupling with gilles barthe, thomas espitau, benjamin gregoire, justin hsu, and pierreyves strub lpar 20. Gilles barthe and juan manuel crespo and yassine lakhnech and benedikt schmidt. Axel schulz head of ai systems and customer analytics. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Axel schulz head of ai systems and customer analytics db. He joined the imdea software institute as a postdoctoral researcher in february 20, after receiving his ph. Jim joined docuware as president in march 2019, responsible for sales and revenue in the americas. Benedikt schmidt received a computer science degree from university of karlsruhe, germany in november 2007.
Luca compagna sap security research verified email at sap. Proceedings of the multikonferenz software engineering 20, germany. Docuware management team document management software. Modular machinechecked proofs of oneround key exchange protocols. Benedikt schmidt works as a scientist for the abb ag. Relational reasoning via probabilistic coupling with. Gilles barthe, juan manuel crespo, benjamin gregoire, cesar kunz, yassine lakhnech, benedikt schmidt and santiago zanellabeguelin. Join this free online course to learn how to create enterprisegrade web apps using sapui5, the flexible and comprehensive ui framework from sap. Task patterns to support taskcentric social software. The course is aimed at intermediate to advanced developers but is also suitable for ambitious ui5 beginners. It encompasses requirements management, software architecture, computer programming, software testing, software maintenance, change management. Abb ability is our unified, crossindustry digital offering extending from device to edge to cloud with devices, systems, solutions, services and a.
It was a great pleasure to work with benedikt over 2 years on a large, comples global managed services deal. Technische universitat darmstadt, darmstadt, germany. This cited by count includes citations to the following articles in scholar. In may 2015, i worked under the supervision of gilles barthe and benedikt schmidt at imdea software on formal proofs of probabilistic algorithms paper. Activitycentric support for weaklystructured business. It has been used to verify transport layer security 1. Benedikt schmidt imdea software institute, pierreyves strub ecole.
Schmidt, armin heinzl, tobias hildenbrand, dirk voelz. Their combined citations are counted only for the first article. Activitycentric support for weaklystructured business processes. See the complete profile on linkedin and discover benedikt. See the complete profile on linkedin and discover martins connections and jobs at similar companies. Evolved web apps with sapui5 opensap free sap training. Todor stoitsevs research works sap research, walldorf sap.
Benedikt schmidt, sap research, research darmstadt department, graduate student. The tamarinprover supports the automated, unbounded, symbolic analysis of security protocols. Team sap currently ranks in the top 200 contributors, higher than other software companies. Activitycentric support for weaklystructured business processes benedikt schmidt sap research cec darmstadt 62483 darmstadt benedikt. Before this, benedikt was a postdoctoral researcher at technische universitat darmstadt in the telecooperation group of prof. Max joined docuware as vp marketing in 2001 and was promoted to chief revenue officer cro in january 2018. The tamarin prover for the symbolic analysis of security.
Christoph anneser phd student at technical university of munich. Sign up for your own profile on github, the best place to host code, manage projects, and build software alongside 40 million developers. Studies cultural studies, information retrieval, and natural language processing. Benedikt schmidt senior engagement manager diebold. The missing link in large scale lean product development. Sjouke mauw professor in security and trust of software systems, university of luxembourg verified email at uni. Sap is one of the big players in business software and is currently developing new products and promoting new product suites at a speed previously unknown to most customers. Gilles barthe, benjamin gregoire, benedikt schmidt. Application lifecycle management alm is the product lifecycle management governance, development, and maintenance of computer programs. Todor stoitsevs research while affiliated with sap research and other places. He joined the imdea software institute as a postdoctoral researcher in february. View benedikt schmidt s profile on linkedin, the worlds largest professional community.
Interaction history visualization benedikt schmidt, sebastian doeweling sap research darmstadt 62483 darmstadt, germany. Most it departments have seen sap hana in sales presentations, or even implemented the software. Publications on agile software engineering topics by sap. Designing for information work at the computer workplace. Publications on agile software engineering topics by sap authors. Cryptography plays a key role in the security of modern communication and computer infrastructures. The tamarin prover is a security protocol verification tool that supports both falsification and unbounded verification in the symbolic model. Designing for information work at the computer workplace with. After 10 years working in various positions in strategic planning, marketing and international software sales at siemens ag, max ertl served as business development director for nemetschek ag. Knowledge worker roles and actionsresults of two empirical. Todor stoitsevs research works sap research, walldorf. Benedikt schmidt, johannes kastl, todor stoitsev sap research darmstadt. Towards a formalization of individual work execution at.
Sap research and university of darmstadt, department of computer science, telecooperation group, bleichstra. As part of the digital learning initiative, the assignments are unlocked until june 30, 2020. It encompasses requirements management, software architecture, computer programming, software testing, software. Automated analysis of diffiehellman protocols and advanced security properties, by benedikt schmidt, simon meier, cas cremers, david basin. Benedikt schmidt international association for cryptologic. It features expressive languages for specifying protocols, adversary models, and properties, and support. Gilles barthe, juan manuel crespo, yassine lakhnech, benedikt schmidt. Introducing agile software development at sap ag change procedures and observations in a global software company.
47 106 72 897 1514 1246 331 923 683 1373 1013 294 1455 554 140 1350 651 156 727 1473 1327 1381 850 915 1395 920 1136 617 1459 20 1169