|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 523 occurrences of 298 keywords
|
|
|
Results
Found 865 publication records. Showing 862 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
169 | Ulf T. Wiger, Gösta Ask, Kent Boortz |
World-class product certification using Erlang. |
Erlang Workshop |
2002 |
DBLP DOI BibTeX RDF |
testing, erlang |
152 | Scott Lystig Fritchie |
The evolution of Erlang drivers and the Erlang driver toolkit. |
Erlang Workshop |
2002 |
DBLP DOI BibTeX RDF |
code generation, functional programming, Erlang, language extensibility |
136 | Alceste Scalas, Giovanni Casu, Piero Pili |
High-performance technical computing with erlang. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
numerical applications, erlang, hpc |
136 | Hans Svensson, Lars-Åke Fredlund |
A more accurate semantics for distributed Erlang. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
distributed systems, model checking, verification, semantics, erlang |
131 | Clara Benac Earle, Lars-Åke Fredlund, John Derrick |
Verifying fault-tolerant Erlang programs. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
code verification, fault-tolerance, concurrency |
131 | Joe Armstrong |
Getting Erlang to talk to the outside world. |
Erlang Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
124 | Philip W. Trinder |
Comparing C++ and ERLANG for motorola telecoms software. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
C++, ERLANG |
124 | Emil Hellman |
Evaluation of database management systems for Erlang. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
DBMS, AHP, Erlang |
120 | Lars-Åke Fredlund, Clara Benac Earle |
Model checking erlang programs: the functional approach. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
code verification, concurrency |
113 | Jan Henry Nyström |
Automatic assessment of failure recovery in Erlang applications. |
Erlang Workshop |
2009 |
DBLP DOI BibTeX RDF |
erlang |
113 | Konstantinos Sagonas, Daniel Luna |
Gradual typing of erlang programs: a wrangler experience. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
dialyzer, software defect detection, contracts, erlang |
113 | Vincenzo Nicosia |
Towards hard real-time Erlang. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
scheduling, real time, erlang |
113 | Qiang Guo 0001, John Derrick |
Verification of timed Erlang/OTP components using the process algebra mucrl. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
OTP, process algebra ?CRL, timeout events, verification, erlang |
113 | Romain Lenglet, Shigeru Chiba |
Dryverl: a flexible Erlang/C binding compiler. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
stub, compiler, C, erlang, binding, port, driver, ODP |
113 | Antonella Di Stefano, Francesca Gangemi, Corrado Santoro |
ERESYE: artificial intelligence in Erlang programs. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
RETE algorithm, ontologies, expert systems, Erlang |
111 | Thomas Arts, Clara Benac Earle, John Derrick |
Verifying Erlang Code: A Resource Locker Case-Study. |
FME |
2002 |
DBLP DOI BibTeX RDF |
Model checking, formal verification, process algebra, telecommunication, Erlang |
108 | Gábor Fehér, András G. Békés |
ECT: an object-oriented extension to Erlang. |
Erlang Workshop |
2009 |
DBLP DOI BibTeX RDF |
object oriented programming |
108 | Daniel Luna, Mikael Pettersson, Konstantinos Sagonas |
HiPE on AMD64. |
Erlang Workshop |
2004 |
DBLP DOI BibTeX RDF |
AMD64, native code compilation, erlang |
102 | Richard Carlsson, Mickaël Rémond |
EUnit: a lightweight unit testing framework for Erlang. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
frameworks, unit testing, Erlang, agile methods |
102 | Richard Carlsson, Björn Gustavsson, Patrik Nyblom |
Erlang's exception handling revisited. |
Erlang Workshop |
2004 |
DBLP DOI BibTeX RDF |
semantics, exception handling, erlang |
101 | Lars-Åke Fredlund, Hans Svensson |
McErlang: a model checker for a distributed functional programming language. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
97 | Chanchal Kumar Roy, Thomas Noll 0001, Banani Roy, James R. Cordy |
Towards automatic verification of Erlang programs by pi-calculus translation. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
translation mapping, mobile systems, ?-calculus, functional programming languages |
97 | Per Gustafsson, Konstantinos Sagonas |
Native code compilation of Erlang's bit syntax. |
Erlang Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
97 | Oscar Hellström |
Optimising TCP/IP connectivity. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
scalability, TCP/IP, erlang |
94 | Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, Thomas Lindgren |
The development of the HiPE system: design and experience report. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Programming language implementation, Virtual machines and compilation methods, Functional programming, Concurrent programming, Erlang, Hacking |
91 | Thanassis Avgerinos, Konstantinos Sagonas |
Cleaning up Erlang code is a dirty job but somebody's gotta do it. |
Erlang Workshop |
2009 |
DBLP DOI BibTeX RDF |
code cleanup, code simplification, program transformation, refactoring, erlang |
91 | Tamás Nagy, Anikó Nagyné Víg |
Erlang testing and tools survey. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
market analysis, erlang, test tools |
91 | Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas |
A language for specifying type contracts in Erlang and its interaction with success typings. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
success typings, contracts, erlang |
91 | Francesco Cesarini, Lukas Larsson, Michal Slaski |
From HTTP to HTML: Erlang/OTP experiences in web based service applications. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
HTML, HTTP, erlang, web frameworks |
91 | Per Gustafsson, Konstantinos Sagonas |
Bit-level binaries and generalized comprehensions in Erlang. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
bit-streams, Erlang, comprehensions, binaries |
91 | Jay Nelson |
A stream library using Erlang binaries. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
stream, erlang, binary, BIF |
91 | Tobias Lindahl, Konstantinos Sagonas |
TypEr: a type annotator of Erlang code. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
success typings, Erlang, subtyping, principal typings, constraint-based type inference |
88 | Konstantinos Sagonas, Thanassis Avgerinos |
Automatic refactoring of Erlang programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
code cleanup, code simplification, program transformation, refactoring, erlang |
88 | Junfeng Wang 0003, Jin Liu, Chundong She |
Segment-based adaptive hyper-Erlang model for long-tailed network traffic approximation. |
J. Supercomput. |
2008 |
DBLP DOI BibTeX RDF |
Hyper-Erlang distribution, Adaptive approximation, Network traffic, Expectation maximization (EM) algorithm |
88 | Christian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell, Lutz Hamel |
Experience report: erlang in acoustic ray tracing. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
acoustic ray tracing, C++, Erlang |
88 | Qiang Guo 0001, John Derrick, Csaba Hoch |
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang |
88 | Frank Huch |
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
distributed system, model checking, verification, abstract interpretation, Erlang |
86 | Hans Svensson, Lars-Åke Fredlund |
Programming distributed Erlang applications: pitfalls and recipes. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
distribution, message passing |
86 | Javier París, Víctor M. Gulías, Alberto Valderruten |
A high performance Erlang Tcp/Ip stack. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed systems, functional programming, TCP/IP |
86 | Thomas Noll 0001, Chanchal Kumar Roy |
Modeling Erlang in the pi-calculus. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
mobile systems, pi-calculus, functional programming languages |
86 | Francesco Cesarini, Viviana Pappalardo, Corrado Santoro |
A comparative evaluation of imperative and functional implementations of the imap protocol. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
erlang, functional languages, imperative languages, comparative evaluation, imap |
86 | Huiqing Li, Simon J. Thompson, George Orösz, Melinda Tóth |
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
erlide, wrangler, refactoring, process, eclipse, erlang, slicing, record, tuple |
86 | Joe Armstrong |
EX11: a GUI in a concurrent functional language. |
Erlang Workshop |
2004 |
DBLP DOI BibTeX RDF |
x protocol, concurrency, GUI, erlang, x windows |
83 | Joe Armstrong |
A history of Erlang. |
HOPL |
2007 |
DBLP DOI BibTeX RDF |
|
83 | Marc Feeley, Martin Larose |
Compiling Erlang to Scheme. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
81 | Thorsten Schütt, Florian Schintke, Alexander Reinefeld |
Scalaris: reliable transactional p2p key/value store. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
key/value store, peer-to-peer, transactions, wikipedia |
80 | Sten Grüner, Thomas Lorentsen |
Teaching Erlang using robotics and player/stage. |
Erlang Workshop |
2009 |
DBLP DOI BibTeX RDF |
player/stage, teaching, erlang |
80 | Thomas Arts, Laura M. Castro, John Hughes 0001 |
Testing Erlang data types with quviq quickcheck. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
quickcheck, erlang, datatypes |
80 | Frank Huch |
Learning programming with Erlang. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
kara, education, programming, erlang |
80 | Ulf T. Wiger |
Extended process registry for Erlang. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
process registry, erlang |
80 | Corrado Santoro |
An Erlang framework for autonomous mobile robots. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
expert systems, erlang, autonomous robots |
80 | Koen Claessen, Hans Svensson |
A semantics for distributed Erlang. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, verification, semantics, Erlang |
80 | Simon Aurell |
Remote controlling devices using instant messaging: building an intelligent gateway in Erlang/OTP. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
agents, presence, instant messaging, Erlang, remote controlling, home automation, networked appliances, ubiquity |
80 | Mats Cronqvist |
Troubleshooting a large erlang system. |
Erlang Workshop |
2004 |
DBLP DOI BibTeX RDF |
erlang |
80 | Scott Lystig Fritchie |
A study of Erlang ETS table implementations and performance. |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
Judy array, in-memory database, Erlang, B-tree, hash table, AVL tree |
77 | Qiang Guo 0001 |
Verifying Erlang/OTP Components in mu CRL. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
OTP, ?CRL, Verification, process algebra, Erlang |
75 | Hans Svensson |
Implementing an LTL-to-Büchi translator in Erlang: a protest experience report. |
Erlang Workshop |
2009 |
DBLP DOI BibTeX RDF |
LTL-to-B?chi translator, QuickCheck, property driven development |
75 | Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías |
On modelling agent systems with Erlang. |
Erlang Workshop |
2004 |
DBLP DOI BibTeX RDF |
distributed systems, multi-agent systems, functional programming |
75 | Sven-Olof Nyström |
A soft-typing system for Erlang. |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
75 | Thomas Arts, Lars-Åke Fredlund |
Trace analysis of Erlang programs. |
Erlang Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
75 | Clara Benac Earle, Lars-Åke Fredlund |
Recent improvements to the McErlang model checker. |
Erlang Workshop |
2009 |
DBLP DOI BibTeX RDF |
model checking, verification, formal methods, erlang |
75 | Hugo Cortés, Mónica García, Jorge Hernández, Manuel Hernández-Gutiérrez, Esperanza Pérez-Cordoba, Erik Ramos |
Development of a distributed system applied to teaching and learning. |
Erlang Workshop |
2009 |
DBLP DOI BibTeX RDF |
learning, functional programming, extreme programming, distributed programming, erlang |
75 | László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király |
Introducing records by refactoring. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
refactoring, erlang, records |
72 | Joe Armstrong |
Erlang - Software for a Concurrent World. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
72 | Konstantinos Sagonas |
Detecting defects in Erlang programs using static analysis. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
|
72 | Insoo Koo, Jeongrok Yang, Kiseon Kim |
Erlang Capacity of Voice/Data CDMA Systems with Service Requirements of Blocking Probability and Delay Constraint. |
ICN (2) |
2005 |
DBLP DOI BibTeX RDF |
|
72 | Junfeng Wang, Hongxia Zhou, Lei Li, Fanjiang Xu |
Accurate Long-tailed Network Traffic Approximation and Its Queueing Analysis by Hyper-Erlang Distributions. |
LCN |
2005 |
DBLP DOI BibTeX RDF |
|
72 | Junfeng Wang 0008, Hongxia Zhou, Mingtian Zhou, Lei Li |
A general model for long-tailed network traffic approximation. |
J. Supercomput. |
2006 |
DBLP DOI BibTeX RDF |
Hyper-erlang distribution, Network measurements, Network traffic, Queueing analysis, Expectation maximization (EM) algorithm |
70 | Jan Henry Nyström, Philip W. Trinder, David J. King |
Evaluating distributed functional languages for telecommunications software. |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
68 | Ingela Anderton Andin, Raimo Niskanen, Peter Dimitrov, Kiko Fernandez-Reyes |
TLS the Erlang/OTP Way (Experience Report). |
Erlang Workshop |
2023 |
DBLP DOI BibTeX RDF |
|
68 | Aurélie Kong Win Chang, Jérôme Feret, Gregor Gössler |
A Semantics of Core Erlang with Handling of Signals. |
Erlang Workshop |
2023 |
DBLP DOI BibTeX RDF |
|
68 | Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano |
InfERL: scalable and extensible Erlang static analysis. |
Erlang Workshop |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Nikos Tsikoudis, Marc Sugiyama |
Troubleshooting the performance of a large Erlang system. |
Erlang Workshop |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Ilya G. Klyuchnikov |
eqWAlizer: scaling Erlang development at WhatsApp with static typing (keynote). |
Erlang Workshop |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Sébastien Kalbusch, Vincent Verpoten, Peter Van Roy |
The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network. |
Erlang Workshop |
2021 |
DBLP DOI BibTeX RDF |
|
68 | Nithin Vadukkumchery Rajendrakumar, Annette Bieniusa |
Bidirectional typing for Erlang. |
Erlang Workshop |
2021 |
DBLP DOI BibTeX RDF |
|
68 | Fernando Benavides Rodríguez, Laura M. Castro |
Detecting oxbow code in Erlang codebases with the highest degree of certainty. |
Erlang Workshop |
2021 |
DBLP DOI BibTeX RDF |
|
68 | Konstantinos Sagonas |
Fifteen years of successfully dialyzing Erlang and Elixir code (invited talk). |
Erlang Workshop |
2021 |
DBLP DOI BibTeX RDF |
|
68 | Peter Zeller 0001, Annette Bieniusa, Carla Ferreira 0001 |
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+. |
Erlang Workshop |
2020 |
DBLP DOI BibTeX RDF |
|
68 | Viktória Fördós |
Secure design and verification of Erlang systems. |
Erlang Workshop |
2020 |
DBLP DOI BibTeX RDF |
|
68 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
Machine-checked natural semantics for Core Erlang: exceptions and side effects. |
Erlang Workshop |
2020 |
DBLP DOI BibTeX RDF |
|
68 | Joseph R. Harrison |
Runtime type safety for erlang/otp behaviours. |
Erlang Workshop |
2019 |
DBLP DOI BibTeX RDF |
|
68 | Igor Kopestenski, Peter Van Roy |
Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks. |
Erlang Workshop |
2019 |
DBLP DOI BibTeX RDF |
|
68 | Håkan Mattsson, Cons T. Åhs |
Lux: an expect-like test tool written in Erlang: synchronised testing of multiple sessions. |
Erlang Workshop |
2019 |
DBLP DOI BibTeX RDF |
|
68 | Adam Lindberg, Sébastien Merle, Peer Stritzinger |
Scaling Erlang distribution: going beyond the fully connected mesh. |
Erlang Workshop |
2019 |
DBLP DOI BibTeX RDF |
|
68 | Gergely Nagy, Áron Attila Mészáros, István Bozó, Melinda Tóth |
Tools supporting green computing in Erlang. |
Erlang Workshop |
2019 |
DBLP DOI BibTeX RDF |
|
68 | Michal Slaski, Wojciech Turek |
Towards online profiling of Erlang systems. |
Erlang Workshop |
2019 |
DBLP DOI BibTeX RDF |
|
66 | Thomas Arts, Clara Benac Earle, John Derrick |
Development of a verified Erlang program for resource locking. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Functional programming, Erlang, Software verification |
66 | Insoo Koo, Aftab Ahmad, Kiseon Kim |
Erlang Capacity of CDMA Systems Using Optimized Sectoring. |
Int. J. Wirel. Inf. Networks |
2003 |
DBLP DOI BibTeX RDF |
Erlang capacity, optimized-sectoring, CDMA |
66 | Joe L. Armstrong |
The Development of Erlang. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
ERLANG |
64 | Torbjrn Trnkvist |
An implementation of the SMB protocol in erlang. |
Erlang Workshop |
2004 |
DBLP DOI BibTeX RDF |
|
64 | Manfred Widera |
Flow graphs for testing sequential Erlang programs. |
Erlang Workshop |
2004 |
DBLP DOI BibTeX RDF |
test coverage, flow graphs |
64 | David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro |
ARMISTICE: an experience developing management software with Erlang. |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
distributed computing, design patterns, functional programming, concurrent programming, business logic, client/server architecture |
64 | Richard Carlsson |
Parameterized modules in Erlang. |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
64 | Richard Carlsson |
Hierarchical module namespaces in Erlang. |
Erlang Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
63 | László Lövei, Csaba Hoch, Hanna Köllö, Tamás Nagy, Anikó Nagyné Víg, Dániel Horpácsi, Róbert Kitlei, Roland Király |
Refactoring module structure. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
clustering modules, refactoring, erlang |
63 | Jan Henry Nyström |
Priority messaging made easy. |
Erlang Workshop |
2007 |
DBLP DOI BibTeX RDF |
generic, erlang, server, behaviour |
63 | Jay Nelson |
Structured programming using processes. |
Erlang Workshop |
2004 |
DBLP DOI BibTeX RDF |
COPL, concurrency oriented programming language, inductive decomposition, erlang |
63 | Erik Stenman, Konstantinos Sagonas |
On reducing interprocess communication overhead in concurrent programs. |
Erlang Workshop |
2002 |
DBLP DOI BibTeX RDF |
erlang, process scheduling, concurrent languages |
61 | Junfeng Wang, Hongxia Zhou, Fanjiang Xu, Lei Li |
Hyper-Erlang Based Model for Network Traffic Approximation. |
ISPA |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 862 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|