Tiziana Margaria
#148,826
Most Influential Person Now
Italian software engineer, professor of computer science in Limerick
Tiziana Margaria's AcademicInfluence.com Rankings
Tiziana Margariacomputer-science Degrees
Computer Science
#8684
World Rank
#9131
Historical Rank
Software Engineering
#287
World Rank
#293
Historical Rank
Database
#7365
World Rank
#7631
Historical Rank
Download Badge
Computer Science
Why Is Tiziana Margaria Influential?
(Suggest an Edit or Addition)According to Wikipedia, Tiziana Margaria is a computer scientist and software engineer whose research topics include formal methods and model-driven engineering. Educated in Italy, she has worked in Italy, Germany, Sweden, and Ireland, and currently works in Ireland as Chair of Software Systems in the University of Limerick's Department of Computer Science and Information Systems.
Tiziana Margaria's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017 (2001) (502)
- Model-Driven Development with the jABC (2006) (213)
- Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings (2008) (133)
- LearnLib: a framework for extrapolating behavioral models (2009) (130)
- Dynamic testing via automata learning (2007) (116)
- The Electronic Tool Integration platform: concepts and design (1997) (114)
- Agile IT: Thinking in User-Centric Models (2008) (109)
- Service-Orientation: Conquering Complexity with XMDD (2012) (95)
- Next Generation LearnLib (2011) (91)
- Simplicity as a Driver for Agile Innovation (2010) (88)
- Service-Oriented Design: The Roots (2005) (87)
- Efficient test-based model generation for legacy reactive systems (2004) (86)
- Lightweight coarse-grained coordination: a scalable system-level approach (2004) (84)
- Software engineering and formal methods (2008) (81)
- jETI: A Tool for Remote Tool Integration (2005) (72)
- Leveraging Applications of Formal Methods, Verification, and Validation (2012) (72)
- METAFrame in Practice: Design of Intelligent Network Services (1999) (70)
- Continuous Model-Driven Engineering (2009) (69)
- Bio-jETI: a framework for semantics-based service composition (2009) (66)
- The Fixpoint-Analysis Machine (1995) (64)
- Incremental Formalization: A Key to Industrial Success (1996) (60)
- Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes (2008) (59)
- Remote integration and coordination of verification tools in jETI (2005) (58)
- Semantics-based composition of EMBOSS services (2011) (58)
- Business Process Modeling in the jABC (2009) (57)
- Formal Methods for Industrial Critical Systems: A Survey of Applications (2012) (55)
- Service Is in the Eyes of the Beholder (2007) (54)
- Synthesis-Based Loose Programming (2010) (54)
- Genesys: service-oriented construction of property conform code generators (2008) (51)
- Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2012) (50)
- Service Engineering: Linking Business and IT (2006) (50)
- Service Engineering: Linking Business and IT (2006) (49)
- GeneFisher-P: variations of GeneFisher as processes in Bio-jETI (2008) (47)
- MOSEL: A FLexible Toolset for Monadic Second-Order Logic (1997) (47)
- Module Connguration by Minimal Model Construction (1993) (46)
- Test-based model generation for legacy systems (2003) (46)
- Library-Based Design and Consistency Checking of System-Level Industrial Test Cases (2001) (46)
- Incremental Requirement Specification for Evolving Systems (2001) (45)
- A constraint-based variability modeling framework (2012) (44)
- Efficient Regression Testing of CTI-Systems : Testing a complex Call-Center Solution (2001) (44)
- Semantic Web Services Challenge, Results from the First Year (2008) (43)
- Backtracking-Free Design Planning by Automatic Synthesis in METAFrame (1998) (42)
- The METAFrame'95 Environment (1996) (39)
- Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI (2008) (39)
- Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service (2006) (39)
- Tool-supported enhancement of diagnosis in model-driven verification (2009) (37)
- Web services-based tool-integration in the ETI platform (2005) (36)
- Knowledge-based relevance filtering for efficient system-level test-based model generation (2005) (36)
- Hybrid test of web applications with webtest (2008) (36)
- Prototype-Driven Development of Web Applications with DyWA (2014) (35)
- Heterogeneous Analysis and Verification for Distributed Systems (1996) (35)
- Property-driven benchmark generation: synthesizing programs of realistic structure (2014) (34)
- LTL Guided Planning: Revisiting Automatic Tool Composition in ETI (2007) (34)
- Model-based design of distributed collaborative bioinformatics processes in the jABC (2006) (34)
- Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages (2019) (33)
- A Constraint-Oriented Service Creation Environment (1996) (33)
- High performance solar cells made from 100% UMG silicon obtained via the PHOTOSIL process (2010) (30)
- Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond (2013) (29)
- Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (2012) (29)
- An Environment for the Creation of Intelligent Network Services (1995) (26)
- Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (2006) (26)
- Automatic Synthesis of Linear Process Models from Temporal Constraints: An Incremental Approach (1997) (26)
- FormulaBuilder: a tool for graph-based modelling and generation of formulae (2006) (25)
- Process Design for Natural Scientists (2014) (24)
- The Digital Thread in Industry 4.0 (2019) (23)
- Model Driven Design of Reliable Robot Control Programs Using the jABC (2007) (22)
- Constraint-Guided Workflow Composition Based on the EDAM Ontology (2010) (22)
- Community Usage of the Online Conference Service: an Experience Report from three CS Conferences (2002) (22)
- Health-ID: A Blockchain-Based Decentralized Identity Management for Remote Healthcare (2021) (22)
- Components, Features, and Agents in the ABC (2003) (22)
- An Approach to Intelligent Software Library Management (1995) (21)
- System level testing of virtual switch (re-)configuration over IP (2002) (21)
- Introductory paper (2005) (20)
- Service-oriented Mediation with jABC/jETI (2009) (20)
- Data-Flow Analysis as Model Checking Within the jABC (2006) (20)
- Automated regression testing of CTI-systems (2001) (20)
- jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str) (2006) (20)
- Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process (2007) (20)
- An Approach to Discovery with miAamics and jABC (2007) (19)
- MaTRICS: A service-based management tool for remote intelligent configuration of systems (2006) (19)
- The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison (2016) (19)
- An Automated Testing Environment for CTI Systems Using Concepts for Specification and Verification of Workflows (2000) (19)
- Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (2016) (18)
- Services and Visualization Towards User-Friendly Design (1998) (18)
- Scientific Workflows and XMDD (2014) (17)
- Automated continuous quality assurance (2012) (17)
- Property-Driven Benchmark Generation (2013) (17)
- Service-Oriented Mediation with jETI/jABC: Verification and Export (2007) (16)
- Design for Verifiability: The OCS Case Study (2012) (16)
- Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms (2006) (16)
- Formal Methods Going Mainstream: Costs, Benefits, Experiences (2006) (16)
- Test-based model generation for legacy systems (2003) (15)
- Automatic Generation of the SWS- Challenge Mediator with jABC/ABC (2009) (15)
- Test your Strategy: Graphical Construction of Strategies for Connect-Four (2009) (15)
- Safe service customization (1997) (15)
- Synthesizing Semantic Web Service Compositions with jMosel and Golog (2009) (15)
- The LearnLib in FMICS-jETI (2007) (15)
- Graphs in METAFrame: The Unifying Power of Polymorphism (1997) (15)
- IT Simply Works: Simplicity and Embedded Systems Design (2011) (15)
- Analyzing second-order effects between optimizations for system-level test-based model generation (2005) (15)
- Automated Learning Setups in Automata Learning (2012) (15)
- Simplicity‐first model‐based plug‐in development (2014) (15)
- The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning (2011) (15)
- A pragmatic approach to software synthesis (1994) (15)
- Meta-Level Reuse for Mastering Domain Specialization (2016) (14)
- Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations (2009) (14)
- The jABC Approach to Rigorous Collaborative Development of SCM Applications (2008) (14)
- Customer-Oriented Business Process Management: Vision and Obstacles (2012) (14)
- Automata Learning with On-the-Fly Direct Hypothesis Construction (2011) (14)
- Intelligent Software Synthesis in the Dacapo Environment (1994) (14)
- Semantic Web Services Challenge 2006 The jABC Approach to Mediation and Choreography (2006) (14)
- Integrating tools in the ETI platform (1997) (14)
- Interacting with ETI: a user session (1997) (13)
- Simplicity in IT: The Power of Less (2013) (13)
- Service-oriented Access to Next Generation Networks—from Service Creation to Execution (2010) (13)
- Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits (1996) (13)
- A Web-Based Runtime-Reconfigurable Role Management Service (2006) (13)
- SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction (2008) (13)
- Dynamic and Formal Verification of Embedded Systems: A Comparative Survey (2005) (13)
- High Service Availability in MaTRICS for the OCS (2008) (13)
- Service-Oriented Design: The jABC Approach (2005) (12)
- A GDPR-Compliant Framework for IoT-Based Personal Health Records Using Blockchain (2021) (12)
- DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering (2018) (12)
- Tailored generation of concurrent benchmarks (2014) (12)
- eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding (2019) (12)
- Proceedings of the 10th international workshop on Formal methods for industrial critical systems (2005) (11)
- Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts (2016) (11)
- Game-Based Model Checking for Reliable Autonomy in Space (2011) (11)
- ALEX: Mixed-Mode Learning of Web Applications at Ease (2016) (11)
- Taming Interface Specifications (2005) (11)
- From the How to the What (2005) (11)
- Community Usage of the Online Conference Service (2003) (11)
- Automatic Error Location for IN Service Definition (1998) (11)
- Component-Oriented Behavior Extraction for Autonomic System Design (2009) (11)
- The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level (2008) (11)
- Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints (2005) (11)
- A formal requirements engineering method for specification, synthesis, and verification (1997) (11)
- Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool (2018) (11)
- Agile Workflows for Climate Impact Risk Assessment based on the ci:grasp Platform and the jABC Modeling Framework (2014) (11)
- Completing and Adapting Models of Biological Processes (2006) (11)
- The Testing and Test Control Notation TTCN-3 and its Use (2012) (11)
- Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (2018) (11)
- Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I (2019) (10)
- Second-Order Semantic Web (2005) (10)
- SWS Challenge - Status, Perspectives, Lessons Learned So Far (2007) (10)
- Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems (1995) (10)
- Software Business. From Physical Products to Software Services and Solutions (2013) (10)
- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems (2002) (10)
- Automated Functional Testing of Web-based Applications (2002) (10)
- Coarse-granular model checking in practice (2001) (9)
- Guided Business Modeling and Analysis for Business Professionals (2017) (9)
- Preserving Patients' Privacy in Medical IoT Using Blockchain (2020) (9)
- Towards a Theory of Simplicity in Agile Software Development: A Qualitative Study (2017) (9)
- Formalizing a Methodology for Design- and Runtime Self-Healing (2010) (9)
- The FMICS View on the Verified Software Repository (2006) (9)
- SEcube™: An open-source security platform in a single SoC (2016) (9)
- Scientific workflows with the jABC framework (2016) (9)
- Evolution support in heterogeneous service-oriented landscapes (2010) (9)
- Tools get formal methods into practice (1996) (9)
- Demonstration of an Automated Integrated Test Environment for Web-Based Applications (2002) (9)
- PETchain: A Blockchain-Based Privacy Enhancing Technology (2021) (9)
- The META-Frame: An Environment for Flexible Tool Management (1995) (9)
- UMG Silicon from the PHOTOSIL Project – a Status Overview in 2011 on the Way towards Industrial Production (2011) (8)
- Value delivery through IT-based healthcare architectures (2010) (8)
- Domain-Specific Business Modeling with the Business Model Developer (2014) (8)
- Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education (2015) (8)
- Policy expression and checking in XACML, WS-Policies, and the jABC (2008) (8)
- Synthesizing the Mediator with jABC/ABC (2008) (8)
- Building Code Generators with Genesys: A Tutorial Introduction (2009) (8)
- Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal (2014) (7)
- Distinguishing formulas for free (1993) (7)
- Model driven design of secure properties for vision-based applications: A case study (2016) (7)
- Process Design for Natural Scientists: An Agile Model-Driven Approach (2014) (7)
- Simplicity principles for plug-in development: The jABC approach (2012) (7)
- Property-driven functional healing : Playing against undesired behavior (2007) (7)
- Supporting Process Development in Bio-jETI by Model Checking and Synthesis (2008) (7)
- Status of the PHOTOSIL Project for the Production of Solar Grade Silicon from Metallurgical Silicon (2010) (7)
- Authentication scheme for Unmanned Aerial Vehicles based Internet of Vehicles networks (2021) (7)
- Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds (2018) (7)
- Service Model Innovation in Hospitals: Beyond Expert Organizations (2017) (7)
- Formal Methods and Customized Visualization: A Fruitful Symbiosis (1998) (6)
- Round-Trip Engineering (2010) (6)
- Abductive Synthesis of the Mediator Scenario with jABC and GEM (2008) (6)
- Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2014) (6)
- A Summer Computing Camp Using ChainReaction and jABC (2016) (6)
- Comparison: Mediation on WebML/WebRatio and jABC/jETI (2009) (6)
- Constraint-oriented Variability Modeling (2011) (6)
- Analysis and Code Model Extraction for C/C++ Source Code (2009) (6)
- Synthesis-Based Variability Control: Correctness by Construction (2011) (6)
- Practical Aspects of Active Automata Learning (2012) (6)
- Knowledge Management for Inclusive System Evolution (2016) (6)
- Method engineering for real-life concurrent systems (1996) (6)
- On the Use of XMDD in Software Development Education (2015) (6)
- Semantics-Based Composition of EMBOSS Services with Bio-jETI (2009) (6)
- A fully model-based approach to the design of the SEcube™ community web app (2017) (5)
- Automatic Formative Assessment in Computer Science: Guidance to Model-Driven Design (2020) (5)
- Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci: grasp Platform (2014) (5)
- Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain (2012) (5)
- Comparison: Handling Preferences with DIANE and miAamics (2009) (5)
- Assuring property conformance of code generators via model checking (2011) (5)
- The FMICS-jETI Platform: Status and Perspectives (2006) (5)
- The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS (2021) (5)
- The ETI Online Service in Action (1999) (5)
- From Computational Thinking to Constructive Design with Simple Models (2018) (5)
- The OTTER environment for resolution-based proof of hardware correctness (1990) (5)
- Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (2018) (5)
- Simplifying Translation Validation via Model Extrapolation (2013) (5)
- Computing Camps for Girls - A First-Time Experience at the University of Limerick (2017) (5)
- Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions (2012) (5)
- MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems (2005) (5)
- Foundations of Semantics and Model Checking in a Software Engineering Course (2015) (5)
- Second-Order Value Numbering (2010) (4)
- Towards Explainability in Machine Learning: The Formal Methods Way (2020) (4)
- Comparative Analysis of Tools for Automated Software Re-engineering Purposes (2006) (4)
- Model Generation for Legacy Systems (2002) (4)
- Towards Model Driven Design of Crypto Primitives and Processes (2016) (4)
- Guest Editorial: Special Section on Computing Education & Learning Technologies (2018) (4)
- MOSEL: A Sound and Efficient Tool for M2L(Str) (1997) (4)
- Synthesis from a Practical Perspective (2016) (4)
- Modeling and Execution of Scientific Workflows with the jABC Framework (2014) (4)
- Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I (2020) (4)
- From Bio-jETI Process Models to Native Code (2009) (4)
- Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings (2007) (4)
- Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II (2010) (4)
- Mashup Development for Everybody A Planning-Based Approach (2009) (4)
- DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry (2021) (4)
- Resolution-based correctness proofs of synchronous circuits (1991) (4)
- 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 (2001) (4)
- Model-based Automatic Synthesis and Analysis in Second-Order Monadic Logic (1997) (4)
- Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009) (2009) (3)
- Assessing workflow languages for composition of real-time communication services (2010) (3)
- Model-Driven Self-Reconfiguration for Highly Available SOAs (2009) (3)
- Coarse-grain Component Based Software Development : The M eta Frame Approach (3)
- Digital Thread in Smart Manufacturing (2022) (3)
- Special Session on "Simplification through Change of Perspective" (2011) (3)
- The XMDD Approach to the Semantic Web Services Challenge (2012) (3)
- Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach (2006) (3)
- Maintenance, or the 3rd dimension of eXtreme model-driven design (2009) (3)
- Modeling Directly Executable Processes for Healthcare Professionals with XMDD (2017) (3)
- Remote Integration and Coordination of Verification (2005) (3)
- Towards a Definition of Simplicity in Agile Software Development: A Focus Group Study (2017) (3)
- Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings (1996) (3)
- Models, Mindsets, Meta: The What, the How, and the Why Not? (2019) (3)
- Incremental Formalization (1996) (3)
- Bioinformatics: Processes and Workflows (2010) (3)
- Detecting Nuisance Calls over Internet Telephony Using Caller Reputation (2021) (3)
- VSTTE 2010 workshop proceedings (2010) (3)
- A Practical Approach for the Regression Testing of IP-based Application (2002) (3)
- Symbolic Model Checking for Avionics (2012) (3)
- DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories (2021) (3)
- Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data (2019) (3)
- Scientific Workflows with the jABC Framework A Review after a Decade in the Field (2016) (3)
- The Electronic Tool Integration Platform (ETI) and the Petri Net Technology (2003) (3)
- The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools (2002) (3)
- OER: Six Perspectives on Global Misconceptions and Challenges (2019) (3)
- XMDD as Key Enabling Technology for Integration of Large scale eLearning Based on NRENs (2020) (3)
- Making Sense of Complex Applications: Constructive Design, Features, and Questions (2018) (3)
- The Role of Models in Self-adaptive and Self-healing Systems (2009) (2)
- A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering (2009) (2)
- Modeling dependable systems: what can model driven development contribute and what likely not? (2004) (2)
- An Open Environment for Automated Integrated Testing (2001) (2)
- Rapid service creation using eXtreme Model Driven Design for real-time communications services on top of Next Generation Networks (2009) (2)
- Modelling the people recognition pipeline in access control systems (2016) (2)
- Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows (2011) (2)
- Which IT Governance for Distributed Intelligent Cyber-Physical Systems? (2015) (2)
- Use of the OTTER theorem prover for the formal verification of hardware (1991) (2)
- Integration of micro-services as components in modeling environments for low code development (2021) (2)
- User-level synthesis: treating product lines as systems of constraints (2015) (2)
- Towards an Understanding of Value Creation in Agile Software Development (2019) (2)
- Comprehensible people recognition using the Kinect's face and skeleton model (2016) (2)
- Automatic Synthesis of Bioconductor Pipelines: A Domain Modeling Challenge (2015) (2)
- Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level (1992) (2)
- Proceedings of the 14th European conference on Software Process Improvement (2007) (2)
- Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (2018) (2)
- Plug and Play with FMICS-jETI: Beyond Scripting and Coding (2008) (2)
- Welcome to Formal Methods in Industry (2020) (2)
- Efficient RT-Level Verification by Theorem Proving (1992) (2)
- Status, Perspectives, and Lessons Learned (2009) (2)
- Modeling of Scientific Workflows (2020) (1)
- Continuous Real Time Models in Practice (1993) (1)
- Formal Methods Boost Experimental Performance for Explainable AI (2021) (1)
- Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts (2009) (1)
- Enhanced Requirements-Based Programming for Embedded Systems Design (2006) (1)
- Towards Engineering Digital Twins by Active Behaviour Mining (2021) (1)
- A Synchronous Language at Work: The Story of Lustre (2012) (1)
- Erratum to: Leveraging Applications of Formal Methods, Verification and Validation (Part I) (2016) (1)
- Processes and Data Integration in the Networked Healthcare (2012) (1)
- A Model-Driven and Generative Approach to Holistic Security (2019) (1)
- Integrating printed and online information (1998) (1)
- Proceedings of the 6th International Conference on Service-Oriented Computing (2008) (1)
- Applying Formal Methods to Telecommunication Services with Active Networks (2012) (1)
- Formal Methods in the Era of Service-Oriented Design (2011) (1)
- Introductory paper: scalability aspects of validation (2003) (1)
- Analyzing ambient assisted living solutions: A research perspective (2017) (1)
- Towards Automatic Data Cleansing and Classification of Valid Historical Data An Incremental Approach Based on MDD (2020) (1)
- Evolution of the Historian Data Entry Application: Supporting Transcribathons in the Digital Humanities through MDD (2022) (1)
- Automatic workflow composition in the geospatial domain: an application on sea-level rise impacts analysis (2016) (1)
- Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services (2005) (1)
- Universitat Passau Automatic Synthesis of Design Plans in Metaframe (1996) (1)
- Hierarchical Service De nition (1997) (1)
- Towards Living Canvases (2021) (1)
- Selected papers on Services and Visualization: Towards User-Friendly Design (1998) (1)
- Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802 (2014) (1)
- Design-space exploration of flash augmented architectures (2008) (1)
- Extracting Component-Oriented Behaviour for Self-Healing Enabling (2010) (1)
- Preface by the section editor (2003) (1)
- Editorial (1997) (1)
- Mosel: a Sound and Eecient Toolfor M2l(str) (1997) (1)
- ViDoC - Visual Design of Optimizing Compilers (2006) (1)
- International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings (2004) (1)
- Integrating External Services in DIME (2021) (1)
- 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 (2017) (1)
- Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III (2020) (1)
- Historical Civil Registration Record Transcription Using an eXtreme Model Driven Approach (2021) (1)
- Model-based Formal Safety Analysis of an Airport Surveillance Radar System (2012) (1)
- Anything You Want to Ask about Software Reliability Engineering (2008) (1)
- Model-Driven-Design of NREn Bridging Application: Case Study AfgREN (2020) (1)
- Middleware: just another level for orchestration (2007) (1)
- Exploiting optimised communities in directed weighted graphs for link prediction (2022) (1)
- Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques (1997) (1)
- Generating Real-time Decision Systems with the new miAamics (2018) (1)
- Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I (2012) (1)
- Domain-Specific Design of Patient Classification in Cancer-Related Cachexia Research (2018) (1)
- Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (2001) (1)
- Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges (2022) (1)
- Census: on paper, by governments, is still best (2020) (1)
- Universitat Passau Fakult at F Ur Mathematik Und Informatik P Heterogeneous Analysis and Veriication for Distributed Systems (1995) (0)
- Universitat Passau Veriication of Systolic Arrays in M2l(str) (2007) (0)
- XMDD as Key Enabling Technology for Integration and Organizational Collaboration: Application to E-Learning Based on NRENs (2021) (0)
- A Cyber Secure Medical Management System by Using Blockchain (2022) (0)
- The SHADOWS Story on Implementation of Self-Healing Systems (2008) (0)
- Proceedings of the First international conference on Leveraging Applications of Formal Methods (2004) (0)
- of the International Workshop on Software Tools for Technology Transfer STTT ’ 98 Aalborg , Denmark , July 12 – 13 , 1998 (1998) (0)
- Systolic array description in F2 (1989) (0)
- Special section on trends in verification and validation Introductory paper: scalability aspects of validation (2003) (0)
- Guest Editorial (2007) (0)
- Continuous Engineering of Embedded systems (2006) (0)
- Guest Editor’s introduction (2009) (0)
- Proceedings of the Second International Workshop on Visual Formalisms for Patterns (VFfP 2010) (2010) (0)
- Electronic Communications of the EASST Volume 30 ( 2010 ) International Colloquium on Graph and Model Transformation On the occasion of the 65 th birthday of Hartmut Ehrig ( GraMoT 2010 ) Second-Order Value Numbering (2010) (0)
- Solving the SWS-Challenge mediation problem with the jABC / jETI framework (2007) (0)
- Program verification and testing technologies (2014) (0)
- General controllers evolved through grammatical evolution with a divergent search (2020) (0)
- Flexible and Reliable Process Model Properties: An Integrated Approach (1998) (0)
- Exploring the potential of global types for adding a choreography perspective to the jABC framework (2016) (0)
- Preface 4 Pages (0)
- Working Group on Software-Intensive Business Research : Definition and Roadmap (2018) (0)
- IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation (2005) (0)
- Lessons Learned (2014) (0)
- Semantic Web Services Challenge, Results from the First Year. Series: Semantic Web And Beyond, Volume 8. (2009) (0)
- Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination (2002) (0)
- Predicate Abstraction and Such (2018) (0)
- Proposal for a tutorial at ETAPS’99 Verification of Parametric Systems or Monadic 2 Order Logic in Practice (1999) (0)
- Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II (2020) (0)
- Universitat Passau Fakult at F Ur Mathematik Und Informatik P Tool Coordination in Metaframe (1997) (0)
- SWS CHALLENGE - Status, Perspectives and Lessons Learned So Far (2016) (0)
- Formal Methods: Applying {Logics in, Theoretical} Computer Science (2012) (0)
- Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II (2012) (0)
- Introduction to the special section on fundamental approaches to software engineering (2007) (0)
- Practical implications from a preliminary theory of simplicity in agile software development based on a qualitative study (2017) (0)
- Preface SOFSEM 2017: theory and practice of computer science (2017) (0)
- Program verification and testing technologies (2014) (0)
- Software as a High-Tech Weapon in Ireland's Strategy (2015) (0)
- Editorial (2006) (0)
- Scientific workflows with the jABC framework (2016) (0)
- Executable Documentation: Test-First in Action (2022) (0)
- Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (2009) (0)
- Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (gtvmt 2014) Preface 5 Pages (0)
- Engineering of Digital Twins for Cyber-Physical Systems (2020) (0)
- Software Process Improvement - EuroSPI 2007 Conference (2007) (0)
- Processes and Data Integration in the Networked Healthcare - (Track Introduction) (2014) (0)
- Why caring about leading-edge software engineering in healthcare and assistive technology applications? (2015) (0)
- Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (FMIS 2009) (2009) (0)
- Requirements of an Integrated Formal Method for Intelligent Swarms (2012) (0)
- Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97, selected papers (1998) (0)
- AINA 2009 External Reviewers (2009) (0)
- DIME Days (ISoLA 2022 Track Introduction) (2022) (0)
- A constraint-based variability modeling framework (2012) (0)
- DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread (2021) (0)
- jMosel : A Flexible ToolSet for Monadic Second-Order Logic on Strings (2005) (0)
- Universitat Passau Fakult at F Ur Mathematik Und Informatik P Semantic Extraction for the Automatic Veriication of Vhdl Descriptions (1994) (0)
- SEcubeTM: The most advanced, Open Source Security Platform in a Single Chip (2015) (0)
- An Open Service Environment for Service Exposure and Orchestration of Heterogeneous NGN Services (2010) (0)
- Draft Workshop Programme (2019) (0)
- Guest Editorial (2010) (0)
- Special Section on “Leveraging Formal Methods” (2006) (0)
- Improving the Reuse of Services in Geospatial Applications with XMDD Technology (2015) (0)
- Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing (2022) (0)
- Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems (2009) (0)
- Proceedings of the Workshop on Petri Nets and Graph Transformation (PNGT 2006) (2006) (0)
- Simplicity in IT: a Chance for a New Kind of Design and Process Science (2013) (0)
- Evolving Critical Systems - Track Introduction (2014) (0)
- An Enterprise Physics Approach for Evolution Support in Heterogeneous Service-Oriented Landscapes (2008) (0)
- Verified software: theories, tools and experiments (2010) (0)
- Proceedings / EuroSPI 2007, European Software Process Improvement, 26.-28.09.2007, University of Potsdam, Germany (2007) (0)
- Semantic Web Services Challenge 2008 Synthesizing the Mediator with jABC/ABC (2008) (0)
- MazeGen: A Low-Code Framework for Bootstrapping Robotic Navigation Scenarios for Smart Manufacturing Contexts (2023) (0)
- Transcribathons as Practice-Based Learning for Historians and Computer Scientists (2021) (0)
- Modeling of Games and Game Strategies (2019) (0)
- Active Behavior Mining for Digital Twins Extraction (2022) (0)
- Editorial (2011) (0)
- Active Behavior Mining for Digital Twins Extraction (2022) (0)
- Message from the CELT 2018 Symposium Co-Chairs (2018) (0)
- Digitalisation for organisations in industry 4.0: A working example (2023) (0)
- Message from the CELT Organizing Committee (2016) (0)
- Hinchey HYBRID VERIFICATION OF AN AIR TRAFFIC OPERATIONAL CONCEPT ∗ (2009) (0)
- Digitally Cloning the Physical (2022) (0)
- Automated service composition with adaptive planning (2019) (0)
- Property-driven benchmark generation: synthesizing programs of realistic structure (2014) (0)
- Testing Interconnected Systems with Behavior Mining (2020) (0)
- Messge from the ECPE Organizing Committee (2016) (0)
- Scalability aspects of validation (2003) (0)
- Tailored generation of concurrent benchmarks (2014) (0)
This paper list is powered by the following services:
Other Resources About Tiziana Margaria
What Schools Are Affiliated With Tiziana Margaria?
Tiziana Margaria is affiliated with the following schools:
