Science of Computer Programming, Volume 78 export records of this page
first 1000 hits only:
see FAQ:
BHT key:
db/journals/scp/scp78.bht ask others
view this toc in
SPARQL queries Refine list refinements active!
zoomed in on?? of?? records
dismiss all constraints
view refined list in
dblp search
export refined list as
XML
JSON
JSONP
BibTeX
Volume 78, Number 1, November 2012 Special Section:Formal Aspects of Component Software (FACS09)
Regular Articles
export record
dblp key:
journals/scp/ZambranoFG12 share record
persistent URL:
Arturo Zambrano ,Johan Fabry ,Silvia E. Gordillo :Expressing aspectual interactions in requirements engineering: Experiences, problems and solutions. 65-92 export record
dblp key:
journals/scp/KhalilianAF12 share record
persistent URL:
Alireza Khalilian ,Mohammad Abdollahi Azgomi ,Yalda Fazlalizadeh :An improved method for test case prioritization by incorporating historical test case data. 93-116 export record
dblp key:
journals/scp/PivetaMPAGP12 share record
persistent URL:
Eduardo Kessler Piveta ,Ana Moreira ,Marcelo Soares Pimenta ,João Araújo ,Pedro Guerreiro ,Roberto Tom Price :An empirical study of aspect-oriented metrics. 117-144 Volume 78, Number 2, February 2013 share record
persistent URL:
Dave Clarke ,Gul Agha :Preface to the special issue on Coordination Models and Languages (Coordination 2010). 145-146 export record
dblp key:
journals/scp/SivaramakrishnanQZNE13 share record
persistent URL:
K. C. Sivaramakrishnan ,Mohammad Qudeisat ,Lukasz Ziarek ,Karthik Nagaraj ,Patrick Eugster :Efficient sessions. 147-167 share record
persistent URL:
Eline Philips ,Ragnhild Van Der Straeten ,Viviane Jonckers :NOW: Orchestrating services in a nomadic network using a dedicated workflow language. 168-194 share record
persistent URL:
Chien-Liang Fok ,Gruia-Catalin Roman ,Chenyang Lu :Adaptive service provisioning for enhanced energy efficiency and flexibility in wireless sensor networks. 195-217 export record
dblp key:
journals/scp/BettiniDGS13 share record
persistent URL:
Lorenzo Bettini ,Ferruccio Damiani ,Kathrin Geilmann ,Jan Schäfer :Combining traits with boxes and ownership types in a Java-like setting. 218-247 share record
persistent URL:
Lucia Acciai ,Michele Boreale ,Gianluigi Zavattaro :Behavioural contracts with request-response operations. 248-267 Volume 78, Number 3, March 2013 Obituary
share record
persistent URL:
Jason Crampton :A personal tribute to Steve Barker. 269 Editorial
Special Issue Papers
Volume 78, Number 4, April 2013 Special section on Mutation Testing and Analysis (Mutation 2010)
Special section on the Programming Languages track at the 25th ACM Symposium on Applied Computing (SAC 2010)
Volume 78, Number 5, May 2013 Special section:Principles and Practice of Programming in Java 2009/2010
export record
dblp key:
journals/scp/AleksyGKMPS13 share record
persistent URL:
Markus Aleksy ,Ralf Gitzel ,Andreas Krall ,Hanspeter Mössenböck ,Christian W. Probst ,Ben Stephenson :Foreword. 423-424 export record
dblp key:
journals/scp/TaboadaRETD13 share record
persistent URL:
Guillermo L. Taboada ,Sabela Ramos ,Roberto R. Expósito ,Juan Touriño ,Ramon Doallo :Java in the High Performance Computing arena: Research, practice and experience. 425-444 share record
persistent URL:
Liangliang Tong ,Francis C. M. Lau :Skew-space garbage collection. 445-457 share record
persistent URL:
Alan Leung ,Ondrej Lhoták ,Ghulam Lashari :Parallel execution of Java loops on Graphics Processing Units. 458-480 export record
dblp key:
journals/scp/WurthingerWS13 share record
persistent URL:
Thomas Würthinger ,Christian Wimmer ,Lukas Stadler :Unrestricted and safe dynamic code evolution for Java. 481-498 export record
dblp key:
journals/scp/HauswirthA13 share record
persistent URL:
Matthias Hauswirth ,Andrea Adamoli :Teaching Java programming with the Informa clicker system. 499-520 export record
dblp key:
journals/scp/BettiniDSS13 share record
persistent URL:
Lorenzo Bettini ,Ferruccio Damiani ,Ina Schaefer ,Fabio Strocco :TraitRecordJ: A programming language with traits and records. 521-541 Special section:Self-Organizing Coordination
share record
persistent URL:
Matteo Casadei ,Marco Mamei ,Ronaldo Menezes :Preface to the Special section on Self-Organizing Coordination. 542-543 share record
persistent URL:
Shlomi Dolev ,Nir Tzachar :Spanders: Distributed spanning expanders. 544-555 share record
persistent URL:
Mirko Viroli :On competitive self-composition in pervasive services. 556-568 share record
persistent URL:
Elena Nardini ,Andrea Omicini ,Mirko Viroli :Semantic tuple centres. 569-582 export record
dblp key:
journals/scp/MuldoonOOTT13 share record
persistent URL:
Conor Muldoon ,Gregory M. P. O'Hare ,Michael J. O'Grady ,Richard Tynan ,Niki Trigoni :Distributed constraint optimisation for resource limited sensor networks. 583-593 share record
persistent URL:
Linge Bai ,Manolya Eyiyurekli ,Peter I. Lelkes ,David E. Breen :Self-organized sorting of heterotypic agents via a chemotaxis paradigm. 594-611 Volume 78, Number 6, June 2013 Special section:The Programming Languages track at the 26th ACM Symposium on Applied Computing (SAC 2011)
Special section on Agent-oriented Design Methods and Programming Techniques for Distributed Computing in Dynamic and Complex Environments
share record
persistent URL:
Giacomo Cabri ,Maria Ganzha :Preface to the special section on agent-oriented design methods and programming techniques for distributed computing in dynamic and complex environments. 682-683 share record
persistent URL:
Hoa Khanh Dam ,Michael Winikoff :Towards a next-generation AOSE methodology. 684-694 share record
persistent URL:
Emilia Garcia ,Adriana Giret ,Vicente J. Botti :A Model-Driven CASE tool for developing and verifying regulated open MAS. 695-704 export record
dblp key:
journals/scp/MolesiniCOV13 share record
persistent URL:
Ambra Molesini ,Matteo Casadei ,Andrea Omicini ,Mirko Viroli :Simulation in Agent-Oriented Software Engineering: The SODA case study. 705-714 export record
dblp key:
journals/scp/ViguerasOLJ13 share record
persistent URL:
Guillermo Vigueras ,Juan M. Orduña ,Miguel Lozano ,Yvon Jégou :A scalable multiagent system architecture for interactive applications. 715-724 share record
persistent URL:
Giancarlo Fortino ,Francesco Rango :An application-level technique based on recursive hierarchical state machines for agent execution state capture. 725-746 export record
dblp key:
journals/scp/BoissierBHRS13 share record
persistent URL:
Olivier Boissier ,Rafael H. Bordini ,Jomi Fred Hübner ,Alessandro Ricci ,Andrea Santi :Multi-agent oriented programming with JaCaMo. 747-761 share record
persistent URL:
Sorin Ilie ,Costin Badica :Multi-agent approach to distributed ant colony optimization. 762-774 Volume 78, Number 7, July 2013 Special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)
export record
dblp key:
journals/scp/AlpuenteJKR13 share record
persistent URL:
María Alpuente ,Christophe Joubert ,Stefan Kowalewski ,Marco Roveri :Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). 775-777 export record
dblp key:
journals/scp/EvangelistaK13 share record
persistent URL:
Sami Evangelista ,Lars Michael Kristensen :Dynamic state space partitioning for external memory state space exploration. 778-795 export record
dblp key:
journals/scp/AlmeidaBPV13 share record
persistent URL:
José Bacelar Almeida ,Manuel Barbosa ,Jorge Sousa Pinto ,Bárbara Vieira :Formal verification of side-channel countermeasures using self-composition. 796-812 share record
persistent URL:
Alwyn Goodloe ,César A. Muñoz :Compositional verification of a communication protocol for a remotely operated aircraft. 813-827 export record
dblp key:
journals/scp/FerrariFMGT13 share record
persistent URL:
Alessio Ferrari ,Alessandro Fantechi ,Gianluca Magnani ,Daniele Grasso ,Matteo Tempestini :The Metrô Rio case study. 828-842 share record
persistent URL:
Radu Mateescu ,Wendelin Serwe :Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols. 843-861 share record
persistent URL:
Jörg Brauer ,Andy King ,Stefan Kowalewski :Abstract interpretation of microcontroller code: Intervals meet congruences. 862-883 export record
dblp key:
journals/scp/IliasovTLRVIL13 share record
persistent URL:
Alexei Iliasov ,Elena Troubitsyna ,Linas Laibinis ,Alexander B. Romanovsky ,Kimmo Varpaaniemi ,Dubravka Ilic ,Timo Latvala :Developing mode-rich satellite software by refinement in Event-B. 884-905 Special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing
share record
persistent URL:
Davide Ancona :Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing. 906 share record
persistent URL:
Lorenzo Bettini ,Sara Capecchi ,Ferruccio Damiani :On flexible dynamic trait replacement for Java-like languages. 907-932 share record
persistent URL:
Chieri Saito ,Atsushi Igarashi :Matching MyType to subtyping. 933-952 share record
persistent URL:
David Lievens ,William Harrison :Abstraction over implementation structure with symmetrically encapsulated multimethods. 953-968 Volume 78, Number 8, August 2013 Special section on software evolution, adaptability, and maintenance
export record
dblp key:
journals/scp/SeinturierB13 share record
persistent URL:
Lionel Seinturier ,Mark van den Brand :Preface to the special section on software evolution, adaptability, and maintenance. 969-970 share record
persistent URL:
Mathieu Goeminne ,Tom Mens :A comparison of identity merge algorithms for software repositories. 971-986 share record
persistent URL:
Marco Autili ,Paolo Di Benedetto ,Paola Inverardi :A hybrid approach for resource-based comparison of adaptable Java applications. 987-1009 share record
persistent URL:
Miguel A. Laguna ,Yania Crespo :A systematic mapping study on software product line evolution: From legacy system reengineering to product line refactoring. 1010-1034 share record
persistent URL:
Sébastien Mosser ,Mireille Blay-Fornarino :"Adore", a logical meta-model supporting business process evolution. 1035-1054 share record
persistent URL:
Jannik Laval ,Nicolas Anquetil ,Usman Bhatti ,Stéphane Ducasse :oZone: Layer identification in the presence of cyclic dependencies. 1055-1072 share record
persistent URL:
Juan F. Navas ,Jean-Philippe Babau ,Jacques Pulou :Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework. 1073-1098 export record
dblp key:
journals/scp/PirzadehSHAS13 share record
persistent URL:
Heidar Pirzadeh ,Sara Shanian ,Abdelwahab Hamou-Lhadj ,Luay Alawneh ,Arya Shafiee :Stratified sampling of execution traces: Execution phases serving as strata. 1099-1118 Special section on the Brazilian Symposium on Programming Languages
share record
persistent URL:
André L. M. Santos ,João Saraiva :Special section on the Brazilian Symposium on Programming Languages. 1119-1120 share record
persistent URL:
Mónica Martínez ,Alberto Pardo :A shortcut fusion approach to accumulations. 1121-1136 export record
dblp key:
journals/scp/RebeloLLCMO13 share record
persistent URL:
Henrique Rebêlo ,Ricardo Massa Ferreira Lima ,Gary T. Leavens ,Márcio Cornélio ,Alexandre Mota ,César A. L. de Oliveira :Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. 1137-1156 share record
persistent URL:
Fernando Barden Rubbo ,Eduardo Kessler Piveta ,Daltro José Nunes :Inference rules for generic code migration of aspect-oriented programs. 1157-1175 share record
persistent URL:
Rui Shi ,Hongwei Xi :A linear type system for multicore programming in ATS. 1176-1192 share record
persistent URL:
Leonardo Luiz Padovani da Mata ,Fernando Magno Quintão Pereira ,Renato Ferreira :Automatic parallelization of canonical loops. 1193-1206 Volume 78, Number 9, September 2013 share record
persistent URL:
Jan A. Bergstra :Editorial. 1207 share record
persistent URL:
Daniel M. Berry :The essential similarity and differences between mathematical modeling and programming. 1208-1211 export record
dblp key:
journals/scp/MraihiLJDM13 share record
persistent URL:
Olfa Mraihi ,Asma Louhichi ,Lamia Labed Jilani ,Jules Desharnais ,Ali Mili :Invariant assertions, invariant relations, and invariant functions. 1212-1239 share record
persistent URL:
Raju Halder ,Agostino Cortesi :Abstract program slicing on dependence condition graphs. 1240-1263 share record
persistent URL:
Fan Yang ,Chris Hankin ,Flemming Nielson ,Hanne Riis Nielson :Predictive access control for distributed computation. 1264-1277 export record
dblp key:
journals/scp/AstefanoaeiBDM13 share record
persistent URL:
Lacramioara Astefanoaei ,Frank S. de Boer ,Mehdi Dastani ,John-Jules Ch. Meyer :A weakest precondition calculus for BUnity. 1278-1293 share record
persistent URL:
Che-Sheng Lin ,Gwan-Hwan Hwang :State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences. 1294-1323 export record
dblp key:
journals/scp/BonsangueCGLRS13 share record
persistent URL:
Marcello M. Bonsangue ,Georgiana Caltais ,Eugen-Ioan Goriac ,Dorel Lucanu ,Jan J. M. M. Rutten ,Alexandra Silva :Automatic equivalence proofs for non-deterministic coalgebras. 1324-1345 share record
persistent URL:
Antonella Santone ,Gigliola Vaglini ,Maria Luisa Villani :Incremental construction of systems: An efficient characterization of the lacking sub-system. 1346-1367 export record
dblp key:
journals/scp/KwiatkowskiV13 share record
persistent URL:
Lukasz Kwiatkowski ,Chris Verhoef :Recovering management information from source code. 1368-1406 share record
persistent URL:
Irit Hadar :When intuition and logic clash: The case of the object-oriented paradigm. 1407-1426 share record
persistent URL:
Elvira Albert ,Samir Genaim ,Miguel Gómez-Zamalloa :Heap space analysis for garbage collected languages. 1427-1448 share record
persistent URL:
Andrew M. Sutton ,Jonathan I. Maletic :Emulating C++0x concepts. 1449-1469 share record
persistent URL:
Jayaraj Poroor ,Bharat Jayaraman :Modeling mobile stateful channels inπ πZ. 1470-1489 share record
persistent URL:
Patrick Eugster :Safe uniform proxies for Java. 1490-1520 share record
persistent URL:
Wim H. Hesselink :Complete assertional proof rules for progress under weak and strong fairness. 1521-1537 share record
persistent URL:
Paul Leger ,Éric Tanter ,Rémi Douence :Modular and flexible causality control on the Web. 1538-1558 export record
dblp key:
journals/scp/AtoofianBC13 share record
persistent URL:
Ehsan Atoofian ,Amirali Baniasadi ,Yvonne Coady :ARV-ALA: Improving performance of software transactional memory through adaptive read and write policies. 1559-1571 share record
persistent URL:
Kedian Mu ,Zhi Jin ,Weiru Liu ,Didar Zowghi ,Bo Wei :Measuring the significance of inconsistency in the Viewpoints framework. 1572-1599 export record
dblp key:
journals/scp/SinkovicsP13 share record
persistent URL:
Ábel Sinkovics ,Zoltán Porkoláb :Implementing monads for C++ template metaprograms. 1600-1621 export record
dblp key:
journals/scp/Hesselink13a share record
persistent URL:
Wim H. Hesselink :Mechanical verification of Lamport's Bakery algorithm. 1622-1638 share record
persistent URL:
Fabiano Cutigi Ferrari ,Awais Rashid ,José Carlos Maldonado :Towards the practical mutation testing of AspectJ programs. 1639-1662 share record
persistent URL:
Scott Grant ,James R. Cordy ,David B. Skillicorn :Using heuristics to estimate an appropriate number of latent topics in source code analysis. 1663-1678 share record
persistent URL:
Mingsheng Ying ,Nengkun Yu ,Yuan Feng ,Runyao Duan :Verification of quantum programs. 1679-1700 share record
persistent URL:
Hakjoo Oh ,Kwangkeun Yi :Access-based abstract memory localization in static analysis. 1701-1727 share record
persistent URL:
Hoa Khanh Dam ,Aditya Ghose :Supporting change impact analysis for intelligent agent systems. 1728-1750 Volume 78, Number 10, October 2013 Special section on Language Descriptions Tools and Applications (LDTA'08 & '09)
share record
persistent URL:
Jurgen J. Vinju :Preface to the special section on Language Descriptions Tools and Applications (LDTA'08 & '09). 1751 share record
persistent URL:
Anthony M. Sloane ,Lennart C. L. Kats ,Eelco Visser :A pure embedding of attribute grammars. 1752-1769 share record
persistent URL:
Ralf Lämmel ,Simon J. Thompson ,Markus Kaiser :Programming errors in traversal programs over structured data. 1770-1808 export record
dblp key:
journals/scp/SoderbergEHM13 share record
persistent URL:
Emma Söderberg ,Torbjörn Ekman ,Görel Hedin ,Eva Magnusson :Extensible intraprocedural flow analysis at the abstract syntax tree level. 1809-1827 share record
persistent URL:
Elizabeth Scott ,Adrian Johnstone :GLL parse-tree generation. 1828-1844 export record
dblp key:
journals/scp/AndersenBC13 share record
persistent URL:
Jacob Andersen ,Claus Brabrand ,David Raymond Christiansen :Banana Algebra: Compositional syntactic language extension. 1845-1870 export record
dblp key:
journals/scp/ChilowiczDR13 share record
persistent URL:
Michel Chilowicz ,Étienne Duris ,Gilles Roussel :Viewing functions as token sequences to highlight similarities in source code. 1871-1891 Special section on Software Engineering Aspects of Ubiquitous Computing and Ambient Intelligence (UCAmI 2011)
export record
dblp key:
journals/scp/Lopez-de-IpinaOB13 share record
persistent URL:
Diego López-de-Ipiña ,Sergio F. Ochoa ,José Bravo :Preface to the special section on Software Engineering Aspects of Ubiquitous Computing and Ambient Intelligence (UCAmI 2011). 1892-1894 export record
dblp key:
journals/scp/Ruiz-LopezNRGC13 share record
persistent URL:
Tomás Ruiz-López ,Manuel Noguera ,María José Rodríguez-Fórtiz ,José Luis Garrido ,Lawrence Chung :REUBI: A Requirements Engineering method for ubiquitous systems. 1895-1911 export record
dblp key:
journals/scp/ChabridonCAT13 share record
persistent URL:
Sophie Chabridon ,Denis Conan ,Zied Abid ,Chantal Taconet :Building ubiquitous QoC-aware applications through model-driven software engineering. 1912-1929 export record
dblp key:
journals/scp/CatalaPMMN13 share record
persistent URL:
Alejandro Catalá ,Patricia Pons ,Javier Jaén Martínez ,José A. Mocholí ,Elena Navarro :A meta-model for dataflow-based rules in smart environments: Evaluating user comprehension and performance. 1930-1950 export record
dblp key:
journals/scp/RooverSADM13 share record
persistent URL:
Coen De Roover ,Christophe Scholliers ,Wouter Amerijckx ,Theo D'Hondt ,Wolfgang De Meuter :CrimeSPOT: A language and runtime for developing active wireless sensor network applications. 1951-1970 export record
dblp key:
journals/scp/Paz-LopezVBVD13 share record
persistent URL:
Alejandro Paz-Lopez ,Gervasio Varela ,José Antonio Becerra ,Santiago Vazquez-Rodriguez ,Richard J. Duro :Towards ubiquity in ambient intelligence: User-guided component mobility in the HI3 architecture. 1971-1986 share record
persistent URL:
Miriam Gil ,Estefanía Serral ,Pedro Valderas ,Vicente Pelechano :Designing for user attention: A method for supporting unobtrusive routine tasks. 1987-2008 export record
dblp key:
journals/scp/Rodriguez-CoviliO13 share record
persistent URL:
Juan Rodríguez-Covili ,Sergio F. Ochoa :A lightweight and distributed middleware to provide presence awareness in mobile ubiquitous systems. 2009-2025 Volume 78, Number 11, November 2013 Special section on Mathematics of Program Construction (MPC 2010)
export record
dblp key:
journals/scp/Desharnais13 share record
persistent URL:
Jules Desharnais :Mathematics of Program Construction (selected papers from MPC 2010). 2027-2028 export record
dblp key:
journals/scp/Backhouse0F13 share record
persistent URL:
Roland Carl Backhouse ,Wei Chen ,João F. Ferreira :The algorithmics of solitaire-like games. 2029-2046 share record
persistent URL:
Brijesh Dongol ,Ian J. Hayes :Deriving real-time action systems in a sampling logic. 2047-2063 share record
persistent URL:
Walter Guttmann :Extended designs algebraically. 2064-2085 share record
persistent URL:
Ian J. Hayes ,Steve Dunne ,Larissa Meinicke :Linking Unifying Theories of Program refinement. 2086-2107 share record
persistent URL:
Ralf Hinze :Adjoint folds and unfolds - An extended study. 2108-2159 share record
persistent URL:
Hugo Daniel Macedo ,José Nuno Oliveira :Typing linear algebra: A biproduct-oriented approach. 2160-2191 share record
persistent URL:
Milad Niqui ,Jan J. M. M. Rutten :Stream processing coalgebraically. 2192-2215 share record
persistent URL:
Meng Wang ,Jeremy Gibbons ,Kazutaka Matsuda ,Zhenjiang Hu :Refactoring pattern matching. 2216-2242 Special section on methodological development of interactive systems from Interaccion 2011
share record
persistent URL:
Julio Abascal ,Nestor Garay-Vitoria :Special section on methodological development of interactive systems from Interacción 2011. 2243-2244 export record
dblp key:
journals/scp/Condori-FernandezPBVP13 share record
persistent URL:
Nelly Condori-Fernández ,José Ignacio Panach ,Arthur Iwan Baars ,Tanja E. J. Vos ,Oscar Pastor :An empirical approach for evaluating the usability of model-driven tools. 2245-2258 export record
dblp key:
journals/scp/MartinezLVG13 share record
persistent URL:
Jose Figueroa Martinez ,Víctor López-Jaquero ,Francisco Luis Gutiérrez Vela ,Pascual González :Enriching UsiXML language to support awareness requirements. 2259-2267 share record
persistent URL:
Begoña Losada ,Maite Urretavizcaya ,Isabel Fernández-Castro :A guide to agile development of interactive software with a "User Objectives"-driven methodology. 2268-2281 share record
persistent URL:
Luis A. Rojas ,José A. Macías :Bridging the gap between information architecture analysis and software engineering in interactive web application development. 2282-2291 Volume 78, Number 12, December 2013 Special Section on International Software Product Line Conference 2010
share record
persistent URL:
Jan Bosch ,Jaejoon Lee :Software product lines (SPLC 2010). 2293-2294 share record
persistent URL:
Ahmet Serkan Karatas ,Halit Oguztüzün ,Ali H. Dogru :From extended feature models to constraint logic programming. 2295-2312 export record
dblp key:
journals/scp/HartmannKMRTY13 share record
persistent URL:
Herman Hartmann ,Mila Keren ,Aart A. J. Matsinger ,Julia Rubin ,Tim Trew ,Tali Yatzkar-Haham :Using MDA for integration of heterogeneous components in software supply chains. 2313-2330 export record
dblp key:
journals/scp/UbayashiNH13 share record
persistent URL:
Naoyasu Ubayashi ,Shin Nakajima ,Masayuki Hirayama :Context-dependent product line engineering with lightweight formal approaches. 2331-2346 share record
persistent URL:
Ulrik Eklund ,Håkan Gustavsson :Architecting automotive product lines: Industrial practice. 2347-2359 export record
dblp key:
journals/scp/GanesanLMBSMKVM13 share record
persistent URL:
Dharmalingam Ganesan ,Mikael Lindvall ,David McComas ,Maureen Bartholomew ,Steve Slegel ,Barbara Medina ,René L. Krikhaar ,Chris Verhoef ,Lisa P. Montgomery :An analysis of unit tests of a flight software product line. 2360-2380 export record
dblp key:
journals/scp/MarinhoAWVMRTFDLA13 share record
persistent URL:
Fabiana Gomes Marinho ,Rossana M. C. Andrade ,Cláudia M. L. Werner ,Windson Viana ,Marcio E. F. Maia ,Lincoln S. Rocha ,Eldânae Teixeira ,João Bosco Ferreira Filho ,Valéria Lelli Leitão Dantas ,Fabrício Lima ,Saulo B. de Aguiar :MobiLine: A Nested Software Product Line for the domain of mobile and context-aware applications. 2381-2398 share record
persistent URL:
Carlos Cetina ,Pau Giner ,Joan Fons ,Vicente Pelechano :Prototyping Dynamic Software Product Lines to evaluate run-time reconfigurations. 2399-2413 export record
dblp key:
journals/scp/HeuerSBKLP13 share record
persistent URL:
André Heuer ,Vanessa Stricker ,Christof J. Budnik ,Sascha Konrad ,Kim Lauenroth ,Klaus Pohl :Defining variability in activity diagrams and Petri nets. 2414-2432 Special section - Fundamentals of Software Engineering (selected papers of FSEN 2011)
share record
persistent URL:
Farhad Arbab ,Marjan Sirjani :Fundamentals of Software Engineering (selected papers of FSEN 2011). 2433-2434 share record
persistent URL:
Yi-Ling Hwong ,Jeroen J. A. Keiren ,Vincent J. J. Kusters ,Sander J. J. Leemans ,Tim A. C. Willemse :Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. 2435-2452 share record
persistent URL:
Minyoung Kim ,Mark-Oliver Stehr ,Carolyn L. Talcott :A distributed logic for Networked Cyber-Physical Systems. 2453-2467 share record
persistent URL:
Luca Aceto ,Ignacio Fábregas ,David de Frutos-Escrig ,Anna Ingólfsdóttir ,Miguel Palomino :On the specification of modal systems: A comparison of three frameworks. 2468-2487 share record
persistent URL:
Christian Lambertz ,Mila E. Majster-Cederbaum :Efficient deadlock analysis of component-based software architectures. 2488-2510 share record
persistent URL:
Hallstein Asheim Hansen ,Gerardo Schneider ,Martin Steffen :Reachability analysis of complex planar hybrid systems. 2511-2536 share record
persistent URL:
Yuxin Deng ,Matthew Hennessy :Compositional reasoning for weighted Markov decision processes. 2537-2579 manage site settings
To protect your privacy, all features that rely on external API calls from your browser areturned 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 informationsee our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
load links from unpaywall.org
Privacy notice: By enabling the option above, your browser will contact the API ofunpaywall.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 theUnpaywall 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).
load content from archive.org
Privacy notice: By enabling the option above, your browser will contact the API ofarchive.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 theInternet Archive privacy policy .
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 ofopencitations.net andsemanticscholar.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 theOpenCitations privacy policy as well as theAI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
load data from openalex.org
Privacy notice: By enabling the option above, your browser will contact the API ofopenalex.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 byOpenAlex .
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by: