default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIvan Porres
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c79]Alina Torbunova
, Per Erik Strandberg, Ivan Porres:
Dynamic Test Case Prioritization in Industrial Test Result Datasets. AST@ICSE 2024: 154-158- [c78]Gaadha Sudheerbabu, Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres:
Iterative Optimization of Hyperparameter-based Metamorphic Transformations. ICSTW 2024: 13-20 - [c77]Jarkko Peltomäki, Jesper Winsten, Maxime Methais, Ivan Porres:
Testing cyber-physical systems with explicit output coverage. ICSTW 2024: 128-136 - [c76]Jesper Winsten, Valentin Soloviev, Jarkko Peltomäki, Ivan Porres:
Adaptive Test Generation for Unmanned Aerial Vehicles using WOGAN-UAV. SBFT@ICSE 2024: 43-44 - [i14]Alina Torbunova, Per Erik Strandberg, Ivan Porres:
Dynamic Test Case Prioritization in Industrial Test Result Datasets. CoRR abs/2402.02925 (2024) - [i13]Alina Torbunova, Adnan Ashraf, Ivan Porres:
A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses. CoRR abs/2407.07511 (2024) - [i12]Jarkko Peltomäki, Ivan Porres:
Learning test generators for cyber-physical systems. CoRR abs/2410.03202 (2024) - 2023
- [c75]Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang:
ARCH-COMP23 Category Report: Falsification. ARCH 2023: 151-169 - [c74]Jesper Winsten, Ivan Porres:
WOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. SBFT 2023: 43-44 - [i11]Jarkko Peltomäki, Ivan Porres:
Requirement falsification for cyber-physical systems using generative models. CoRR abs/2310.20493 (2023) - 2022
- [c73]Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres:
A Two-phase Metamorphic Approach for Testing Industrial Control Systems. ETFA 2022: 1-4 - [c72]Jarkko Peltomäki, Ivan Porres:
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. ICST Workshops 2022: 21-28 - [c71]Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres:
Early Detection of Network Attacks Using Deep Learning. ICST Workshops 2022: 30-39 - [c70]Jarkko Peltomäki, Frankie Spencer, Ivan Porres:
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems. SBST@ICSE 2022: 1-5 - [c69]Jarkko Peltomäki, Frankie Spencer, Ivan Porres:
WOGAN at the SBST 2022 CPS Tool Competition. SBST@ICSE 2022: 53-54 - [i10]Tanwir Ahmad, Dragos Truscan, Juri Vain, Ivan Porres:
Early Detection of Network Attacks Using Deep Learning. CoRR abs/2201.11628 (2022) - [i9]Jarkko Peltomäki, Ivan Porres:
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. CoRR abs/2205.11057 (2022) - [i8]Jarkko Peltomäki, Frankie Spencer, Ivan Porres:
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems. CoRR abs/2205.11060 (2022) - [i7]Jarkko Peltomäki, Frankie Spencer, Ivan Porres:
WOGAN at the SBST 2022 CPS Tool Competition. CoRR abs/2205.11064 (2022) - [i6]Ali Hanzala Khan, Ivan Porres:
Consistency of UML class, object and statechart diagrams using ontology reasoners. CoRR abs/2205.11177 (2022) - [i5]Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, Ivan Porres:
A Two-phase Metamorphic Approach for Testing Industrial Control Systems. CoRR abs/2208.09261 (2022) - 2021
- [c68]Ivan Porres, Hergys Rexha, Sébastien Lafond:
Online GANs for Automatic Performance Testing. ICST Workshops 2021: 95-100 - [i4]Ivan Porres, Sepinoud Azimi, Sébastien Lafond, Johan Lilius, Johanna Salokannel, Mirva Salokorpi:
On the Verification and Validation of AI Navigation Algorithms. CoRR abs/2101.06091 (2021) - [i3]Ivan Porres, Hergys Rexha, Sébastien Lafond:
Online GANs for Automatic Performance Testing. CoRR abs/2104.11069 (2021) - 2020
- [j25]Tanwir Ahmad, Adnan Ashraf, Dragos Truscan, Andi Domi, Ivan Porres:
Using Deep Reinforcement Learning for Exploratory Performance Testing of Software Systems With Multi-Dimensional Input Spaces. IEEE Access 8: 195000-195020 (2020) - [c67]Ivan Porres, Sepinoud Azimi, Johan Lilius:
Scenario-based Testing of a Ship Collision Avoidance System. SEAA 2020: 545-552 - [c66]Ivan Porres, Tanwir Ahmad, Hergys Rexha, Sébastien Lafond, Dragos Truscan:
Automatic exploratory performance testing using a discriminator neural network. ICST Workshops 2020: 105-113
2010 – 2019
- 2019
- [j24]Irum Rauf, Elena Troubitsyna, Ivan Porres:
A systematic mapping study of API usability evaluation methods. Comput. Sci. Rev. 33: 49-68 (2019) - [j23]Tanwir Ahmad, Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres:
Model-based testing using UML activity diagrams: A systematic mapping study. Comput. Sci. Rev. 33: 98-112 (2019) - [j22]Beatriz Pérez, Ivan Porres:
Reasoning about UML/OCL class diagrams using constraint logic programming and formula. Inf. Syst. 81: 152-177 (2019) - [c65]Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres:
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams. CAiSE 2019: 96-110 - [c64]Tanwir Ahmad, Adnan Ashraf, Dragos Truscan, Ivan Porres:
Exploratory Performance Testing Using Reinforcement Learning. SEAA 2019: 156-163 - [c63]Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres:
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models. SEAA 2019: 466-470 - 2018
- [j21]Adnan Ashraf, Benjamin Byholm, Ivan Porres:
Distributed virtual machine consolidation: A systematic mapping study. Comput. Sci. Rev. 28: 118-130 (2018) - [j20]Jurka Rahikkala, Sami Hyrynsalmi, Ville Leppänen, Ivan Porres:
The Role of Organisational Phenomena in Software Cost Estimation: A Case Study of Supporting and Hindering Factors. e Informatica Softw. Eng. J. 12(1): 167-198 (2018) - [j19]Tanwir Ahmad, Dragos Truscan, Ivan Porres:
Identifying worst-case user scenarios for performance testing of web applications using Markov-chain workload models. Future Gener. Comput. Syst. 87: 910-920 (2018) - [j18]Benjamin Byholm, Ivan Porres:
Fast algorithms for fragmentable items bin packing. J. Heuristics 24(5): 697-723 (2018) - [j17]Adnan Ashraf, Ivan Porres:
Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. Int. J. Parallel Emergent Distributed Syst. 33(1): 103-120 (2018) - [c62]Kristian Nybom, Adnan Ashraf, Ivan Porres:
A Systematic Mapping Study on API Documentation Generation Approaches. SEAA 2018: 462-469 - [i2]Adnan Ashraf, Benjamin Byholm, Ivan Porres:
Distributed virtual machine consolidation: A systematic mapping study. CoRR abs/1803.03094 (2018) - 2017
- [c61]Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres:
Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction. ECBS 2017: 6:1-6:10 - [c60]Benjamin Byholm, Ivan Porres:
Optimized Deployment Plans for Platform as a Service Clouds. UCC (Companion") 2017: 41-46 - [i1]Adnan Ashraf, Ivan Porres:
Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. CoRR abs/1701.00383 (2017) - 2016
- [j16]Adnan Ashraf, Benjamin Byholm, Ivan Porres:
Prediction-based VM provisioning and admission control for multi-tier web applications. J. Cloud Comput. 5: 15 (2016) - [j15]Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres:
Quantitatively measuring a large-scale agile transformation. J. Syst. Softw. 117: 258-273 (2016) - [c59]Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres:
On Optimization of Test Parallelization with Constraints. Software Engineering (Workshops) 2016: 164-171 - [c58]Irum Rauf, Pekka Perala, Jouni Huotari, Ivan Porres:
Perceived obstacles by novice developers adopting user interface APIs and tools. VL/HCC 2016: 223-227 - [c57]Kristian Nybom, Jens Smeds, Ivan Porres:
On the Impact of Mixing Responsibilities Between Devs and Ops. XP 2016: 131-143 - 2015
- [j14]Fahimeh Farahnakian, Adnan Ashraf, Tapio Pahikkala, Pasi Liljeberg, Juha Plosila, Ivan Porres, Hannu Tenhunen:
Using Ant Colony System to Consolidate VMs for Green Cloud Computing. IEEE Trans. Serv. Comput. 8(2): 187-198 (2015) - [j13]Ali Hanzala Khan, Ivan Porres:
Consistency of UML class, object and statechart diagrams using ontology reasoners. J. Vis. Lang. Comput. 26: 42-65 (2015) - [c56]Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres:
Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud. PDP 2015: 505-513 - [c55]Adnan Ashraf, Benjamin Byholm, Ivan Porres:
A Multi-objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud. UCC 2015: 341-347 - [c54]Jens Smeds, Kristian Nybom, Ivan Porres:
DevOps: A Definition and Perceived Adoption Impediments. XP 2015: 166-177 - [p3]N. A. Khan, Natalia Díaz Rodríguez, Riitta Danielsson-Ojala, Hanna Pirinen, Lotta Kauhanen, Sanna Salanterä, Joachim Majors, Sebu Björklund, Kimmo Rautanen, Tapio Salakoski, Ilona Tuominen, Ivan Porres, Johan Lilius:
Smart Dosing: A mobile application for tracking the medication tray-filling and dispensation processes in hospital wards. Recent Advances in Ambient Assisted Living 2015: 134-144 - 2014
- [c53]Fahimeh Farahnakian, Adnan Ashraf, Pasi Liljeberg, Tapio Pahikkala, Juha Plosila, Ivan Porres, Hannu Tenhunen:
Energy-Aware Dynamic VM Consolidation in Cloud Data Centers Using Ant Colony System. IEEE CLOUD 2014: 104-111 - [c52]Benjamin Byholm, Ivan Porres:
Cost-Efficient, Reliable, Utility-Based Session Management in the Cloud. CCGRID 2014: 102-111 - [c51]Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres:
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. IFM 2014: 103-119 - [c50]Adnan Ashraf, Ivan Porres:
Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment. PDP 2014: 482-489 - [c49]Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres:
An Integrated Approach for Designing and Validating REST Web Service Compositions. WEBIST (1) 2014: 104-115 - [c48]Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres:
Scenario-Based Design and Validation of REST Web Service Compositions. WEBIST (Revised Selected Papers) 2014: 145-160 - 2013
- [c47]Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Ivan Porres, Johan Lilius:
Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing. CCGRID 2013: 482-489 - [c46]Ivan Porres:
Union and Difference of Models, 10 years later. MoDELS (Demos/Posters/StudentResearch) 2013: 1-5 - [c45]Ali Hanzala Khan, Irum Rauf, Ivan Porres:
Consistency of UML Class and Statechart Diagrams with State Invariants. MODELSWARD 2013: 14-24 - [c44]Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius:
Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing. PDP 2013: 254-261 - [c43]Ivan Porres, Jeanette Heidenberg, Max Weijola, Kristian Nordman, Dragos Truscan:
Authoring IEC 61508 Based Software Development Process Models. PROFES 2013: 268-282 - [c42]Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres:
Model-based Performance Testing of Web Services using Probabilistic Timed Automata. WEBIST 2013: 99-104 - [c41]Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres:
Model-based performance testing in the cloud using the mbpet tool. ICPE 2013: 423-424 - [c40]Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres:
A Metrics Model to Measure the Impact of an Agile Transformation in Large Software Development Organizations. XP 2013: 165-179 - 2012
- [c39]Adnan Ashraf, Benjamin Byholm, Ivan Porres:
CRAMP: Cost-efficient Resource Allocation for Multiple web applications with Proactive scaling. CloudCom 2012: 581-586 - [c38]Adnan Ashraf, Benjamin Byholm, Joonas Lehtinen, Ivan Porres:
Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual Machine. EUROMICRO-SEAA 2012: 431-438 - [c37]Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres:
A Model for Business Value in Large-Scale Agile and Lean Software Development. EuroSPI 2012: 49-60 - [c36]Adnan Ashraf, Benjamin Byholm, Ivan Porres:
A Session-Based Adaptive Admission Control Approach for Virtualized Application Servers. UCC 2012: 65-72 - [c35]Irum Rauf, Ali Hanzala Khan, Ivan Porres:
Analyzing Consistency of Behavioral REST Web Service Interfaces. WWV 2012: 77-92 - 2011
- [c34]Johan Selänniemi, Ivan Porres:
An Efficient Google Datastore Adapter for Rich Internet Applications. CLOSER 2011: 410-417 - [c33]Niclas Snellman, Adnan Ashraf, Ivan Porres:
Towards Automatic Performance and Scalability Testing of Rich Internet Applications in the Cloud. EUROMICRO-SEAA 2011: 161-169 - [c32]Irum Rauf, Ivan Porres:
Towards Behaviorally Enriched Semantic RESTful Interfaces Using OWL2. ICWE 2011: 407-410 - [c31]Joerg Evermann, Ivan Porres:
Doctoral Symposium at MoDELS 2011. MoDELS (Workshops) 2011: 1-3 - [c30]M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Ivan Porres:
A Framework for Context-Aware Applications for Smart Spaces. NEW2AN 2011: 14-25 - [c29]Espen Suenson, Johan Lilius, Ivan Porres:
OWL Web Ontology Language as a Scripting Language for Smart Space Applications. RuleML Europe 2011: 368-375 - [c28]Ivan Porres, Irum Rauf:
Modeling behavioral RESTful web service interfaces in UML. SAC 2011: 1598-1605 - [c27]Natalia Díaz Rodríguez, Pasi Kankaanpää, M. Mohsin Saleemi, Johan Lilius, Ivan Porres:
Programming biomedical smart space applications with BioImageXD and PythonRules. SWAT4LS 2011: 10-11 - [p2]Irum Rauf, Ivan Porres:
Beyond CRUD. REST: From Research to Practice 2011: 117-135 - 2010
- [j12]Beatriz Pérez, Ivan Porres:
Authoring and verification of clinical guidelines: A model driven approach. J. Biomed. Informatics 43(4): 520-536 (2010) - [c26]Jeanette Heidenberg, Ivan Porres:
Metrics Functions for Kanban Guards. ECBS 2010: 306-310 - [c25]Irum Rauf, Anna Ruokonen, Tarja Systä, Ivan Porres:
Modeling a composite RESTful web service with UML. ECSA Companion Volume 2010: 253-260 - [c24]Ivan Porres, Irum Rauf:
From Nondeterministic UML Protocol Statemachines to Class Contracts. ICST 2010: 107-116 - [c23]Ye Liu, Sören Höglund, Ali H. Khan, Ivan Porres:
A Feasibility Study on the Validation of Domain Specific Languages Using OWL 2 Reasoners. TWOMDE@TOOLS 2010
2000 – 2009
- 2009
- [j11]Dragos Truscan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Johan Lilius:
MDE for SoC design. Innov. Syst. Softw. Eng. 5(1): 49-64 (2009) - [c22]Ivan Porres, Irum Rauf:
Generating class contracts from UML protocol statemachines. MoDeVVa@MoDELS 2009: 8:1-8:10 - [c21]Ivan Porres, Irum Rauf:
Generating Class Contracts from Deterministic UML Protocol Statemachines. MoDELS (Workshops) 2009: 172-185 - 2008
- [j10]Marcus Alanen, Ivan Porres:
A metamodeling language supporting subset and union properties. Softw. Syst. Model. 7(1): 103-124 (2008) - [j9]Jeanette Heidenberg, Andreas Nåls, Ivan Porres:
Statechart features and pre-release maintenance defects. J. Vis. Lang. Comput. 19(4): 456-467 (2008) - [c20]Beatriz Pérez, Ivan Porres:
Verification of Clinical Guidelines by Model Checking. CBMS 2008: 114-119 - [c19]Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata:
A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. ECBS 2008: 210-218 - [c18]Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho:
Testable Specifications of NoTA-based Modular Embedded Systems. ECBS 2008: 375-383 - 2007
- [j8]Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres:
A Query Language With the Star Operator. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007) - [j7]Marcus Alanen, Torbjörn Lundkvist, Ivan Porres:
Creating and reconciling diagrams after executing model transformations. Sci. Comput. Program. 68(3): 155-178 (2007) - [c17]Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata:
Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA. CAiSE Forum 2007 - [c16]Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan:
SystemC-based Simulation of the MICAS Architecture. FDL 2007: 122-127 - [c15]Jeanette Heidenberg, Andreas Nåls, Ivan Porres:
Statechart Features and Pre-Release Defects in Software Maintenance. VL/HCC 2007: 223-230 - 2006
- [c14]Marcus Alanen, Torbjörn Lundkvist, Ivan Porres:
A Mapping Language from Models to DI Diagrams. MoDELS 2006: 454-468 - [c13]Marcus Alanen, Ivan Porres:
Basic Operations over Models Containing Subset and Union Properties. MoDELS 2006: 469-483 - [c12]Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan, Ian Oliver, Kim Sandström:
Design Method Support for Domain Specific SoC design. MDB/MOMPES 2006: 25-32 - [c11]Ivan Porres, María C. Valiente:
Process Definition and Project Tracking in Model Driven Engineering. PROFES 2006: 127-141 - [c10]Marcus Alanen, Torbjörn Lundkvist, Ivan Porres:
Reconciling diagrams after executing model transformations. SAC 2006: 1267-1272 - 2005
- [j6]Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres:
Guest Editors' Foreword. Nord. J. Comput. 12(3): 198-199 (2005) - [j5]Marcus Alanen, Torbjörn Lundkvist, Ivan Porres:
Comparison of Modeling Frameworks for Software Engineering. Nord. J. Comput. 12(4): 321-342 (2005) - [j4]Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glen Sveholm, Asim Pervez Zaka:
An Architecture Exploration Environment for System on Chip Design. Nord. J. Comput. 12(4): 361-378 (2005) - [j3]Ivan Porres:
Rule-based update transformations and their application to model refactorings. Softw. Syst. Model. 4(4): 368-385 (2005) - [c9]Marcus Alanen, Ivan Porres:
Model Interchange Using OMG Standards. EUROMICRO-SEAA 2005: 450-459 - [c8]Ralph-Johan Back, Luka Milovanov, Ivan Porres:
Software Development and Experimentation in an Academic Environment: The Gaudi Experience. PROFES 2005: 414-428 - [p1]Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan:
On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications. Model-Driven Software Development 2005: 305-328 - 2003
- [j2]Ivan Porres:
A toolkit for model manipulation. Softw. Syst. Model. 2(4): 262-277 (2003) - [c7]Dag Björklund, Johan Lilius, Ivan Porres:
Rialto Profile in the SMW Toolkit. ACSD 2003: 233-234 - [c6]Dag Björklund, Johan Lilius, Ivan Porres:
A Unified Approach to Code Generation from Behavioral Diagrams. FDL 2003: 251-263 - [c5]Marcus Alanen, Ivan Porres:
Difference and Union of Models. UML 2003: 2-17 - [c4]Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres:
A Workbench to Experiment on New Model Engineering Applications. UML 2003: 96-100 - [c3]Ivan Porres:
Model Refactorings as Rule-Based Update Transformations. UML 2003: 159-174 - 2001
- [j1]Ralph-Johan Back, Luigia Petre, Ivan Porres:
Continuous Action Systems as a Model for Hybrid Systems. Nord. J. Comput. 8(1): 2-21 (2001) - [c2]Dag Björklund, Johan Lilius, Ivan Porres:
Towards Efficient Code Synthesis from Statecharts. pUML 2001: 29-41 - 2000
- [c1]Ralph-Johan Back, Luigia Petre, Ivan Porres:
Generalizing Action Systems to Hybrid Systems. FTRTFT 2000: 202-213
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-13 23:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
