transformation system - researchr tag

researchr

You are not signed in
Sign in
Sign up

2013

Optimizing Data Structures in High-Level ProgramsTiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky. In POPL 2013. 2013:

2011

Ambiguity Detection for Programming Language GrammarsBas Basten. PhD thesis, Universiteit van Amsterdam, December 2011.

Combining Specification-based and Code-based Coverage for Model Transformation ChainsEduard Bauer, Jochen Kuester. ICMT 2011: 78-92

Topology-based Visualization of Transformation Pathways in Complex Chemical SystemsK. Beketayev, Gunther H. Weber, M. Haranczyk, Peer-Timo Bremer, Mario Hlawitschka, Bernd Hamann. cgf, 30(3):663-672, 2011. [doi]

A model transformation approach for verifying multi-agent systems using SPINLily Chang, Xudong He. SAC 2011: 37-42 [doi]

A Coordinate Transformation System Based on the Human Feature InformationShih-Ming Chang, Joseph C. Tsai, Timothy K. Shih, Hui-Huang Hsu. mmm 2011: 514-524 [doi]

Quasi-Linear Transformations, Numeration Systems and FractalsMarie-Andrée Jacob-Da Col, Pierre Tellier. dgci 2011: 187-198 [doi]

Applying CIM-to-PIM model transformations for the service-oriented development of information systemsValeria de Castro, Esperanza Marcos, Juan M. Vara. INFSOF, 53(1):87-105, 2011. [doi]

Nonlinear estimation applying an unscented transformation in systems with correlated uncertain observationsAurora Hermoso-Carazo, Josefa Linares-Pérez. amc, 217(20):7998-8009, 2011. [doi]

RLSRunner: Linking Rascal with K for Program AnalysisHills, Mark, Klint, P. , Jurgen J. Vinju. In Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011). 2011:

Handling Multi-Versioning in LLVM: Code Tracking and CloningAlexandra Jimborean, Vincent Loechner, Philippe Clauss. WIR 2011: 45-52

R2O: Relation to Ontology Transformation SystemSharifullah Khan, Kiran Sonia. jikm, 10(1):71-89, 2011. [doi]

A Model-Based Transformation Process to Validate and Implement High-Integrity SystemsGilles Lasnier, Laurent Pautet, Jérôme Hugues. isorc 2011: 67-74 [doi]

Storage and retrieval of system log events using a structured schema based on message type transformationAdetokunbo Makanju, A. Nur Zincir-Heywood, Evangelos E. Milios. SAC 2011: 528-533 [doi]

The transformation of requirements into software primitives: Studying evolvability based on systems theoretic stabilityHerwig Mannaert, Jan Verelst, Kris Ven. SCP, 76(12):1210-1222, 2011. [doi]

Modal Deduction Systems for Quantum State TransformationsAndrea Masini, Luca Viganò, Margherita Zorzi. mvl, 17(5-6):475-519, 2011. [doi]

Transformation of the Hospital Supply Chain: How to Measure the Maturity of Supplier Relationship Management Systems in Hospitals?Tobias Mettler. ijhisi, 6(2):1-13, 2011. [doi]

The Transformation of Second-Order Linear Systems into Independent EquationsMatthias Morzfeld, Fai Ma, Beresford N. Parlett. siamam, 71(4):1026-1043, 2011. [doi]

IMPULSE: a design framework for multi-agent systems based on model transformationHiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden. SAC 2011: 1411-1418 [doi]

Stochastic system transformation using generalized orthonormal basis functions with applications to continuous-time system identificationYoshito Ohta. automatica, 47(5):1001-1006, 2011. [doi]

Data set preprocessing and transformation in a database systemCarlos Ordonez. ida, 15(4):613-631, 2011. [doi]

Analysing graph transformation systems through constraint handling rulesFrank Raiser, Thom W. Frühwirth. tplp, 11(1):65-109, 2011. [doi]

Embedding domain-specific modelling languages in maude specificationsVlad Rusu. ACM SIGSOFT Software Engineering Notes, 36(1):1-8, January 2011. [doi]

Toward bidirectionalization of ATL with GRoundTramIsao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano. ICMT 2011: 138-151

A categorical framework for the transformation of object-oriented systems: Models and dataChristoph Schulz, Michael Löwe, Harald König. JSC, 46(3):316-337, 2011. [doi]

