Softwaretechnik Uni Ulm @sp_uulm
Institute of Software Engineering and Programming Languages (SP) | Ulm University #uulm uni-ulm.de/in/sp/ Ulm, Deutschland Joined August 2018-
Tweets64
-
Followers90
-
Following29
-
Likes14
Happy to share the new version of our slide template with support for slides in dark mode: github.com/SoftVarE-Group… The next release v1.0.0 is planned to be independent of a particular university and can be customized to a corporate identity.
Happy to welcome Rahel Sundermann as a new PhD student in our team: uni-ulm.de/en/in/sp/team/… Rahel just finished her master's thesis on sampling of field configurations is likely to work on similar topics in the near future.
v3.10.0 has been released (already in August) with automatic translation between UVL language levels, prime implicant analysis, and improved feature model import and export: github.com/FeatureIDE/Fea… The release is joint work by University of Ulm and University of Magdeburg.
The Most Influential Paper Award at #SPLC2023 went to "Reasoning about Edits to Feature Models" by Thomas Thüm, Don Batory, and Christian Kästner, first presented at ICSE 2009. Thomas Thüm took us on a journey back in time, reflecting on this impactful work from a decade ago.
Dear @splcconf audience, about to start my MIP talk at #splc2023. Here is some material for you in case my talk will be boring... original slides from #icse2009: github.com/SoftVarE-Group… original paper: dl.acm.org/doi/10.1109/IC… paper with corrections: github.com/SoftVarE-Group…
Right now at #splc2023: Sebastian Krieter presenting VariantInc, a tool within the scope of the research project @VariantSync. Co-Authors: @JacobKrueger_, @tleich, Gunter Saake Slides: github.com/SoftVarE-Group… Preprint: github.com/SoftVarE-Group… Paper: dl.acm.org/doi/10.1145/35…
Recently at #splc2023: Paul helping Alice with doing code reviews for Bob's changes to a product line. Formalization, tooling, and large-scale empirical evaluation of views on edits. Slides: github.com/SoftVarE-Group… Preprint: github.com/SoftVarE-Group… Paper: dl.acm.org/doi/10.1145/35…
Delighted to announce that my first publication receives the @splcconf Most-Influential Paper Award: Reasoning About Edits to Feature Models, @ICSEconf 2009 I am very grateful to Don Batory (@DonBatory) and Christian Kästner (@p0nk) for all the support! splc.net/mip-award/
Sebastian Krieter has joined our team as of April 2022 and he is defending his PhD thesis soon:
Sebastian Krieter has joined our team as of April 2022 and he is defending his PhD thesis soon:
We have just release the first version v0.1.0 of our inofficial Beamer LaTeX template for presentations and lectures at @uni_ulm. Check it out and report your feedback to our issue tracker: github.com/SoftVarE-Group…
v3.8.1 is released with significant improvements over v3.8.0. It is available on the update site and prepackaged versions will follow soon: github.com/FeatureIDE/Fea… We strongly recommend the update as prior versions produce wrong analysis results for certain feature models.
v3.8.0 has been released with a significantly revised integration of the Universal Variability Language (UVL) and numerous other improvements. The release is joint work by University of Ulm and Harz University of Applied Sciences.
Our talk on Feature Trace Recording at @FSEconf '21 is now available on YouTube: youtube.com/watch?v=Mk5S0X… Feel free to reach out to us if you are interested in our work! :) Thanks to @sp_uulm for their constructive feedback! #esecfse21
Our talk on Feature Trace Recording at @FSEconf '21 is now available on YouTube: youtube.com/watch?v=Mk5S0X… Feel free to reach out to us if you are interested in our work! :) Thanks to @sp_uulm for their constructive feedback! #esecfse21
I am delighted to announce that our paper “Feature Trace Recording” got accepted at #esecfse21 @FSEconf! Big thanks to my co-authors @SchultheissAlex, @ThomasThuem, Timo Kehrer, @do_you_gnu, and Lukas Linsbauer! Preprint: tinyurl.com/ftresecfse21 Code: github.com/pmbittner/Feat… 1/8
Long time no see? After eight months, v3.7.1 is released with several improvements over v3.7.0. It is available on the update site and prepackaged versions will follow soon: github.com/FeatureIDE/Fea… Update if you work with large feature models, AHEAD, or the FeatureIDE library.
Our institute is honoured to host the 8th International Conference on Rigorous State Based Methods @ABZ_Conference from June 7 to 11, accompanied by several satellite events. abz2021.uni-ulm.de #ABZ2021
A preliminary version of our @ICSEconf presentation on @VariantSync is available online: Bridging the Gap between Clone-and-Own and Software Product Lines by Timo Kehrer, @ThomasThuem, @SchultheissAlex, Paul Maximilian Bittner youtube.com/watch?v=oJf8W4…
In this summer term, we offer a joint Master-level lecture together with @sp_uulm on "Concepts for Concurrent, Parallel and Distributed Programming" More information: uni-ulm.de/en/in/vs/teach…
Rahel Arens will give a demo on @FeatureIDE at #fosd21 today (6:40pm, UTC+2). We are looking forward to meet you at wonder.me. What do you want to see in action? Let us know below. Related demos on YouTube: youtube.com/watch?v=gj7EOZ… youtube.com/watch?v=mF2_hD…
Paul Maximilian Bittner just gave his talk at #fosd21 on feature trace recording. Slides: bit.ly/3mJOIQD Thesis: bit.ly/3wQWUTI Project: @VariantSync
Auramek @Auramek478
33 Followers 1K Following
えのうら えつ�... @ShotyckndBh
7 Followers 568 Following
Odelia @ShuheauplD67
5 Followers 536 Following
Adrian Kieß @adriankiess
34 Followers 590 Following Adrian Kieß is a programmer and administrator. He is currently taking part in the history seminar at the University of Leipzig.
Steffen Wendzel @cdp_xe
614 Followers 1K Following Inactive Account. Check out https://t.co/8o8ZFWnbuO instead.
Aaron Molt @AaronMolt
9 Followers 26 Following
ProvablySafe.AI @ProvablySafeAI
69 Followers 530 Following Connecting and onboarding researchers at the intersection of formal methods and AI safety. Posts by @agentofuser.
David Benavides @davbencue
2K Followers 1K Following Profesor Informática @etsii Con ganas de cambiar el mundo. Mirada en Andalucía. Full Professor. Former chair of the @splcconf now coordinating @diversolabUS
G. R. @OeffentlichR
2 Followers 76 Following
SPLC 2025 @splcconf
777 Followers 595 Following The 29th ACM International Systems and Software Product Line Conference (SPLC) #splc2025 📅 September 1-5, 2025
Pedro N. Neves @PJNNeves
33 Followers 2K Following
Tim Jannik Schmidt @stimjannik
21 Followers 33 Following 🎓 Software Engineering at @uni_ulm (7th bachelor's semester) | 💼 Student research assistent at @sp_uulm | Member of @softvare_uulm
NikaBlaze @dcloman1997
353 Followers 2K Following Raider Jukebox 2011-2015 World Famed 2015-2019 #gramfamAlum
Rolgan83 @RolganSuhd
7 Followers 93 Following
Regina Zacharski ( RZ... @ReginaZacharski
709 Followers 5K Following ZUR ZEIT - KUNST - TAGEBUCH / digitale Plastik / Regina Zacharski / https://t.co/TgkTT15hXR…
Projekt SecForCARS @secforcars
51 Followers 61 Following Project funded by the German Federal Ministry of Education and Research that investigates issues related to thsecurity of future connected, autonomous vehicles.
Mobilität Ulm | Mobi... @MOW_Ulm
175 Followers 289 Following Alles rund um die (Ulmer) Mobilitätswende - Städte für Bürger*innen | Focused on mobility transformation - cities for people | 🚶♀️🚲 🚌 🚆 🚘
VariantSync @VariantSync
23 Followers 6 Following VariantSync is a research project funded by DFG and an open-source tool. The goal of both is to bridge the gap between clone-and-own and software product lines.
Paul Bittner @PaulMBittner
120 Followers 195 Following PhD student at @sp_uulm; Research Assistant at Uni Paderborn; @VariantSync; evolution of configurable software; Agda; Magic the Gathering
Biomedizinische Techn... @medtech_uulm
78 Followers 219 Following Institut für Biomedizinische Technik an der @uni_ulm, geleitet von Prof. Karlen @karliwalti: medizinische #Wearables. Nearables. Automation. Neuer Studiengang!
Thomas Wagner @tomww
1K Followers 3K Following IT-Projekte, PM mit Technik #UltraEthernet #EVPNVxLAN #SONiC #Agile #Ulm #Scrum #Security #Linux #Solaris #Illumos #Omnios #IPv6 @[email protected] 323ppm
Jörg @jo_hka
105 Followers 208 Following Entrepreneur @benchant_com / Researcher @omi_uulm / Performance Engineer // distributed systems // automation and orchestration
Jonas Otto @ottojo0802
264 Followers 946 Following
Evgeny S. @_evgeny_s
261 Followers 733 Following Postdoc @ADSKResearch. Previously PhD student in HCI @mi_uulm #uulm. “Opinions” are my own. https://t.co/JMLm6uKkNd
HND-BW @hnd_bw
431 Followers 1K Following Hochschulnetzwerk Digitalisierung der Lehre der baden-württembergischen Universitäten. Voneinander lernen - miteinander gestalten. https://t.co/FVXVvOXxbL
Hamid Ghaleb @Haakktr
262 Followers 2K Following PhD. student at software Engineering Department College of Computer and Information Sciences King Saud University Riyadh, Saudi Arabia.
Chico Sundermann @ChicoSundermann
54 Followers 90 Following PhD student at @uni_ulm | @sp_uulm | @softvare_uulm
Christopher Gerking @ChrisGerking
108 Followers 438 Following Software engineering researcher @KASTEL_SRL @KITKarlsruhe
Ricardo Theis Geraldi @ricardotgeraldi
99 Followers 355 Following PhD in Informatics: Cyber-Physical Systems, Internet of Things, and Variability Modeling. Pontifícia Universidade Católica do Paraná @PUCPRoficial
niko @ddomme
108 Followers 847 Following Lokalredakteur, Social-Media-Fan, Stadtbild-Fotograf, Politologe
FeatureIDE @FeatureIDE
142 Followers 12 Following Eclipse plug-ins for feature-oriented software development
MaLeitz @ma_leitz
0 Followers 30 Following Handball spielender Software Entwickler aus dem schönen Ulm
SoftVarE Group @softvare_uulm
56 Followers 16 Following Working Group for Software Variability and Evolution led by Prof. @ThomasThuem at institute @sp_uulm at university @uni_ulm host of https://t.co/f0Dmhe80xc
stadtnavi 🗺 @stadtnavi
796 Followers 1K Following Gemeinsam Mobilität neu denken: Mobilitätsplattform 🚵#OpenSource #intermodal 🚗🚋 regionale Livedaten in Echtzeit 🚊 Modellstadt Herrenberg 🚍 für alle!
Andreas Krauß @am_krauss
9 Followers 168 Following
Juliane Georgi @GeorgiJuliane
1 Followers 87 Following
Stefan Höppner @StefanHoeppner
28 Followers 37 Following PhD Candidate Software Engineering @sp_uulm @uni_ulm, Head of @uulm_sgi Linux department
Frau Groner @r_groner
3 Followers 41 Following
Alexander Raschke @joerauschi
10 Followers 99 Following
Estroncio @estronciol
233 Followers 5K Following
hochschuledigITal.de @hs_dig
137 Followers 393 Following Das #Expertennetzwerk für die #Digitalisierung der #Hochschulverwaltung. #hochschuledigital #ERP #HCM #RPA #KI #RZ #MSP https://t.co/LO67k5k9DR https://t.co/GgfoEC8DRz
Tobias Heß @h3ssto
82 Followers 134 Following he/him | 0x1e Freelance software dev Prev: Research on BDDs and https://t.co/bGdBYRXkAx
VariantSync @VariantSync
23 Followers 6 Following VariantSync is a research project funded by DFG and an open-source tool. The goal of both is to bridge the gap between clone-and-own and software product lines.
Chico Sundermann @ChicoSundermann
54 Followers 90 Following PhD student at @uni_ulm | @sp_uulm | @softvare_uulm
Paul Bittner @PaulMBittner
120 Followers 195 Following PhD student at @sp_uulm; Research Assistant at Uni Paderborn; @VariantSync; evolution of configurable software; Agda; Magic the Gathering
SoftVarE Group @softvare_uulm
56 Followers 16 Following Working Group for Software Variability and Evolution led by Prof. @ThomasThuem at institute @sp_uulm at university @uni_ulm host of https://t.co/f0Dmhe80xc
Alexander Raschke @joerauschi
10 Followers 99 Following
Stefan Höppner @StefanHoeppner
28 Followers 37 Following PhD Candidate Software Engineering @sp_uulm @uni_ulm, Head of @uulm_sgi Linux department
FeatureIDE @FeatureIDE
142 Followers 12 Following Eclipse plug-ins for feature-oriented software development
ABZ Conference @ABZ_Conference
70 Followers 11 Following 11th International Conference on Rigorous State-Based Methods. 10.06. - 13.06.2025 | Düsseldorf, Germany
Thomas Thüm @ThomasThuem
497 Followers 120 Following Professor for Construction and Analysis of Secure Software at the University of Ulm
SE 20 @seconf20
105 Followers 78 Following Die Tagung Software Engineering der Gesellschaft für Informatik (GI) findet vom 24.-28. Februar 2020 in Innsbruck, Österreich statt
SE 2019 @seconf19
53 Followers 10 Following
ech0 @ech0_de
183 Followers 264 Following PhD student at #uulm | feminist | queer | maker | Pronouns: they/them (en); es/ihr (de) @[email protected]
Jakob @jaqPi
160 Followers 290 Following
@GHabiger@digitalcour... @GHabiger
87 Followers 276 Following Offline here, find me on Mastodon: @[email protected]
Stephan Kleber @stephanKleber
49 Followers 133 Following
Benjamin Erb @b_erb
680 Followers 573 Following Distributed Systems Therapist | Postdoctoral Researcher @vs_uulm, #uulm @berb.bsky.social personal 🐘: @[email protected] academic 🐘: @[email protected]
Universität Ulm @uni_ulm
3K Followers 0 Following Dieser Account wird nicht mehr bespielt.10/24 Die Uni Ulm ist das medizinisch-naturwissenschaftliche ❤️ der Wissenschaftsstadt. #uulm https://t.co/ELWtU9lbxc
VDI/VDE Innovation + ... @VDIVDE_IT
872 Followers 129 Following Als Dienstleister und Projektträger beraten wir bei der Förderung von Forschungsprogrammen, analysieren komplexe Vorhaben und organisieren Geschäftsstellen.
BMFTR @bmftr_bund
84K Followers 1K Following Hier twittert die Social-Media-Redaktion des Bundesministeriums für Forschung, Technologie und Raumfahrt. https://t.co/JaTlATYImM
Institut für Verteil... @vs_uulm
227 Followers 34 Following +++This account is no longer actively used. Please follow us on alternative platforms.+++ 🐘: @vs_uulm@bawü.social https://t.co/hQQFJg1FcX
DBIS Uni Ulm @dbis_uulm
188 Followers 64 Following Official twitter channel of the Institute of Databases and Information Systems (DBIS), Ulm University
FS Informatik Uni Ulm @FIN_uulm
202 Followers 21 Following Fachbereichsvertretung (Fachschaft) Informatik (FIN) der Uni Ulm #uulm
Medieninformatik Ulm @mi_uulm
478 Followers 94 Following News from the Institute of Media Informatics at Ulm University.
MODELS Conference @modelsconf
2K Followers 93 Following ACM / IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS). Official hashtag: #MODELSconf25
Matthias Tichy @MatthiasTichy
167 Followers 102 FollowingTrends for United States
You might like