The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Sci. Comput. Program."( http://dblp.L3S.de/Venues/Sci._Comput._Program. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/scl

Publication years (Num. hits)
1981-1982 (23) 1983-1984 (25) 1985-1986 (39) 1987 (29) 1988 (21) 1989 (21) 1990 (29) 1991-1992 (33) 1993 (20) 1994 (26) 1995 (22) 1996 (30) 1997 (26) 1998 (31) 1999 (23) 2000 (32) 2001 (31) 2002 (40) 2003 (34) 2004 (55) 2005 (77) 2006 (79) 2007 (92) 2008 (49) 2009 (45) 2010 (68) 2011 (74) 2012 (78) 2013 (140) 2014 (242) 2015 (206) 2016 (93) 2017 (77) 2018 (123) 2019 (70)
Publication types (Num. hits)
article(2103)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 2103 publication records. Showing 2103 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa A formal model of data access for multicore architectures with multilevel caches. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins On interval dynamic logic: Introducing quasi-action lattices. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy Baruah Multi-core cyclic executives for safety-critical systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sidney Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio Test case generation, selection and coverage from natural language. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lars Luthmann, Stephan Mennicke, Malte Lochau Unifying modal interface theories and compositional input/output conformance testing. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Samir Tigane, Laïd Kahloul, Saber Benharzallah, Souheib Baarir, Samir Bourekkache Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Olga Kouchnarenko, Eric Madelaine Selected and extended papers from FACS 2016. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Qixia Yuan, Andrzej Mizera, Jun Pang 0001, Hongyang Qu 0001 A new decomposition-based method for detecting attractors in synchronous Boolean networks. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andreas Lindner, Roberto Guanciale, Roberto Metere TrABin: Trustworthy analyses of binaries. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Peleska 0001, Wen-ling Huang, Ana Cavalcanti Finite complete suites for CSP refinement testing. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mehdi Dastani, Marjan Sirjani Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vanderson Hafemann Fragal, Adenilso da Silva Simão, Mohammad Reza Mousavi Hierarchical featured state machines. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fernando Castor, Yu David Liu Selected papers of the Brazilian Symposium on Programming Languages (SBLP'15+16). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luis Emiliano Sanchez, Jorge Andrés Díaz Pace, Alejandro Zunino A family of heuristic search algorithms for feature model optimization. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois A monadic semantics for quantum computing in an object oriented language. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio CPN simulation-based test case generation from controlled natural-language requirements. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Jeffery, Martin Berger Asynchronous sessions with implicit functions and messages. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Angelo Ferrando The early bird catches the worm: First verify, then monitor! Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tarsila Bessa, Christopher J. Gull, Pedro Quintão, Michael Frank, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hiroaki Inoue, Atsushi Igarashi A type system for first-class layers with inheritance, subtyping, and swapping. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias An evolutionary approach to translating operational specifications into declarative specifications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiyue Zhang, Weijiang Hong, Yi Li 0010, Meng Sun 0002 Reasoning about connectors using Coq and Z3. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício Lima Pilla, Gerson Geraldo H. Cavalheiro, Renata Hax Sander Reiser Comparing the performance of concurrent hash tables implemented in Haskell. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott Soft component automata: Composition, compilation, logic, and verification. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Márcio Cornélio, A. William Roscoe Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Amina Bouraoui, Imen Gharbi Model driven engineering of accessible and multi-platform graphical user interfaces by parameterized model transformations. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zeynab Sabahi-Kaviani, Fatemeh Ghassemi Behavioral model identification and classification of multi-component systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler A calculus for dynamic architectures. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot Bisimilarity of open terms in stream GSOS. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca Tracing sharing in an imperative pure calculus. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1João Paulo Fernandes, Pedro Martins 0001, Alberto Pardo, João Saraiva, Marcos Viera Memoized zipper-based attribute grammars and their higher order extension. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean-Marie Jacquet, Mieke Massink Preface to the special issue on Coordination Models and Languages (Coordination 2017). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elizabeth Scott, Adrian Johnstone, L. Thomas van Binsbergen Derivation representation using binary subtree sets. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira The Dinamica EGO virtual machine. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alvaro Miyazawa, Ana Cavalcanti, Andy J. Wellings SCJ-Circus: Specification and refinement of Safety-Critical Java programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Otto Parra, Sergio España, José Ignacio Panach, Oscar Pastor An empirical comparative evaluation of gestUI to include gesture-based interaction in user interfaces. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini On the expressiveness of modal transition systems with variability constraints. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kyungmin Bae, Camilo Rocha Symbolic state space reduction with guarded terms for rewriting modulo SMT. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli Constrained synthesis from component libraries. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro 0002, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis Verified simulation for robotics. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rodrigo C. O. Rocha, Luís F. W. Góes, Fernando Magno Quintão Pereira Automatic parallelization of recursive functions with rewriting rules. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Faiz Ul Muram, Huy Tran, Uwe Zdun Supporting automated containment checking of software behavioural models using model transformations and model checking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ángel Mora Segura, Juan de Lara Extremo: An Eclipse plugin for modelling and meta-modelling assistance. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carmine Vassallo, Giovanni Grano, Fabio Palomba, Harald C. Gall, Alberto Bacchelli A large-scale empirical exploration on refactoring activities in open source software projects. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jefferson de Carvalho Silva, Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior A Scientific Workflow Management System for orchestration of parallel components in a cloud of large-scale parallel processing services. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Keigo Imai, Nobuko Yoshida, Shoji Yuen Session-ocaml: A session-based library with polarities and lenses. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ferruccio Damiani, Michael Lienhardt, Luca Paolini A formal model for Multi Software Product Lines. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Camilo Rocha, Gwen Salaün A rewriting logic approach to resource allocation analysis in business process models. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael D. Harrison, Leo Freitas, Michael Drinnan, José Creissac Campos, Paolo Masci, Costanzo di Maria, Michael Whitaker Formal techniques in the safety analysis of software components of a new dialysis machine. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ajay Krishna 0001, Pascal Poizat, Gwen Salaün Checking business process evolution. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller Universal (meta-)logical reasoning: Recent successes. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu Translating active objects into colored Petri nets for communication analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eugene Syriani, Vasco Sousa, Levi Lúcio Structure and behavior preserving statecharts refinements. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Panos Kyriakakis, Alexander Chatzigeorgiou, Apostolos Ampatzoglou, Stelios Xinogalos Exploring the frequency and change proneness of dynamic feature pattern instances in PHP applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nils Timm, Stefan Gruner Three-valued bounded model checking with cause-guided abstraction refinement. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Davide Ancona Preface: Special Issue on Verification of Objects at Runtime Execution. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jie Yin, Gang Tan, Hao Li, Xiaolong Bai, Yu-Ping Wang 0001, Shi-Min Hu 0001 Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Santiago A. Vidal, Willian Nalepa Oizumi, Alessandro Garcia, J. Andres Diaz-Pace, Claudia Marcos Ranking architecturally critical agglomerations of code smells. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Juliana Bowles, Marco B. Caminati, S. Cha, J. Mendoza A framework for automated conflict detection and resolution in medical guidelines. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems (FTSCS 2016). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Robert M. Hierons FSM quasi-equivalence testing via reduction and observing absences. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns Automated compositional importance splitting. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cosimo Laneve A lightweight deadlock analysis for programs with threads and reentrant locks. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guilherme Avelino, Leonardo Teixeira Passos, André C. Hora, Marco Tulio Valente Measuring and analyzing code authorship in 1 + 118 open source projects. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuchen Wang, Kwok Sun Cheng, Myoungkyu Song, Eli Tilevich A declarative enhancement of JavaScript programs by leveraging the Java metadata infrastructure. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiao Han 0003, Tao Tang, Jidong Lv A hierarchical verification approach to verify complex safety control systems based on STAMP. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jingdong Jia, Xiaoying Yang, Rong Zhang, Xi Liu Understanding software developers' cognition in agile requirements engineering. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Baltasar J. García Pérez, Francisco Ortin A didactic object-oriented, prototype-based visual programming environment. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yi Li 0010, Xiyue Zhang, Yuanyi Ji, Meng Sun 0002 A formal framework capturing real-time and stochastic behavior in connectors. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Takahiro Nagao, Naoki Nishida 0001 Rewriting induction for constrained inequalities. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Kurs, Jan Vraný, Mohammad Ghafari, Mircea Lungu, Oscar Nierstrasz Efficient parsing with parser combinators. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kamil Kedzia, Wojtek Ptak, Jacek Sroka, Andrzej M. Kierzek Simulation of multicellular populations with Petri nets and genome scale intracellular networks. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sung-Shik T. Q. Jongmans, Farhad Arbab Centralized coordination vs. partially-distributed coordination with Reo and constraint automata. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Huibiao Zhu Formal analysis of a calculus for WSNs from quality perspective. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym Formal proof of dynamic memory isolation based on MMU. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hugo L. S. Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio Sound conformance testing for cyber-physical systems: Theory and implementation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1João Alpuim, Wouter Swierstra Embedding the refinement calculus in Coq. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dongwoo Kim, Yunja Choi A two-step approach for pattern-based API-call constraint checking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anne Etien, Jannik Laval Advances in Dynamic Languages. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Kuhn 0001, Irek Ulidowski Local reversibility in a Calculus of Covalent Bonding. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Autili, Paola Inverardi, Massimo Tivoli Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Casadei, Alessandro Aldini, Mirko Viroli Towards attack-resistant Aggregate Computing using trust mechanisms. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ahmed Tamrawi, Suresh Kothari Projected control graph for computing relevant program behaviors. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni A theory of integrating tamper evidence with stabilization. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Becker 0001, Sebastian Voss, Bernhard Schätz Formal analysis of feature degradation in fault-tolerant automotive systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabio Gadducci, Hernán C. Melgratti, Christian Roldán On the semantics and implementation of replicated data types. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davi Resner, Gustavo Medeiros de Araújo, Antônio Augusto Fröhlich Design and implementation of a cross-layer IoT protocol. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Germán Vidal Preface for SCP special issue on Principles and Practice of Declarative Programming. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Glenn Cavarlé, Alain Plantec, Steven Costiou, Vincent Ribaud A feature-oriented model-driven engineering approach for the early validation of feature-based applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thai Son Hoang, Colin F. Snook, Asieh Salehi Fathabadi, Michael J. Butler, Lukas Ladenberger Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nevena Milojkovic, Clément Béra, Mohammad Ghafari, Oscar Nierstrasz Mining inline cache data to order inferred types in dynamic languages. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kazunori Ueda Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Wille, Önder Babur, Loek Cleophas, Christoph Seidl, Mark van den Brand, Ina Schaefer Improving custom-tailored variability mining using outlier and cluster detection. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis Higher-order logic programming: An expressive language for representing qualitative preferences. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Alberto Lluch-Lafuente Many-to-many information flow policies. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Valerio Cosentino, Javier Luis Cánovas Izquierdo, Jordi Cabot Gitana: A software project inspector. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vinicius H. S. Durelli, Márcio Eduardo Delamaro, Jeff Offutt An experimental comparison of edge, edge-pair, and prime path criteria. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ulrich Berger 0001, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger Verification of the European Rail Traffic Management System in Real-Time Maude. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2103 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license