Online tax payment systems as an emergent aspect of governmental transformationThomas F. Stafford, Aykut Hamit Turan. ejis, 20(3):343-357, 2011. [doi]

Languages as librariesTobin-Hochstadt, Sam, St-Amour, Vincent, Culpepper, Ryan, Flatt, Matthew, Matthias Felleisen. In Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation. 2011: 132-141 [doi]

Performance in Model Transformations: A Comparison Between ATL and QVT Marcel van Amstel, Steven Bosems, Luis Ferreira Pires, Ivan Kurtev. ICMT 2011: 198-212

2010

Proof Systems and Transformation GamesYoram Bachrach, Michael Zuckerman, Michael Wooldridge, Jeffrey S. Rosenschein. mfcs 2010: 78-89 [doi]

A Graph Transformation Case Study for the Topology Analysis of Dynamic Communication SystemsPeter Backes, Jan Reineke. TTC 2010:

From Petri Nets to Graph Transformation SystemsPaolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari. eceasst, 26, 2010. [doi]

Source-Level Support for Timing AnalysisGergö Barany, Adrian Prantl. isola 2010: 434-448 [doi]

Model Transformations to Mitigate the Semantic Gap in Embedded Systems VerificationBjörn Bartels, Sabine Glesner, Thomas Göthel. eceasst, 30, 2010. [doi]

Threads2Events: An Automatic Code Generation ApproachAlexander Bernauer, Kay Römer, Silvia Santini, Junyan Ma. In Proceedings of the 6th Workshop on Hot Topics in Embedded Networked Sensors (HotEMNETS 2010). 2010:

A GrGen.NET solution of the Model Migration Case for the Transformation Tool Contest 2010Sebastian Buchwald, Edgar Jakumeit. TTC 2010:

Automated generation of program translation and verification tools using annotated grammarsDiego Ordonez Camacho, Kim Mens, Mark G. J. van den Brand, Jurgen J. Vinju. SCP, 75(1-2):3-20, 2010. [doi]

A Privacy-Enhancing Content-Based Publish/Subscribe System Using Scalar Product Preserving TransformationsSunoh Choi, Gabriel Ghinita, Elisa Bertino. DEXA 2010: 368-384 [doi]

Program analysis and transformation for data-intensive system evolutionAnthony Cleve. ICSM 2010: 1-6 [doi]

Transformation of structure-shy programs with application to XPath queries and strategic functionsAlcino Cunha, Joost Visser. SCP, In Press, Corrected Proof, 2010. [doi]

Transformation of operation commands among CAD systems in synchronized collaborative designWanfeng Dou, Xiaodong Song, Tao Peng. cscwd 2010: 1-6 [doi]

System Description: The Proof Transformation System CERESTsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo. cade 2010: 427-433 [doi]

Erratum to Map generalization and schema transformation of geospatial data combined in a Web Service context [Computers, Environment and Urban Systems 34 (2010) 79-88]Theodor Foerster, Lassi Lehto, Tapani Sarjakoski, L. Tiina Sarjakoski, Jantien E. Stoter. urban, 34(2):177, 2010. [doi]

Bäcklund transformation and multi-soliton solutions for a (2 + 1)-dimensional Korteweg-de Vries system via symbolic computationTao Geng, Xiang-Hua Meng, Wen-Rui Shan, Bo Tian. amc, 217(4):1470-1475, 2010. [doi]

Reachability Analysis on Timed Graph Transformation SystemsChristian Heinzemann, Julian Suck, Tobias Eckardt. eceasst, 32, 2010. [doi]

Topology Analysis of Car Platoons Merge with FujabaRT & TimedStoryCharts - a Case StudyChristian Heinzemann, Julian Suck, Ruben Jubeh, Albert Zündorf. TTC 2010:

Transformational Breathing between Present and Past: Virtual Exhibition System of the Mao-Kung TingChun-Ko Hsieh, Xin Tong, Yi-Ping Hung, Chia-Ping Chen, Ju-Chun Ko, Meng-Chieh Yu, Han-Hung Lin, Szu-Wei Wu, Yi-Yu Chung, Liang-Chun Lin, Ming-Sui Lee, Chu-Song Chen, Jiaping Wang, Quo-Ping Lin, I-Ling Liu. mmm 2010: 707-712 [doi]

Bisimulation Theory for Graph Transformation SystemsMathias Hülsbusch. gg 2010: 391-393 [doi]

