#onlinefirst — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #onlinefirst, aggregated by home.social.
-
#OnlineFirst Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis Matteo Paier, Roberto L. G. Van Eeden & Marino Miculan doi.org/10.1007/s102...
Formal modelling and verifying... -
#OnlineFirst Mu-FRET: a catalogue and tool for requirement refactoring Matt Luckcuck, Oisín Sheridan, Marie Farrell & Rosemary Monahan doi.org/10.1007/s102...
Mu-FRET: a catalogue and tool ... -
#OnlineFirst Integrating SysML and AUTOSAR: model transformation in automotive MBSE Faezeh Siavashi, Horacio Hoyos Rodriguez, Vera Pantelic, Monika Jaskolka, Alessandro Verde, Mark Lawford & Richard Paige doi.org/10.1007/s102...
Integrating SysML and AUTOSAR:... -
#OnlineFirst Model-based digital twin engineering: insights, challenges, and future directions Philipp Zech, Souvik Barat, Benjamin Nast, Bentley Oakes, Judith Michael, Steffen Zschaler, Balbir Barn & Ruth Breu doi.org/10.1007/s102...
Model-based digital twin engin... -
#OnlineFirst Model-based digital twin engineering: insights, challenges, and future directions Philipp Zech, Souvik Barat, Benjamin Nast, Bentley Oakes, Judith Michael, Steffen Zschaler, Balbir Barn & Ruth Breu doi.org/10.1007/s102...
Model-based digital twin engin... -
#OnlineFirst Model-based digital twin engineering: insights, challenges, and future directions Philipp Zech, Souvik Barat, Benjamin Nast, Bentley Oakes, Judith Michael, Steffen Zschaler, Balbir Barn & Ruth Breu doi.org/10.1007/s102...
Model-based digital twin engin... -
#OnlineFirst Model-based digital twin engineering: insights, challenges, and future directions Philipp Zech, Souvik Barat, Benjamin Nast, Bentley Oakes, Judith Michael, Steffen Zschaler, Balbir Barn & Ruth Breu doi.org/10.1007/s102...
Model-based digital twin engin... -
#OnlineFirst Model-based digital twin engineering: insights, challenges, and future directions Philipp Zech, Souvik Barat, Benjamin Nast, Bentley Oakes, Judith Michael, Steffen Zschaler, Balbir Barn & Ruth Breu doi.org/10.1007/s102...
Model-based digital twin engin... -
#OnlineFirst SMOKE2.0 whitebox anonymization of sensitive information in Simulink with structure preservation Alexander Boll, Manuel Ohrndorf & Timo Kehrer doi.org/10.1007/s102...
SMOKE2.0 whitebox anonymizatio... -
#OnlineFirst Unlocking the power of environment assumptions for unit proofs Siddharth Priya, Temesghen Kahsai & Arie Gurfinkel doi.org/10.1007/s102...
Unlocking the power of environ... -
#OnlineFirst A conversational tool for AI-driven feedback for UML modeling Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile & Michele Scalera doi.org/10.1007/s102...
A conversational tool for AI-d... -
#OnlineFirst Model-based software sustainability analysis and improvement Kevin Lano, Zishan Rahman & Lyan Alwakeel doi.org/10.1007/s102...
Model-based software sustainab... -
#OnlineFirst RATEN: an efficient robustness analysis and test enhancement framework for state machines Majid Babaei & Yann-Gaël Guéhéneuc doi.org/10.1007/s102...
RATEN: an efficient robustness... -
#OnlineFirst Multi-Robot system environmental constraint analysis by petri nets Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki & Nabendu Chaki doi.org/10.1007/s102...
Multi-Robot system environment... -
#OnlineFirst Dependency-aware model repair: prioritizing repairs through consistency rule and inconsistency analysis Luciano Marchezan, Wesley K. G. Assunção, Edvin Herac, Saad Shafiq, Cristian Knebel & Alexander Egyed doi.org/10.1007/s102...
Dependency-aware model repair:... -
#OnlineFirst Function-driven cyber-physical security in smart manufacturing Vjatšeslav Antipenko & Raimundas Matulevicius doi.org/10.1007/s102...
Function-driven cyber-physical... -
#OnlineFirst Enterprise modeling for the circular economy: meta-model and method component to support manufacturing enterprises Kurt Sandkuhl, Ulf Seigerroth, Dan Lennartsson & Dag Raudberget doi.org/10.1007/s102...
Enterprise modeling for the ci... -
#OnlineFirst Have model transformation languages failed? Juan de Lara, Esther Guerra & Jesús Sánchez Cuadrado doi.org/10.1007/s102...
Have model transformation lang... -
#OnlineFirst The cognitive science of modeling tools Alfonso Pierantonio, Simone Gozzano & Monica Mazza doi.org/10.1007/s102...
The cognitive science of model... -
#OnlineFirst Edelta: a versatile framework for migrating clients’ EMF models Lorenzo Bettini, Amleto Di Salle & Ludovico Iovino doi.org/10.1007/s102...
Edelta: a versatile framework ... -
#OnlineFirst A formalization of Heisenbugs and their causes in terms of hyperproperties Sarah Sallinger, Georg Weissenbacher & Florian Zuleger doi.org/10.1007/s102...
A formalization of Heisenbugs ... -
#OnlineFirst Declarative Lifecycle Management for Self-Adaptive Systems Eduard Kamburjan, Nelly Bencomo, Einar Broch Johnsen & Silvia Lizeth Tapia Tarifa doi.org/10.1007/s102...
Declarative Lifecycle Manageme... -
Martín González J. y Arroyo Menéndez M. (2025). Gestión algorítmica y estrés laboral. Más allá del control, la importancia de la intensificación del trabajo.
https://revistas.ucm.es/index.php/TEKN/article/view/99987/4564456573983
-
Martín González J. y Arroyo Menéndez M. (2025). Gestión algorítmica y estrés laboral. Más allá del control, la importancia de la intensificación del trabajo.
https://revistas.ucm.es/index.php/TEKN/article/view/99987/4564456573983
-
Martín González J. y Arroyo Menéndez M. (2025). Gestión algorítmica y estrés laboral. Más allá del control, la importancia de la intensificación del trabajo.
https://revistas.ucm.es/index.php/TEKN/article/view/99987/4564456573983
-
Martín González J. y Arroyo Menéndez M. (2025). Gestión algorítmica y estrés laboral. Más allá del control, la importancia de la intensificación del trabajo.
https://revistas.ucm.es/index.php/TEKN/article/view/99987/4564456573983
-
#OnlineFirst Deductively verifying functional scalable parallel programs with Why3 Frédéric Loulergue & Olivia Proust doi.org/10.1007/s102...
Deductively verifying function... -
#OnlineFirst MM-AR: a web-based open-source metamodeling platform for spatial conceptual modeling Fabian Muff, Daniel Borcard & Hans-Georg Fill doi.org/10.1007/s102...
MM-AR: a web-based open-source... -
#OnlineFirst SavviDriver: model-based framework for game-based testing of autonomous vehicles in diverse multi-agent traffic scenarios Kenneth H. Chan, Sol Zilberman & Betty H. C. Cheng doi.org/10.1007/s102...
SavviDriver: model-based frame... -
#OnlineFirst An architecture for the integration of product and production digital twins: an automotive case study R. Visser, A. H. Basson & K. Kruger doi.org/10.1007/s102...
An architecture for the integr... -
#OnlineFirst Evaluating the requirements engineering process in model transformation development: a state of practice analysis Sobhan Y. Tehrani, Kevin Lano, Mohammadreza Sharbaf, Shekoufeh Kolahdouz Rahimi, Steffen Zschaler & Shirin Hussein doi.org/10.1007/s102...
Evaluating the requirements en... -
#OnlineFirst Interactive creation, visualization, and exploration of process model collections María Salas-Urbano, Carlos Capitán-Agudo, Cristina Cabanillas & Manuel Resinas doi.org/10.1007/s102...
Client Challenge -
#OnlineFirst MDE for crop representations in smart farming digital twins: a reinforcement learning perspective Pascal Archambault, Houari Sahraoui & Eugene Syriani doi.org/10.1007/s102...
MDE for crop representations i... -
#OnlineFirst Reflections from a long career in software Bran Selic doi.org/10.1007/s102...
Reflections from a long career... -
#OnlineFirst Reflections from a long career in software Bran Selic doi.org/10.1007/s102...
Reflections from a long career... -
#OnlineFirst Reflections from a long career in software Bran Selic doi.org/10.1007/s102...
Reflections from a long career... -
#OnlineFirst Reflections from a long career in software Bran Selic doi.org/10.1007/s102...
Reflections from a long career... -
#OnlineFirst Reflections from a long career in software Bran Selic doi.org/10.1007/s102...
Reflections from a long career... -
Paper ist erschienen, Renten nachzuspüren:
Tilman Reitz, Sebastian Sevignani und ich freuen uns sehr, dass unser Artikel endlich ( #onlinefirst und #openaccess) im Journal of Critical Sociology veröffentlicht wurde.https://doi.org/10.1177/08969205251394644
In unserer „activity-based theory of rent“ versuchen wir einerseits, bestehende theoretische Ansätze der Rentenökonomie im digitalen Kapitalismus (insbesondere von Birch und Cochrane, Durand und Milberg, Srnicek, Christophers) nochmal zu systematisieren.
Andererseits behaupten wir, dass jene Konzepte verschiedene Formen menschlicher Aktivitäten außer Acht lassen, die der Rentenextraktion allerdings zugrunde liegen: unbezahlte bzw. nicht beim Rentier beschäftigte Aktivitäten wie Softwareentwicklung, akademische Forschung und Produser-Aktivitäten.
PS: Wir meinen natürlich ökonomische Renten, nicht die Altersrente. Sowas: https://de.wikipedia.org/wiki/Rente_(Wirtschaft)
-
Paper ist erschienen, Renten nachzuspüren:
Tilman Reitz, Sebastian Sevignani und ich freuen uns sehr, dass unser Artikel endlich ( #onlinefirst und #openaccess) im Journal of Critical Sociology veröffentlicht wurde.https://doi.org/10.1177/08969205251394644
In unserer „activity-based theory of rent“ versuchen wir einerseits, bestehende theoretische Ansätze der Rentenökonomie im digitalen Kapitalismus (insbesondere von Birch und Cochrane, Durand und Milberg, Srnicek, Christophers) nochmal zu systematisieren.
Andererseits behaupten wir, dass jene Konzepte verschiedene Formen menschlicher Aktivitäten außer Acht lassen, die der Rentenextraktion allerdings zugrunde liegen: unbezahlte bzw. nicht beim Rentier beschäftigte Aktivitäten wie Softwareentwicklung, akademische Forschung und Produser-Aktivitäten.
PS: Wir meinen natürlich ökonomische Renten, nicht die Altersrente. Sowas: https://de.wikipedia.org/wiki/Rente_(Wirtschaft)
-
Paper ist erschienen, Renten nachzuspüren:
Tilman Reitz, Sebastian Sevignani und ich freuen uns sehr, dass unser Artikel endlich ( #onlinefirst und #openaccess) im Journal of Critical Sociology veröffentlicht wurde.https://doi.org/10.1177/08969205251394644
In unserer „activity-based theory of rent“ versuchen wir einerseits, bestehende theoretische Ansätze der Rentenökonomie im digitalen Kapitalismus (insbesondere von Birch und Cochrane, Durand und Milberg, Srnicek, Christophers) nochmal zu systematisieren.
Andererseits behaupten wir, dass jene Konzepte verschiedene Formen menschlicher Aktivitäten außer Acht lassen, die der Rentenextraktion allerdings zugrunde liegen: unbezahlte bzw. nicht beim Rentier beschäftigte Aktivitäten wie Softwareentwicklung, akademische Forschung und Produser-Aktivitäten.
PS: Wir meinen natürlich ökonomische Renten, nicht die Altersrente. Sowas: https://de.wikipedia.org/wiki/Rente_(Wirtschaft)
-
Paper ist erschienen, Renten nachzuspüren:
Tilman Reitz, Sebastian Sevignani und ich freuen uns sehr, dass unser Artikel endlich ( #onlinefirst und #openaccess) im Journal of Critical Sociology veröffentlicht wurde.https://doi.org/10.1177/08969205251394644
In unserer „activity-based theory of rent“ versuchen wir einerseits, bestehende theoretische Ansätze der Rentenökonomie im digitalen Kapitalismus (insbesondere von Birch und Cochrane, Durand und Milberg, Srnicek, Christophers) nochmal zu systematisieren.
Andererseits behaupten wir, dass jene Konzepte verschiedene Formen menschlicher Aktivitäten außer Acht lassen, die der Rentenextraktion allerdings zugrunde liegen: unbezahlte bzw. nicht beim Rentier beschäftigte Aktivitäten wie Softwareentwicklung, akademische Forschung und Produser-Aktivitäten.
PS: Wir meinen natürlich ökonomische Renten, nicht die Altersrente. Sowas: https://de.wikipedia.org/wiki/Rente_(Wirtschaft)
-
Paper ist erschienen, Renten nachzuspüren:
Tilman Reitz, Sebastian Sevignani und ich freuen uns sehr, dass unser Artikel endlich ( #onlinefirst und #openaccess) im Journal of Critical Sociology veröffentlicht wurde.https://doi.org/10.1177/08969205251394644
In unserer „activity-based theory of rent“ versuchen wir einerseits, bestehende theoretische Ansätze der Rentenökonomie im digitalen Kapitalismus (insbesondere von Birch und Cochrane, Durand und Milberg, Srnicek, Christophers) nochmal zu systematisieren.
Andererseits behaupten wir, dass jene Konzepte verschiedene Formen menschlicher Aktivitäten außer Acht lassen, die der Rentenextraktion allerdings zugrunde liegen: unbezahlte bzw. nicht beim Rentier beschäftigte Aktivitäten wie Softwareentwicklung, akademische Forschung und Produser-Aktivitäten.
PS: Wir meinen natürlich ökonomische Renten, nicht die Altersrente. Sowas: https://de.wikipedia.org/wiki/Rente_(Wirtschaft)
-
Martín González J. y Arroyo Menéndez M. (2025). Gestión algorítmica y estrés laboral. Más allá del control, la importancia de la intensificación del trabajo.
https://revistas.ucm.es/index.php/TEKN/article/view/99987/4564456573983
-
Martín González J. y Arroyo Menéndez M. (2025). Gestión algorítmica y estrés laboral. Más allá del control, la importancia de la intensificación del trabajo.
https://revistas.ucm.es/index.php/TEKN/article/view/99987/4564456573983
-
Martín González J. y Arroyo Menéndez M. (2025). Gestión algorítmica y estrés laboral. Más allá del control, la importancia de la intensificación del trabajo.
https://revistas.ucm.es/index.php/TEKN/article/view/99987/4564456573983
-
Martín González J. y Arroyo Menéndez M. (2025). Gestión algorítmica y estrés laboral. Más allá del control, la importancia de la intensificación del trabajo.
https://revistas.ucm.es/index.php/TEKN/article/view/99987/4564456573983
-
#OnlineFirst The Role of Standardization for Simulation in Model-Based Systems Engineering: A Survey Study Supplemented with Industrial Experiences Erik Rosenlund, Johan Cederbladh, Per Strandberg & Daniel Krems doi.org/10.1007/s102...
The Role of Standardization fo... -
#OnlineFirst What do we need from modeling tools for teaching? A survey of the community of higher-education modeling teachers Steffen Zschaler, Timothy Lethbridge, Antonio Bucchiarone, Federico Bonetti & Reyhaneh Kalantari doi.org/10.1007/s102...
What do we need from modeling ... -
#OnlineFirst SymboleoAC: an access control model for smart legal contracts Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, Marco Roveri & John Mylopoulos doi.org/10.1007/s102...
SymboleoAC: an access control ...