Margaria-Steffen, Tiziana, 1964-...
Margaria, Tiziana.
Tiziana Margaria academisch docent
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 academisch docent
4xx's: Alternate Name Forms (10)
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 |
---|---|
Advanced intelligent networks : AIN'97 | |
AIN '97 | |
AIN'96 | |
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 | |
Distinguishing formulas for free | |
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 | |
First-order theories for the vertification of complex FSMs | |
Formal Methods for Industrial Critical Systems A Survey of Applications | |
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 | |
Heterogeneous analysis and verification for distributed systems | |
IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering : proceedings, Beijing, China, 4-6 July 2012 | |
Infinity | |
ISoLA 2012 | |
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 | |
Mécanisme de confiance pour les communications web en temps réel. | |
Menschen zentrierte Mensch-Maschine-Schnittstellen für Schwerhörige und ungeschulte Anwender | |
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 | |
People centered HMI’s for deaf and functionally illiterate users | |
Plug-ins und Dienste Ansätze zu Bewältigung zeitvarianter Geschäftsprozesse | |
A pragmatic approach to software synthesis | |
Process Design for Natural Scientists An Agile Model-Driven Approach | |
Programmiersprachen und Grundlagen der Programmierung | |
Réalisation de la confiance par une auto-adaptation sémantique dans l'Internet des objets. | |
Realization of trust by a semantic self-adaptation in the Internet of Things | |
SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England | |
Semantic extraction for the automatic verification of VHDL descriptions | |
Semantic Web Services Challenge : Results from the First Year | |
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 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 | |
STTT'98 - International Workshop on Software Tools for Technology Transfer | |
TACAS 2001 | |
Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings | |
A trust framework for real-time web communications | |
Verification of infinite state systems : proceedings of the First International Workshop on ..., Infinity'96, Pisa, Italy, 30-31 August, 1996 | |
Verification of systolic arrays in M2L(Str) |