A Model Transformation Approach for Automatic Composition of COTS User Interfaces in Web-Based Information SystemsLuis Iribarne, Nicolás Padilla, Javier Criado, José Andrés Asensio, Rosa Ayala. ism, 27(3):207-216, 2010. [doi]

Similarity transformation of matrices to one common canonical form and its applications to 2D linear systemsTadeusz Kaczorek. amcs, 20(3):507-512, 2010. [doi]

Model-to-Metamodel Transformation for the Development of Component-Based SystemsGerd Kainz, Christian Buckl, Stephan Sommer, Alois Knoll. MoDELS 2010: 391-405 [doi]

Model-to-Metamodel-Transformation for the Development of Component-Based SystemsKainz, Buckl, Sommer, Knoll. MoDELS 2010:

Lessons Learned from Building a Graph Transformation SystemGabor Karsai. BIRTHDAY 2010: 202-223 [doi]

Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language PortabilityLennart C. L. Kats, Eelco Visser. SCAM 2010:

Sequence diagram to colored Petri nets transformation testing: an immune system metaphorMarouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum. cascon 2010: 72-85 [doi]

Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation SystemAjab Khan, Reiko Heckel, Paolo Torrini, István Ráth. asmta 2010: 204-217 [doi]

Verification of Graph Transformation Systems with Context-Free SpecificationsBarbara König, Javier Esparza. gg 2010: 107-122 [doi]

Editor s Introduction to the Special Issue on System Modeling and Transformation PrinciplesYulia Ledeneva, Grigori Sidorov. informaticaSI, 34(1):1, 2010. [doi]

Comparison of discriminative input and output transformations for speaker adaptation in the hybrid NN/HMM systemsBo Li, Khe Chai Sim. interspeech 2010: 526-529 [doi]

An Admissibility-Based Operational Transformation Framework for Collaborative Editing SystemsDu Li, Rui Li. cscw, 19(1):1-43, 2010. [doi]

Research on design methods of coordinate transformation and navigation in virtual maintains systemXiao Liu, Song Yinbin, Haijun Li. icnc 2010: 4224-4228 [doi]

A formalizing hybrid model transformation approach for collaborative systemKun Ma, Bo Yang, Haiyang Wang. cscwd 2010: 71-76 [doi]

Verification of dynamically reconfigurable embedded systems by model transformation rulesFelix Madlener, Julia Weingart, Sorin A. Huss. codes 2010: 33-40 [doi]

Multiformalism and Transformation Inheritance for Dependability Analysis of Critical SystemsStefano Marrone, Camilla Papa, Valeria Vittorini. IFM 2010: 215-228 [doi]

Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive CategoriesMaria Maximova, Hartmut Ehrig, Claudia Ermel. eceasst, 40, 2010. [doi]

Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation SystemsTony Modica. gg 2010: 400-402 [doi]

Manual and automated performance optimization of model transformation systemsTamás Mészáros, Gergely Mezei, Tihamer Levendovszky, Márk Asztalos. STTT, 12(3-4):231-243, 2010. [doi]

Incremental Service Composition Based on Partial Matching of Visual ContractsMuhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann. FASE 2010: 123-138 [doi]

ADIC2: Development of a component source transformation system for differentiating C and C++Sri Hari Krishna Narayanan, Boyana Norris, Beata Winnicka. procedia, 1(1):1845-1853, 2010. [doi]

SPIRE: A retiming-based physical-synthesis transformation systemDavid A. Papa, Smita Krishnaswamy, Igor L. Markov. iccad 2010: 373-380 [doi]

Checking Graph-Transformation Systems for ConfluenceDetlef Plump. eceasst, 26, 2010. [doi]

Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellationRimma I. Podlovchenko. pcs, 36(3):125-137, 2010. [doi]

Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation SystemsFawad Qayum. gg 2010: 407-409 [doi]

Formal Analysis of UML 2.0 Activities Using Graph Transformation SystemsVahid Rafe, Adel Torkaman Rahmani, Reza Rafeh. ijseke, 20(5):679-694, 2010. [doi]

Graph Transformation Systems in Constraint Handling Rules - Improved Methods for Program AnalysisFrank Raiser. PhD thesis, Universität Ulm, 2010.

Exact linearization by time scale transformation based on relative degree structure of single-input nonlinear systemsAkio Saito, Kazuma Sekiguchi, Mitsuji Sampei. cdc 2010: 5408-5413 [doi]

