Margaria-Steffen, Tiziana, 1964-...
Tiziana Margaria italienische Informatikerin; Professorin an der Universität Limerick, designierte Präsidentin der Universität zu Lübeck (2023)
Margaria, Tiziana.
VIAF ID: 54816246 (Personal)
Permalink: http://viaf.org/viaf/54816246
Preferred Forms
- 100 1 _ ‡a Margaria, Tiziana (sparse)
-
-
-
-
-
- 100 1 _ ‡a Margaria-Steffen, Tiziana ‡d 1964-
- 100 1 _ ‡a Margaria-Steffen, Tiziana ‡d 1964-
-
-
- 100 1 _ ‡a Margaria-Steffen, Tiziana, ‡d 1964-
-
-
-
- 100 1 _ ‡a Margaria-Steffen, Tiziana, ‡d 1964-...
- 100 0 _ ‡a Tiziana Margaria ‡c italienische Informatikerin; Professorin an der Universität Limerick, designierte Präsidentin der Universität zu Lübeck (2023)
4xx's: Alternate Name Forms (11)
5xx's: Related Names (8)
- 510 2 _ ‡a IEEE Computer Society
- 510 2 _ ‡a John Wiley & Sons
- 510 2 _ ‡a Universität Dortmund ‡b Fachbereich Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Potsdam ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a University of Limerick
- 510 2 _ ‡a University of Limerick ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Passau
- 510 2 _ ‡a Universität Potsdam
Works
Title | Sources |
---|---|
2012 IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering | |
Advanced intelligent networks : AIN'97 | |
Automatic synthesis of design plans in MetaFrame | |
Bio-jETI a service integration, design, and provisioning platform for orchestrated bioinformatics processes : (part of "From components to processes") | |
CHARME 2001 | |
Continuous pre-requirements specification traceability for e-government : ontology based and model driven approach using the example of citizen services | |
Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings | |
Durchgängige Verfolgbarkeit im Vorfeld der Softwareentwicklung von E-Government-Anwendungen : ein ontologiebasierter und modellgetriebener Ansatz am Beispiel von Bürgerdiensten | |
Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings | |
ETAPS 2001 | |
Formal Methods for Industrial Critical Systems A Survey of Applications | |
From the How to the What | |
Fully automatic verification and error detection for parameterized iterative sequential circuits | |
Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings | |
GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. | |
Guest Editor’s introduction | |
Infinity | |
Introductory paper: scalability aspects of validation | |
ISoLA 2012 | |
jMosel: A Stand-Alone Tool and jABC Plugin for M2L | |
Knowledge Management for Inclusive System Evolution | |
The LearnLib in FMICS-jETI | |
Lessons Learned | |
Leveraging applications of formal methods, verification and validation. 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings | |
MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems | |
Mécanisme de confiance pour les communications web en temps réel. | |
Menschen zentrierte Mensch-Maschine-Schnittstellen für Schwerhörige und ungeschulte Anwender | |
Messge from the ECPE Organizing Committee | |
Modeling and Execution of Scientific Workflows with the jABC Framework | |
Modeling dependable systems: what can model driven development contribute and what likely not? | |
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday | |
Module configuration by minimal model construction | |
On the Use of XMDD in Software Development Education | |
People centered HMI’s for deaf and functionally illiterate users | |
pragmatic approach to software synthesis | |
Preface | |
Process design for natural scientists an agile model-driven approach | |
Processes and Data Integration in the Networked Healthcare | |
Programmiersprachen und Grundlagen der Programmierung | |
Réalisation de la confiance par une auto-adaptation sémantique dans l'Internet des objets. | |
Semantic extraction for the automatic verification of VHDL descriptions | |
The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level | |
Semantics-based composition of EMBOSS services | |
Service Engineering: Linking Business and IT | |
Service-Orientation: Conquering Complexity with XMDD | |
Service-oriented Access to Next Generation Networks—from Service Creation to Execution | |
Service-oriented computing : ICSOC 2008 : 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings | |
Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers | |
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings | |
Software as a High-Tech Weapon in Ireland's Strategy | |
Software Business. From Physical Products to Software Services and Solutions : 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings | |
Software Process Improvement : 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings | |
Special Session on "Simplification through Change of Perspective" | |
STTT'98 - International Workshop on Software Tools for Technology Transfer | |
A Summer Computing Camp Using ChainReaction and jABC | |
System level testing of virtual switch (re-)configuration over IP | |
TACAS 2001 | |
The Teachers’ Crowd: The Impact of Distributed Oracles on Active Automata Learning | |
Tool-supported enhancement of diagnosis in model-driven verification | |
Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings | |
User-level synthesis | |
Verification of systolic arrays in M2L(Str) | |
ViDoC - Visual Design of Optimizing Compilers | |
A Web-Based Runtime-Reconfigurable Role Management Service | |
মুখবন্ধ | |
সম্পাদকীয় |