Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleMarch 2023
Transforming PageRank into an Infinite-Depth Graph Neural Network
Machine Learning and Knowledge Discovery in DatabasesSep 2022, Pages 469–484https://doi.org/10.1007/978-3-031-26390-3_27AbstractPopular graph neural networks are shallow models, despite the success of very deep architectures in other application domains of deep learning. This reduces the modeling capacity and leaves models unable to capture long-range relationships. The ...
- research-articleMarch 2020
Instantaneous control of interacting particle systems in the mean-field limit
Journal of Computational Physics (JOCP), Volume 405, Issue CMar 2020https://doi.org/10.1016/j.jcp.2019.109181Highlights- Tailored optimization methods for interacting particle systems in the mean-field limit.
- Derivation of the adjoint equation for a nonlocal Vlasov equation.
- The “first optimize, then discretize” approach allows for performant ...
Controlling large particle systems in collective dynamics by a few agents is a subject of high practical importance, e.g., in evacuation dynamics. In this paper we study an instantaneous control approach to steer an interacting particle system ...
- ArticleOctober 2018
Perioperative Workflow Simulation and Optimization in Orthopedic Surgery
OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image AnalysisSep 2018, Pages 3–11https://doi.org/10.1007/978-3-030-01201-4_1AbstractOperating room management aims at the efficient coordination of surgical procedures by maximizing the number of surgical cases while minimizing the required surgery time, with the main goal of improving the patient outcome. Discrete Event ...
- research-articleJanuary 2017
A Retarded Mean-Field Approach for Interacting Fiber Structures
Multiscale Modeling and Simulation (MMS), Volume 15, Issue 32017, Pages 1130–1154https://doi.org/10.1137/151005592We consider an interacting system of one-dimensional structures modeling fibers with fiber-fiber interaction in a fiber lay-down process. The resulting microscopic system is investigated by looking at different asymptotic limits of the corresponding ...
- research-articleDecember 2015
Mining Workflow Models from Web Applications
IEEE Transactions on Software Engineering (ISOF), Volume 41, Issue 12Dec. 2015, Pages 1184–1201https://doi.org/10.1109/TSE.2015.2461542Modern business applications predominantly rely on web technology, enabling software vendors to efficiently provide them as a service, removing some of the complexity of the traditional release and update process. While this facilitates shorter, more ...
-
- research-articleOctober 2015
Runtime metric meets developer: building better cloud applications using feedback
Onward! 2015: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)October 2015, Pages 14–27https://doi.org/10.1145/2814228.2814232A unifying theme of many ongoing trends in software engineering is a blurring of the boundaries between building and operating software products. In this paper, we explore what we consider to be the logical next step in this succession: integrating ...
- articleDecember 2014
A Semi-Lagrangian Method for 3-D Fokker Planck Equations for Stochastic Dynamical Systems on the Sphere
Journal of Scientific Computing (JSCI), Volume 61, Issue 3December 2014, Pages 513–532https://doi.org/10.1007/s10915-014-9835-zIn this paper, we consider stochastic dynamical systems on the sphere and the associated Fokker---Planck equations. A semi-Lagrangian method combined with a Finite Volume discretization of the sphere is presented to solve the Fokker---Planck equation. ...
- research-articleJuly 2014
ProCrawl: mining test models from multi-user web applications
ISSTA 2014: Proceedings of the 2014 International Symposium on Software Testing and AnalysisJuly 2014, Pages 413–416https://doi.org/10.1145/2610384.2628051Today's web applications demand very high release cycles--and consequently, frequent tests. Automating these tests typically requires a behavior model: A description of the states the application can be in, the transitions between these states, and the ...
- research-articleAugust 2013
Mining behavior models from enterprise web applications
ESEC/FSE 2013: Proceedings of the 2013 9th Joint Meeting on Foundations of Software EngineeringAugust 2013, Pages 422–432https://doi.org/10.1145/2491411.2491426Today's enterprise web applications demand very high release cycles---and consequently, frequent tests. Automating these tests typically requires a behavior model: A description of the states the application can be in, the transitions between these ...
- ArticleJuly 2011
HIVE - Enabling ETSI IMS Plugtests Events
COMPSACW '11: Proceedings of the 2011 IEEE 35th Annual Computer Software and Applications Conference WorkshopsJuly 2011, Pages 78–82https://doi.org/10.1109/COMPSACW.2011.95The high costs connected to the interoperability labs setup is one reason limiting the number of Plug tests every year. The experience done through the various IMS Plug tests has shown the needs to have an enabler to speed up setup time and reduce ...
- ArticleSeptember 2010
Model-Driven Service Integration Testing - A Case Study
QUATIC '10: Proceedings of the 2010 Seventh International Conference on the Quality of Information and Communications TechnologySeptember 2010, Pages 292–297https://doi.org/10.1109/QUATIC.2010.49This paper presents a case study for the modeling and model-based testing (MBT) of enterprise service choreographies. Our proposed MBT approach uses proprietary models called Message Choreography Models (MCM) as test models. The case study illustrates ...
- ArticleMarch 2010
Patterns for Modelling Time and Consistency in Business Information Systems
ICECCS '10: Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer SystemsMarch 2010, Pages 105–114https://doi.org/10.1109/ICECCS.2010.43Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current work aims to use Event-B and the Rodin tools to support the specification and design of ...
- ArticleDecember 2009
Local Enforceability and Inconsumable Messages in Choreography Models
SEEFM '09: Proceedings of the 2009 Fourth South-East European Workshop on Formal MethodsDecember 2009, Pages 10–16https://doi.org/10.1109/SEEFM.2009.12Choreography models describe the communication protocols between services. Every choreography model can be considered either from a global or from a local point of view. The global model specifies a high-level view of the conversation between service ...
- ArticleNovember 2009
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
- Sebastian Wieczorek,
- Vitaly Kozyura,
- Andreas Roth,
- Michael Leuschel,
- Jens Bendisposto,
- Daniel Plagge,
- Ina Schieferdecker
TESTCOM '09/FATES '09: Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES WorkshopNovember 2009, Pages 179–194https://doi.org/10.1007/978-3-642-05031-2_12Choreography models describe the communication protocols between services. Testing of service choreographies is an important task for the quality assurance of service-based systems as used e.g. in the context of service-oriented architectures (SOA). The ...
- ArticleJune 2009
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
ICECCS '09: Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer SystemsJune 2009, Pages 68–77https://doi.org/10.1109/ICECCS.2009.29Distributed information systems are critical to the functioning ofmany businesses; designing them to be dependable is a challenging butimportant task. We report our experience in using formal methods toenhance processes and tools for development of ...
- ArticleDecember 2008
Precise Steps for Choreography Modeling for SOA Validation and Verification
SOSE '08: Proceedings of the 2008 IEEE International Symposium on Service-Oriented System EngineeringDecember 2008, Pages 148–153https://doi.org/10.1109/SOSE.2008.43Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform. In this architecture, decoupled components that provide standard services can be composed to form ...
- ArticleOctober 2008
Regional Assessment of Sustainable Agricultural Cropping Systems in the North China Plain - Data Requirements and Computational Approaches
ICNC '08: Proceedings of the 2008 Fourth International Conference on Natural Computation - Volume 07October 2008, Pages 434–436https://doi.org/10.1109/ICNC.2008.414Cellular automata and the DSSAT crop model are used to regionalize site specific information of winter wheat and maize in the North China Plain (NCP). On the basis of the spatial explicit IRTG (1st Sino-German International Research Training Group) ...
- articleFebruary 2008
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic
Electronic Notes in Theoretical Computer Science (ENTCS) (ENTCS), Volume 199February, 2008, Pages 107–128https://doi.org/10.1016/j.entcs.2007.11.015The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweight tactics with easy to master syntax and semantics. Adding new taclets to ...
- ArticleDecember 2005
Automatic validation of transformation rules for java verification against a rewriting semantics
LPAR'05: Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and ReasoningDecember 2005, Pages 412–426https://doi.org/10.1007/11591191_29This paper presents a methodology for automatically validating program transformation rules that are part of a calculus for Java source code verification. We target the Java Dynamic Logic calculus which is implemented in the interactive prover of the ...
- ArticleJune 2005
Specification and verification of encapsulation in java programs
FMOODS'05: Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed SystemsJune 2005, Pages 195–210https://doi.org/10.1007/11494881_13Encapsulation is a major concept in object-oriented designs as design pattern catalogues, approaches for alias control, and the need for modular correctness of components demonstrate. The way encapsulation can be formally specified in existing ...