Categorical Framework for the Transformation of Object-Oriented Systems: Operations and MethodsChristoph Schulz, Michael Löwe, Harald König. eceasst, 26, 2010. [doi]

State-space formulation of n-variable bilinear transformation for n-D systemsNatsuko Shiratori, Shi Yan, Hsin-Jang Shieh, Li Xu. iscas 2010: 1009-1012 [doi]

Using a new structured joint congruence (STJOCO) transformation of Hermitian matrices for precoding in multi-user MIMO systemsBin Song, Florian Roemer, Martin Haardt. icassp 2010: 3414-3417 [doi]

Using Parallel Graph Transformations in Design Support SystemRafal Swiderski, Barbara Strug. iccvg 2010: 309-316 [doi]

Bringing extensibility to verified compilersZachary Tatlock, Sorin Lerner. PLDI 2010: 111-121 [doi]

Approximate eigenvalue decomposition of para-Hermitian systems through successive FIR paraunitary transformationsAndre Tkacenko. icassp 2010: 4074-4077 [doi]

Stochastic Simulation of Graph Transformation SystemsPaolo Torrini, Reiko Heckel, IstvÃ¡n RÃ¡th. FASE 2010: 154-157 [doi]

Modelling Emergency Scenarios using Algebraic High Level Net Transformation Systems with Net PatternsFrank Trollmann, Maximilian Kern, Sahin Albayrak. eceasst, 40, 2010. [doi]

A Proof System with Bounded Non-determinism in Database TransformationsQing Wang. sdb 2011: 114-133 [doi]

A generalization of chang transformation for Linear Time-Varying systemsXiaojing Yang, J. Jim Zhu. cdc 2010: 6863-6869 [doi]

Transformation between type-2 TSK fuzzy systems and an uncertain Gaussian mixture modelQinli Zhang, Korris Fu-Lai Chung, Shitong Wang. soco, 14(7):701-711, 2010. [doi]

Activity Based CIM Modeling and Transformation for Business Process SystemsJianfu Zhang, Pingfa Feng, Zhijun Wu, Dingwen Yu, Ken Chen. ijseke, 20(3):289-309, 2010. [doi]

Towards Guided Trajectory Exploration of Graph Transformation SystemsÁbel Hegedüs, Ákos Horváth, Dániel Varró. eceasst, 40, 2010. [doi]

2009

Using Higher-Order Transformations to Derive Variability Mechanism for Embedded SystemsGoetz Botterweck, Andreas Polzer, Stefan Kowalewski. MoDELS 2010: 68-82 [doi]

Signs of Epistemic Disruption: Transformations in the Knowledge System of the Academic JournalWilliam W. Cope, Mary Kalantzis. firstmonday, 14(4), 2009. [doi]

A Tool for Generating Model Transformations By-Example in Multi-Agent SystemsIván García-Magariño, Sylvain Rougemaille, Rubén Fuentes-Fernández, Frédéric Migeon, Marie Pierre Gleizes, Jorge J. Gómez-Sanz. paams 2009: 70-79 [doi]

A Haskell Hosted DSL for Writing Transformation SystemsAndy Gill. DSL 2009: 285-309 [doi]

Correctness of high-level transformation systems relative to nested conditionsAnnegret Habel, Karl-Heinz Pennemann. mscs, 19(2):245-296, 2009. [doi]

Model Transformation using Adaptive SystemsGareth Howells, Behzad Bordbar, David H. Akehurst. ICSOFT 2009: 133-138

Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE SystemsAmogh Kavimandan, Aniruddha S. Gokhale. qosa 2009: 18-35 [doi]

Metamorphosis: the Coming Transformation of Translational Systems BiologySamantha Kleinberg, Bud Mishra. queue, 7(9):40, 2009. [doi]

Transformational Specification of Complex Legacy Real-Time Systems via Semantic AnchoringYue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft, Christer NorstrÃ¶m. compsac 2009: 510-515 [doi]

From line-systems to sphere-systems - Schläfli s double six, Lie s line-sphere transformation, and Grace s theoremHiroshi Maehara, Norihide Tokushige. ejc, 30(5):1337-1351, 2009. [doi]

Model-driven Development in Industrial Automation - Automating the Development of Industrial Automation Systems using Model TransformationsMathias Maurmaier, Peter GÃ¶hner. icinco 2009: 244-249

PreviousNext